Back to Results
First PageMeta Content
Category theory / Homotopy theory / Algebraic structures / Symmetry / Higher category theory / Groupoid / Equivalence relation / Group action / Adjoint functors / Abstract algebra / Mathematics / Algebra


Univalence For Free Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1
Add to Reading List

Document Date: 2013-03-21 05:10:37

Open Document

File Size: 371,02 KB

Share Result on Facebook
UPDATE