Cover Image

Domains and Classifying Topoi

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sterling, Jonathan, Ye, Lingyuan
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Category Theory Logic 03B70
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

The Synthetic Sierpiński Cone
by: Bakke, Fredrik, et al.
Published: (2026)

Reflexive graph lenses in univalent foundations
by: Sterling, Jonathan
Published: (2024)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

Strict universes for Grothendieck topoi
by: Gratzer, Daniel, et al.
Published: (2022)

The Rezk Completion for Elementary Topoi
by: Wullaert, Kobe, et al.
Published: (2026)

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

Uniform Preorders and Partial Combinatory Algebras
by: Frey, Jonas
Published: (2024)

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

Stack Representation of Finitely Presented Heyting Pretoposes I
by: Ye, Lingyuan
Published: (2024)

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)

Hofmann-Streicher lifting of fibred categories
by: Slattery, Andrew, et al.
Published: (2025)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Arrow algebras
by: Berg, Benno van den, et al.
Published: (2023)

A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)

Gabriel-Ulmer Duality for Topoi, An Introduction
by: Pasqualone, Federica
Published: (2024)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

Modal Separability of Fixpoint Formulae
by: Jung, Jean Christoph, et al.
Published: (2024)

The Polynomial Hierarchy and $ω$-categorical CSPs
by: Pro, Santiago Guzmán, et al.
Published: (2026)

Homological Invariants of Higher-Order Equational Theories
by: Ikebuchi, Mirai
Published: (2025)

Substructural fixed-point theorems and the diagonal argument: theme and variations
by: Roberts, David Michael
Published: (2021)

Projective Presentations of Lex Modalities
by: Williams, Mark Damuni
Published: (2025)

Games as recursive coalgebras: A categorical view on the Nim-sum
by: Hora, Ryuya
Published: (2025)

When is the partial map classifier a Sierpiński cone?
by: Pugh, Leoni, et al.
Published: (2025)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

Normal forms in cubical type theory
by: Huang, Xu
Published: (2026)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
by: Nakamura, Yuki
Published: (2026)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

On the Existence and Disjunction Properties in Structural Set Theory
by: Saving, Mark
Published: (2023)

Distributive Laws of Monadic Containers
by: Purdy, Chris, et al.
Published: (2025)

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

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

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

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)