This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Commit 8b8f08d

committed

feat(category_theory/limits): The associativity of pullbacks and pushouts. (#10619)

Also provides the pasting lemma for pullback (pushout) squares Co-authored-by: erd1 <the.erd.one@gmail.com>

1 parent b6b47ed commit 8b8f08dCopy full SHA for 8b8f08d

1 file changed

+594

-1

lines changed

+594

-1

lines changed

Comments

(0)