Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?
Presenter
February 7, 2013
Keywords:
- Univalent
Abstract
Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?