Image de couverture de livre

Weak saturation and weak amalgamation property

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Di Liberti, Ivan
Format:	Preprint
Publié:	2017
Sujets:	Category Theory Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formal Model Theory & Higher Topology
par: Di Liberti, Ivan
Publié: (2020)

Duality for coalgebras for Vietoris and monadicity
par: Abbadini, Marco, et autres
Publié: (2023)

Codensity: Isbell duality, pro-objects, compactness and accessibility
par: Di Liberti, Ivan
Publié: (2019)

Context, Judgement, Deduction
par: Coraglia, Greta, et autres
Publié: (2021)

Homotopical algebra is not concrete
par: Loregian, Fosco, et autres
Publié: (2017)

A type theory for invertibility in weak $ω$-categories
par: Benjamin, Thibaut, et autres
Publié: (2026)

Monoidal weak omega-categories as models of a type theory
par: Benjamin, Thibaut
Publié: (2021)

Globular weak $ω$-categories as models of a type theory
par: Benjamin, Thibaut, et autres
Publié: (2021)

Bi-accessible and bipresentable 2-categories
par: Di Liberti, Ivan, et autres
Publié: (2022)

Enriched Locally Generated Categories
par: Di Liberti, Ivan, et autres
Publié: (2020)

Various topos of types constructions
par: Kanalas, Kristóf
Publié: (2025)

Existence Theorem for Cumulative Universe Towers and Its Applications
par: Reizi, Higuchi Joaquim
Publié: (2025)

Term Assignment and Categorical Models for Intuitionistic Linear Logic with Subexponentials
par: Rogozin, Daniel
Publié: (2025)

A constructive approach to the double-categorical small object argument
par: Berg, Benno van den, et autres
Publié: (2025)

What can Topology tell us about Logical Complexity?
par: Kihara, Takayuki, et autres
Publié: (2026)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
par: Abramsky, Samson, et autres
Publié: (2022)

Pure maps are strict monomorphisms
par: Kanalas, Kristóf
Publié: (2024)

Stable first order theories as simplicial profinite sets
par: Gavrilovich, Misha
Publié: (2025)

De Morgan's law in toposes I
par: Caramello, Olivia, et autres
Publié: (2025)

Quasitoposes as elementary quotient completions
par: Maietti, Maria Emilia, et autres
Publié: (2021)

Adding a constant and an axiom to a doctrine
par: Guffanti, Francesca
Publié: (2023)

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

A note on computable étale spaces
par: de Brecht, Matthew
Publié: (2026)

The category of propositional deductive systems
par: Russo, Ciro
Publié: (2025)

Positively closed $Sh(B)$-valued models
par: Kanalas, Kristóf
Publié: (2024)

Rich doctrines and Henkin's Theorem
par: Guffanti, Francesca
Publié: (2023)

Universal categories
par: Schoutens, Hans
Publié: (2025)

Condensed Sets and the Solovay Model
par: Bannister, Nathaniel, et autres
Publié: (2026)

Displayed Type Theory and Semi-Simplicial Types
par: Kolomatskaia, Astra, et autres
Publié: (2023)

Finite coproducts, coregularity and coexactness for profinite interior algebras
par: De Berardinis, Matteo
Publié: (2025)

A monoidal category of dependently sorted algebraic theories I: syntax
par: Almeida, Daniel
Publié: (2025)

Classical Set Theory: Theory of Sets and Classes
par: Banakh, Taras
Publié: (2020)

Unstable independence from the categorical point of view
par: Kamsma, Mark, et autres
Publié: (2023)

Localic Relations with Open Cones
par: van der Schaaf, Nesta
Publié: (2026)

Categorifying computable reducibilities
par: Trotta, Davide, et autres
Publié: (2022)

Canonical Extensions of Quantale-Enriched Categories
par: Kurz, Alexander, et autres
Publié: (2026)

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

Gabriel-Ulmer Duality for Topoi, An Introduction
par: Pasqualone, Federica
Publié: (2024)

From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions
par: Zuluaga, William, et autres
Publié: (2026)

Left adjoint to precomposition in elementary doctrines
par: Guffanti, Francesca
Publié: (2023)