Mathlib Changelog
Changelog
About
Github
Commit
2021-11-15 19:12
43ef5787
View on Github →
feat(category_theory/limits): Random results about limits. (
#10285
)
Estimated changes
Modified
src/category_theory/limits/shapes/binary_products.lean
Modified
src/category_theory/limits/shapes/pullbacks.lean
added
def
category_theory.limits.pullback.map
added
def
category_theory.limits.pushout.map
Modified
src/category_theory/limits/shapes/types.lean
added
def
category_theory.limits.types.coequalizer_colimit
added
inductive
category_theory.limits.types.coequalizer_rel