Theorem CategoryTheory.GrothendieckTopology.yonedaULiftEquiv_naturality

Modification history

2025-11-13 16:36
Mathlib/CategoryTheory/Sites/Subcanonical.lean
chore(CategoryTheory/Sites): name change from `yonedaULift` to `uliftYoneda` (#31538) …
Deleted CategoryTheory.GrothendieckTopology.yonedaULiftEquiv_naturalityView on Github →
2024-11-01 22:15
Mathlib/CategoryTheory/Sites/Subcanonical.lean
feat(CategoryTheory/Sites): some API for the Yoneda embedding into sheaf categories (#18185)
Added CategoryTheory.GrothendieckTopology.yonedaULiftEquiv_naturalityView on Github →