Pages that link to "Item:Q2305674"
From MaRDI portal
The following pages link to Equipping weak equivalences with algebraic structure (Q2305674):
Displayed 8 items.
- Adjoint functor theorems for homotopically enriched categories (Q2111223) (← links)
- Accessible aspects of 2-category theory (Q2200941) (← links)
- Homotopy types of abstract elementary classes (Q2223352) (← links)
- Weak model categories in classical and constructive mathematics (Q3294961) (← links)
- Minimal accessible categories (Q5004669) (← links)
- An interpretation of dependent type theory in a model category of locally cartesian closed categories (Q5076386) (← links)
- Iterated algebraic injectivity and the faithfulness conjecture (Q5149953) (← links)
- Injective types in univalent mathematics (Q5156770) (← links)