Cover Image

First-order homotopical logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Helfer, Joseph
Format:	Preprint
Published:	2019
Subjects:	Logic Algebraic Topology Category Theory 18C50 (Primary) 18D30, 55U35 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)

Homotopy limits of model categories, revisited
by: Bergner, Julia E.
Published: (2024)

Abstract Excision and $\ell^1$-Homology
by: Witzig, Johannes
Published: (2022)

Dwyer-Kan homotopy theory of enriched categories
by: Muro, Fernando
Published: (2012)

A cubical model for $(\infty, n)$-categories
by: Campion, Tim, et al.
Published: (2020)

Sketchable infinity categories
by: Casacuberta, Carles, et al.
Published: (2025)

Free colimit completion in $\infty$-categories
by: Rezk, Charles
Published: (2022)

Cech cohomology of partially ordered sets
by: Husainov, Ahmet A.
Published: (2023)

The frame of smashing tensor-ideals
by: Balmer, Paul, et al.
Published: (2017)

Cartesian exponentiation and monadicity
by: Riehl, Emily, et al.
Published: (2021)

A modern perspective on rational homotopy theory
by: Chatzitheodoridis, Eleftherios
Published: (2025)

Cartesian Fibrations of $(\infty,2)$-categories
by: Gagna, Andrea, et al.
Published: (2021)

Generalizing quasi-categories via model structures on simplicial sets
by: Feller, Matthew
Published: (2021)

A homotopy coherent nerve for $(\infty,n)$-categories
by: Moser, Lyne, et al.
Published: (2022)

Thomason cohomology and Quillen's Theorem A
by: Kirtisoglu, Mehmet, et al.
Published: (2025)

On the axiomatisability of the dual of compact ordered spaces
by: Abbadini, Marco
Published: (2025)

Cofibrantly generated model structures for functor calculus
by: Bandklayder, Lauren, et al.
Published: (2023)

A canonical enriched Adams-Hilton model for simplicial sets
by: Hess, Kathryn, et al.
Published: (2004)

2-Segal sets from cuts of rooted trees
by: Bergner, Julia E., et al.
Published: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Multiplicative structures on comodules in higher categories
by: Torii, Takeshi
Published: (2025)

Cyclic Segal Spaces
by: Bergner, Julia E., et al.
Published: (2024)

Operadic categories as a natural environment for Koszul duality
by: Batanin, Michael, et al.
Published: (2018)

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Enriched model categories and the Dold-Kan correspondence
by: Frankland, Martin, et al.
Published: (2025)

On the universality of multiexcisive functors
by: Barthel, Tobias, et al.
Published: (2026)

Models for rational $(\infty, 1)$-categories
by: Chatzitheodoridis, Eleftherios
Published: (2025)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

Combinatorial model categories are equivalent to presentable quasicategories
by: Pavlov, Dmitri
Published: (2021)

Homotopy theory of Moore flows (III)
by: Gaucher, Philippe
Published: (2023)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

Crossed modules and cohomology of algebras over an operad
by: Leray, Johan, et al.
Published: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Diagrammatic sets as a model of homotopy types
by: Chanavat, Clémence, et al.
Published: (2024)

$(\infty,n)$-Limits I: Definition and first consistency results
by: Moser, Lyne, et al.
Published: (2023)

Homotopy Languages
by: Martínez, César Bardomiano, et al.
Published: (2025)