Commit 2025-10-10 18:04 89875f48
View on Github →refactor: weaken HasPullbacks to HasPullback in MorphismProperty.Limits (#29812)
The HasPullbacks instance on a category C for defining the baseChange / pullback functor along a map f : X -> Y between their over categories can be weakened to just a HasPullback condition on f.
- depends on: #29795