Homotopical Categories of Logics
From MaRDI portal
Publication:5258961
DOI10.1007/978-3-319-10193-4_2zbMath1376.03013OpenAlexW119448749MaRDI QIDQ5258961
Publication date: 24 June 2015
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-10193-4_2
Categorical logic, topoi (03G30) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Abstract deductive systems (03B22)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On left and right model categories and left and right Bousfield localizations
- Relative categories: another model for the homotopy theory of homotopy theories
- A characterization of simplicial localization functors and a discussion of DK equivalences
- Homotopy-theoretic aspects of 2-monads
- A global glance on categories in logic
- On inner Kan complexes in the category of dendroidal sets
- Function complexes in homotopical algebra
- Calculating simplicial localizations
- Theory of logical calculi. Basic theory of consequence operations
- Categorical logic and type theory
- Combining algebraizable logics
- Quasi-categories and Kan complexes
- Theory of completeness for logical spaces
- Derivators, pointed derivators and stable derivators
- Lie algebras and \(v_n\)-periodic spaces
- Directed algebraic topology, categories and higher categories
- Institution-independent model theory
- Recovering a logic from its fragments by meta-fibring
- A Survey of (∞, 1)-Categories
- Algebraizable logics
- Fibring of logics as a categorial construction
- A short course on ∞-categories
- Homotopical Categories of Logics
- Dendroidal sets and simplicial operads
- Fibring in the Leibniz Hierarchy
- Categories and Sheaves
- Dendroidal sets as models for connective spectra
- Algebraic K-Theory of ∞-Operads
- Higher Topos Theory (AM-170)
- Simplicial homotopy theory
- Protoalgebraic logics
This page was built for publication: Homotopical Categories of Logics