Def TopCat.Sheaf.pushforward

Modification history

2023-10-20 14:35

Mathlib/Topology/Sheaves/Functors.lean

feat(Topology/Sheaves/Functors): Specialize pullback-pushforward adjunction to sheaves over topological spaces. (#7722) …

Modified TopCat.Sheaf.pushforward View on Github →

2023-05-26 15:03

Mathlib/Topology/Sheaves/Functors.lean

feat: port Topology.Sheaves.Functors (#4392)

Added TopCat.Sheaf.pushforward View on Github →