Def CategoryTheory.yonedaMap

Modification history

2024-07-24 09:58

Mathlib/CategoryTheory/Yoneda.lean

feat(CategoryTheory/Site): Locally fully-faithful functors into sites. (#15062)

Modified CategoryTheory.yonedaMap View on Github →

2024-07-04 06:28

Mathlib/CategoryTheory/Yoneda.lean

feat(CategoryTheory/Functor): refactoring Lan (#10425) …

Added CategoryTheory.yonedaMap View on Github →