Def CategoryTheory.Limits.piFunctor

Modification history

2026-10-07 11:50

Mathlib/CategoryTheory/Limits/Shapes/Products.lean

chore(CategoryTheory/Limits/Shapes/Products): deprecate duplicates `piFunctor` and `sigmaFunctor` (#44592) …

Deleted CategoryTheory.Limits.piFunctor View on Github →

2026-02-27 15:40

Mathlib/CategoryTheory/Limits/Shapes/Products.lean

feat(CategoryTheory/Sites): skyscraper sheaves (#35719) …

Added CategoryTheory.Limits.piFunctor View on Github →