Def CategoryTheory.presheafHom

Modification history

2023-11-28 18:08

Mathlib/CategoryTheory/Sites/SheafHom.lean

feat(CategoryTheory/Sites): internal hom of (pre)sheaves (#8622) …

Added CategoryTheory.presheafHom View on Github →