Def CategoryTheory.Comonad.ForgetCreatesLimits'.conePoint

Modification history

2024-11-19 08:25

Mathlib/CategoryTheory/Monad/Limits.lean

refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …

Deleted CategoryTheory.Comonad.ForgetCreatesLimits'.conePoint View on Github →

2024-07-10 17:26

Mathlib/CategoryTheory/Monad/Limits.lean

feat(CategoryTheory): (co)limits in the category of coalgebras (#14236) …

Added CategoryTheory.Comonad.ForgetCreatesLimits'.conePoint View on Github →