https://1library.org/document/qmj91708-models-as-arrows-the-role-of-dialgebras.html