Functorial isomorphism of shape inclusions#138

Merged

emilyriehl merged 4 commits intorzk-lang:mainfrom TashiWalde:right-orthogonal-calculus

Nov 11, 2023

+288-8

Commits on Nov 9, 2023

functorian isomorphisms

Tashi Walde
authored and
Tashi Walde
committed
improve exposition

Tashi Walde
authored and
Tashi Walde
committed
autoformat

Tashi Walde
authored and
Tashi Walde
committed

Commits on Nov 10, 2023

Merge branch 'main' into right-orthogonal-calculus
Emily Riehl
authored