The Gluing Construction for Path Categories
Publication date
Authors
DOI
Document Type
Master Thesis
Metadata
Show full item recordCollections
License
CC-BY-NC-ND
Abstract
Keywords
category theory, homotopy type theory, gluing category, canonicity, homotopy universal constructions