tillrampe
Results
2
issues of
tillrampe
This pull request constructs the bicategory of monads and bimodules (cf. Shulman - Framed Bicategories and Monoidal Fibrations, Ch. 11). This is the result that the previous pull requests have...
This PR contains - some lemmas and definitions concerning coequalizers - definition of bicategory with local coequalizers (this is the premise for the construction of the bicategory of monads and...