Buchumschlag

Adding a constant and an axiom to a doctrine

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Guffanti, Francesca
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Category Theory Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Rich doctrines and Henkin's Theorem
von: Guffanti, Francesca
Veröffentlicht: (2023)

Left adjoint to precomposition in elementary doctrines
von: Guffanti, Francesca
Veröffentlicht: (2023)

Freely adding one layer of quantifiers to a Boolean doctrine
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
von: Dagnino, Francesco, et al.
Veröffentlicht: (2024)

Choice axioms and Postnikov completeness
von: Anel, Mathieu, et al.
Veröffentlicht: (2024)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2023)

LNL polycategories and doctrines of linear logic
von: Shulman, Michael
Veröffentlicht: (2021)

Quantifier-free formulas and quantifier alternation depth in doctrines
von: Abbadini, Marco, et al.
Veröffentlicht: (2024)

Tensorial structure of the lifting doctrine in constructive domain theory
von: Sterling, Jonathan
Veröffentlicht: (2023)

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

Homotopy type theory as a language for diagrams of $\infty$-logoses
von: Uemura, Taichi
Veröffentlicht: (2022)

Yet another cubical type theory, but via a semantic approach
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

Duality for coalgebras for Vietoris and monadicity
von: Abbadini, Marco, et al.
Veröffentlicht: (2023)

Displayed Type Theory and Semi-Simplicial Types
von: Kolomatskaia, Astra, et al.
Veröffentlicht: (2023)

Unstable independence from the categorical point of view
von: Kamsma, Mark, et al.
Veröffentlicht: (2023)

Various topos of types constructions
von: Kanalas, Kristóf
Veröffentlicht: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
von: Reizi, Higuchi Joaquim
Veröffentlicht: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
von: Rogozin, Daniel
Veröffentlicht: (2025)

A constructive approach to the double-categorical small object argument
von: Berg, Benno van den, et al.
Veröffentlicht: (2025)

What can Topology tell us about Logical Complexity?
von: Kihara, Takayuki, et al.
Veröffentlicht: (2026)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
von: Abramsky, Samson, et al.
Veröffentlicht: (2022)

Pure maps are strict monomorphisms
von: Kanalas, Kristóf
Veröffentlicht: (2024)

Weak saturation and weak amalgamation property
von: Di Liberti, Ivan
Veröffentlicht: (2017)

Stable first order theories as simplicial profinite sets
von: Gavrilovich, Misha
Veröffentlicht: (2025)

De Morgan's law in toposes I
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Formal Model Theory & Higher Topology
von: Di Liberti, Ivan
Veröffentlicht: (2020)

Quasitoposes as elementary quotient completions
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2021)

A note on computable étale spaces
von: de Brecht, Matthew
Veröffentlicht: (2026)

The category of propositional deductive systems
von: Russo, Ciro
Veröffentlicht: (2025)

Positively closed $Sh(B)$-valued models
von: Kanalas, Kristóf
Veröffentlicht: (2024)

Universal categories
von: Schoutens, Hans
Veröffentlicht: (2025)

Condensed Sets and the Solovay Model
von: Bannister, Nathaniel, et al.
Veröffentlicht: (2026)

Finite coproducts, coregularity and coexactness for profinite interior algebras
von: De Berardinis, Matteo
Veröffentlicht: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
von: Almeida, Daniel
Veröffentlicht: (2025)

Classical Set Theory: Theory of Sets and Classes
von: Banakh, Taras
Veröffentlicht: (2020)

Localic Relations with Open Cones
von: van der Schaaf, Nesta
Veröffentlicht: (2026)

Categorifying computable reducibilities
von: Trotta, Davide, et al.
Veröffentlicht: (2022)

Canonical Extensions of Quantale-Enriched Categories
von: Kurz, Alexander, et al.
Veröffentlicht: (2026)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
von: Forsman, David
Veröffentlicht: (2024)

Gabriel-Ulmer Duality for Topoi, An Introduction
von: Pasqualone, Federica
Veröffentlicht: (2024)