Cover Image

Stable first order theories as simplicial profinite sets

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Gavrilovich, Misha
Format:	Preprint
Published:	2025
Subjects:	Category Theory Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finite combinatorics implicit in the basic definitions of topology
by: Gavrilovich, Misha
Published: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Finite coproducts, coregularity and coexactness for profinite interior algebras
by: De Berardinis, Matteo
Published: (2025)

The Quillen negation monoid of a category, and Schreier graphs of its action on classes of morphisms
by: Gavrilovich, Misha, et al.
Published: (2024)

The $\infty$-category of $\infty$-categories in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2026)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

A monoidal category of dependently sorted algebraic theories I: syntax
by: Almeida, Daniel
Published: (2025)

Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)

Combining fixpoint and differentiation theory
by: Galal, Zeinab, et al.
Published: (2024)

Higher geometric sheaf theories
by: Stenzel, Raffael
Published: (2022)

Semantics of multimodal adjoint type theory
by: Shulman, Michael
Published: (2023)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

Delooping presented groups in homotopy type theory
by: Champin, Camil, et al.
Published: (2024)

Various topos of types constructions
by: Kanalas, Kristóf
Published: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
by: Reizi, Higuchi Joaquim
Published: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
by: Rogozin, Daniel
Published: (2025)

A constructive approach to the double-categorical small object argument
by: Berg, Benno van den, et al.
Published: (2025)

De Morgan's law in toposes I
by: Caramello, Olivia, et al.
Published: (2025)

Fraïssé limit and Ramsey Theorem: the case of MV-algebras and a categorical generalization
by: Russo, Ciro
Published: (2025)

The category of propositional deductive systems
by: Russo, Ciro
Published: (2025)

Universal categories
by: Schoutens, Hans
Published: (2025)

A type theory for invertibility in weak $ω$-categories
by: Benjamin, Thibaut, et al.
Published: (2026)

Formalization of dependent type theory: The example of CaTT
by: Benjamin, Thibaut
Published: (2021)

Tensorial structure of the lifting doctrine in constructive domain theory
by: Sterling, Jonathan
Published: (2023)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
by: Perutka, Tomáš
Published: (2026)

What can Topology tell us about Logical Complexity?
by: Kihara, Takayuki, et al.
Published: (2026)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
by: Abramsky, Samson, et al.
Published: (2022)

Pure maps are strict monomorphisms
by: Kanalas, Kristóf
Published: (2024)

Weak saturation and weak amalgamation property
by: Di Liberti, Ivan
Published: (2017)

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

Quasitoposes as elementary quotient completions
by: Maietti, Maria Emilia, et al.
Published: (2021)

Adding a constant and an axiom to a doctrine
by: Guffanti, Francesca
Published: (2023)

A note on computable étale spaces
by: de Brecht, Matthew
Published: (2026)

Duality for coalgebras for Vietoris and monadicity
by: Abbadini, Marco, et al.
Published: (2023)

Positively closed $Sh(B)$-valued models
by: Kanalas, Kristóf
Published: (2024)

Rich doctrines and Henkin's Theorem
by: Guffanti, Francesca
Published: (2023)