Category Archives: Allegory theory

Maps I : relative to a factorization system

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

Posted in Allegory theory, category theory, homotopy type theory