Maps I : relative to a factorization system

ftp://kestrel.edu/pub/papers/pavlovic/mapsI-JPAA95.pdf

Advertisements
This entry was posted in Allegory theory, category theory, homotopy type theory. Bookmark the permalink.