Copertina

Duality for Clans: an Extension of Gabriel-Ulmer Duality

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Frey, Jonas
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Category Theory Logic in Computer Science Logic 18C10, 08C05, 03B38, 03G30
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Duality theory for categorical theories
di: Ye, Lingyuan
Pubblicazione: (2026)

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

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

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

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

A topos for extended Weihrauch degrees
di: Maschio, Samuele, et al.
Pubblicazione: (2025)

Non-Standard Models of Homotopy Type Theory
di: Rasekh, Nima
Pubblicazione: (2025)

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

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

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

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

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

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

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
di: Inoué, Takao
Pubblicazione: (2026)

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

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

Sites and Grothendieck toposes: an introduction
di: Caramello, Olivia, et al.
Pubblicazione: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
di: Caramello, Olivia, et al.
Pubblicazione: (2025)

Algebraic Type Theory, Part 1: Martin-Löf algebras
di: Awodey, Steve
Pubblicazione: (2025)

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

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

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

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

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

The biequivalence of path categories and axiomatic Martin-Löf type theories
di: Otten, Daniël, et al.
Pubblicazione: (2025)

A universal characterization of standard Borel spaces
di: Chen, Ruiyuan
Pubblicazione: (2019)

The free bifibration on a functor
di: Clarke, Bryce, et al.
Pubblicazione: (2025)

On a fibrational construction for optics, lenses, and Dialectica categories
di: Capucci, Matteo, et al.
Pubblicazione: (2024)

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

Generalised ultracategories and conceptual completeness of geometric logic
di: Hamad, Ali
Pubblicazione: (2025)

Gödel coding on fibrations and geminal categories
di: Ikeda, Yuto
Pubblicazione: (2026)

A category of arrow algebras for modified realizability
di: Tarantino, Umberto
Pubblicazione: (2024)

Evolution systems: A framework for studying generic mathematical structures
di: Kubiś, Wiesław, et al.
Pubblicazione: (2021)

Finite models for positive combinatorial and exponential algebra
di: Alsulami, Tumadhir, et al.
Pubblicazione: (2024)

Profunctorial algebras
di: Aristote, Quentin, et al.
Pubblicazione: (2026)

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

Topoi with enough points
di: Di Liberti, Ivan, et al.
Pubblicazione: (2024)

Categorical structure in coherent theory of arithmetic
di: Ye, Lingyuan
Pubblicazione: (2023)

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

The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
di: van Woerkom, Wijnand, et al.
Pubblicazione: (2024)