Cover Image

The Natural Display Topos of Coalgebras

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Zwanziger, Colin
Format:	Preprint
Published:	2024
Subjects:	Category Theory Programming Languages 03G30 (Primary) 03B38, 03B45 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Stratified Toposes
by: Zwanziger, Colin
Published: (2024)

Tininess and right adjoints to exponentials
by: Hernández, Enrique Ruiz, et al.
Published: (2026)

Connectedness through decidable quotients
by: Hernández, Enrique Ruiz, et al.
Published: (2023)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

On logical parameterizations and functional representability in local set theories
by: Hernández, Enrique Ruiz, et al.
Published: (2021)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

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

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

On the theories classified by an étendue
by: Wrigley, Joshua
Published: (2025)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

A $j$-translation with Kripke forcing relation
by: Nakata, Satoshi
Published: (2026)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
by: Forster, Jonas, et al.
Published: (2023)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

Atomic Toposes with Co-Well-Founded Categories of Atoms
by: Marquès, Jérémie
Published: (2024)

Existential completions and Herbrand's theorem
by: Wrigley, Joshua L.
Published: (2025)

LF: a Foundational Higher-Order-Logic
by: Goodsell, Zachary, et al.
Published: (2024)

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

The Tactician's Web of Large-Scale Formal Knowledge
by: Blaauwbroek, Lasse
Published: (2024)

Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)

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

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

Topoi with enough points and topological groupoids
by: Wrigley, Joshua
Published: (2024)

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

Lifting independence along functors
by: Kamsma, Mark, et al.
Published: (2024)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)

Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)

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

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

Existentially closed models and locally zero-dimensional toposes
by: Kamsma, Mark, et al.
Published: (2024)

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

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

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)