Homotopy Type Theory category theory > history (Rev #9, changes)

Showing changes from revision #8 to #9: Added | Removed | Changed

This page is under construction. - Ali

Here we collect articles about doing category theory in HoTT. This is based off of the HoTT Book.

Definitions

Theorems

References

HoTT Book

Revision on September 20, 2018 at 23:12:30 by Ali Caglayan. See the history of this page for a list of all contributions to it.