Def CategoryTheory.EndMonoidal

Modification history

2025-06-06 07:38

Mathlib/CategoryTheory/Bicategory/End.lean

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

Deleted CategoryTheory.EndMonoidal View on Github →

2023-02-23 08:11

Mathlib/CategoryTheory/Bicategory/End.lean

feat: Port CategoryTheory.Bicategory.End (#2454)

Added CategoryTheory.EndMonoidal View on Github →