Path Spaces of Pushouts#25

Open

ThomatoTomato wants to merge 42 commits intojdchristensen:masterfrom

ThomatoTomato:PushoutPaths

Commits on Oct 4, 2024

Start work on zig zag construction
ben-connors
committed

Commits on Oct 9, 2024

Work on making the identity zigzag
ben-connors
committed

Commits on Oct 11, 2024

Work more on defining the zigzag identity family
ben-connors
committed

Commits on Oct 12, 2024

Keep slogging...
ben-connors
committed

Commits on Oct 16, 2024

Commits on Oct 17, 2024

Functoriality of colimits
ThomatoTomato
committed

Commits on Oct 18, 2024

Cleanup
ThomatoTomato
committed

Commits on Oct 19, 2024

Commits on Oct 22, 2024

Commits on Oct 23, 2024

Commits on Oct 24, 2024

Commits on Nov 1, 2024

Commits on Nov 3, 2024

Commits on Nov 5, 2024

Style fixes and comments
jdchristensen
committed