Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"factorization system"”.
-
Type theoretic weak factorization systems
… a characterization of those categories with weak factorization systems that can interpret the theory of intensional dependent type theory with Σ, Π, and identity types. We use display map categories to serve as models of intensional dependent type theory. If a display map category (C, D) models Σ …
-
TORSION THEORIES BESIDE THE POINT -- HOMOTOPICAL AND TWO-DIMENSIONAL APPROACHES
… with closure operators and factorisation systems – rely in the pointed case on additional structural assumptions and are not known to hold for pretorsion theories. To provide a framework where such results can be in part recovered, a new notion is introduced: prenormal categories. This …