Copertina

Quasitoposes as elementary quotient completions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Maietti, Maria Emilia, Pasquali, Fabio, Rosolini, Giuseppe
Natura:	Preprint
Pubblicazione:	2021
Soggetti:	Logic Category Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Cauchy-completions and the rule of unique choice in relational doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Quotients, pure existential completions and arithmetic universes
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2023)

The Relational Quotient Completion
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Quantitative Equality in Substructural Logic via Lipschitz Doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2021)

Left adjoint to precomposition in elementary doctrines
di: Guffanti, Francesca
Pubblicazione: (2023)

An Algebraic Abstraction of the Localic Sheafification via the Tripos-to-Topos Construction
di: Maietti, Maria Emilia, et al.
Pubblicazione: (2025)

Biased elementary doctrines and quotient completions
di: Cioffo, Cipriano Junior
Pubblicazione: (2023)

Choice axioms and Postnikov completeness
di: Anel, Mathieu, et al.
Pubblicazione: (2024)

Strict Rezk completions of models of HoTT and homotopy canonicity
di: Bocquet, Rafaël
Pubblicazione: (2023)

Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
di: Lorenzin, Antonio, et al.
Pubblicazione: (2025)

Graded String Diagrams for Imprecise Probability and Causal Intervention
di: Sarkis, Ralph, et al.
Pubblicazione: (2025)

Various topos of types constructions
di: Kanalas, Kristóf
Pubblicazione: (2025)

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

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

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

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

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

Pure maps are strict monomorphisms
di: Kanalas, Kristóf
Pubblicazione: (2024)

Weak saturation and weak amalgamation property
di: Di Liberti, Ivan
Pubblicazione: (2017)

Stable first order theories as simplicial profinite sets
di: Gavrilovich, Misha
Pubblicazione: (2025)

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

Formal Model Theory & Higher Topology
di: Di Liberti, Ivan
Pubblicazione: (2020)

Adding a constant and an axiom to a doctrine
di: Guffanti, Francesca
Pubblicazione: (2023)

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

A note on computable étale spaces
di: de Brecht, Matthew
Pubblicazione: (2026)

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

The category of propositional deductive systems
di: Russo, Ciro
Pubblicazione: (2025)

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

Rich doctrines and Henkin's Theorem
di: Guffanti, Francesca
Pubblicazione: (2023)

Universal categories
di: Schoutens, Hans
Pubblicazione: (2025)

Condensed Sets and the Solovay Model
di: Bannister, Nathaniel, et al.
Pubblicazione: (2026)

Displayed Type Theory and Semi-Simplicial Types
di: Kolomatskaia, Astra, et al.
Pubblicazione: (2023)

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

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

Classical Set Theory: Theory of Sets and Classes
di: Banakh, Taras
Pubblicazione: (2020)

Unstable independence from the categorical point of view
di: Kamsma, Mark, et al.
Pubblicazione: (2023)

Localic Relations with Open Cones
di: van der Schaaf, Nesta
Pubblicazione: (2026)

Categorifying computable reducibilities
di: Trotta, Davide, et al.
Pubblicazione: (2022)

Canonical Extensions of Quantale-Enriched Categories
di: Kurz, Alexander, et al.
Pubblicazione: (2026)

On the Multicategorical Meta-Theorem and the Completeness of Restricted Algebraic Deduction Systems
di: Forsman, David
Pubblicazione: (2024)