Def CategoryTheory.Over.mapAdjunction

Modification history

2024-07-17 18:39
Mathlib/CategoryTheory/Adjunction/Over.lean
deduplicate pullback and baseChange (#14519) …
Deleted CategoryTheory.Over.mapAdjunctionView on Github →
2024-05-19 09:37
Mathlib/CategoryTheory/Adjunction/Over.lean
feat: moving some adjunctions of over categories to `CategoryTheory.Adjunction.Over` (#12980) …
Added CategoryTheory.Over.mapAdjunctionView on Github →