The following pages link to (Q4663634):
Displaying 13 items.
- Six-functor-formalisms and fibered multiderivators (Q1783967) (← links)
- 2-categorical opfibrations, Quillen's Theorem B, and \(S^{-1}S\) (Q2045881) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- Categorical notions of fibration (Q2221495) (← links)
- Cofibrantly generated lax orthogonal factorisation systems (Q2336048) (← links)
- Monoidal Grothendieck construction (Q3305544) (← links)
- Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
- A fibrational framework for substructural and modal logics (Q5111322) (← links)
- Fibered Multiderivators and (co)homological descent (Q5364142) (← links)
- Fibred and Indexed Categories for Abstract Model Theory (Q5436999) (← links)
- From coherent structures to universal properties (Q5954120) (← links)
- Cauchy completeness, lax epimorphisms and effective descent for split fibrations (Q6178477) (← links)
- Gödel, Escher, Bell: contextual semantics of logical paradoxes (Q6612790) (← links)