Def CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.hom

Modification history

2025-06-06 07:38

Mathlib/CategoryTheory/Bicategory/Monad/Basic.lean

feat(CategoryTheory/Bicategory): define bicategory of comonads (#25461)

Added CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.hom View on Github →