Def CategoryTheory.Limits.Over.mapAdjunction

Modification history

2024-05-19 09:37

Mathlib/CategoryTheory/Limits/Shapes/Pullbacks.lean

feat: moving some adjunctions of over categories to `CategoryTheory.Adjunction.Over` (#12980) …

Deleted CategoryTheory.Limits.Over.mapAdjunction View on Github →

2024-05-16 09:19

Mathlib/CategoryTheory/Limits/Shapes/Pullbacks.lean

feat(CategoryTheory): the adjunction between Over.map and Over.baseChange (#12927) …

Added CategoryTheory.Limits.Over.mapAdjunction View on Github →