Cover Image

Unstable independence from the categorical point of view

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kamsma, Mark, Rosický, Jiří
Format:	Preprint
Published:	2023
Subjects:	Category Theory Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

A categorical formulation of Kraus' paradox
by: Swan, Andrew W.
Published: (2024)

Discrete equational theories
by: Rosický, Jiří
Published: (2022)

Discrete Lawvere theories and monads
by: Rosický, Jiří
Published: (2024)

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

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

Enriched purity and presentability in Banach spaces
by: Rosický, Jiří
Published: (2022)

A categorical description of simple Beth companions
by: Carai, Luca, et al.
Published: (2026)

Metacat: a categorical framework for formal systems
by: Wilson, Paul
Published: (2026)

A categorical perspective on constraint satisfaction: The wonderland of adjunctions
by: Hadek, Maximilian, et al.
Published: (2025)

Cofibrant generation of pure monomorphisms in presheaf categories
by: Cox, Sean, et al.
Published: (2025)

A categorical account of composition methods in logic (extended version)
by: Jakl, Tomáš, et al.
Published: (2024)

Enriched concepts of regular logic
by: Rosický, Jiří, et al.
Published: (2024)

Are chain-complete posets co-wellpowered?
by: Jurka, Jan, et al.
Published: (2020)

Enriched Locally Generated Categories
by: Di Liberti, Ivan, et al.
Published: (2020)

Terminal Coalgebras in Countably Many Steps
by: Adámek, Jiří, et al.
Published: (2023)

Fibrantly generated weak factorization systems
by: Cox, Sean, et al.
Published: (2022)

Relative fixed points of functors
by: Schoen, Ezra, et al.
Published: (2023)

The categorical contours of the Chomsky-Schützenberger representation theorem
by: Melliès, Paul-André, et al.
Published: (2023)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

Adding a constant and an axiom to a doctrine
by: Guffanti, Francesca
Published: (2023)

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

Rich doctrines and Henkin's Theorem
by: Guffanti, Francesca
Published: (2023)

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

Left adjoint to precomposition in elementary doctrines
by: Guffanti, Francesca
Published: (2023)

Various topos of types constructions
by: Kanalas, Kristóf
Published: (2025)

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

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

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

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

Pure maps are strict monomorphisms
by: Kanalas, Kristóf
Published: (2024)

Weak saturation and weak amalgamation property
by: Di Liberti, Ivan
Published: (2017)

Stable first order theories as simplicial profinite sets
by: Gavrilovich, Misha
Published: (2025)

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

Formal Model Theory & Higher Topology
by: Di Liberti, Ivan
Published: (2020)

Quasitoposes as elementary quotient completions
by: Maietti, Maria Emilia, et al.
Published: (2021)

A note on computable étale spaces
by: de Brecht, Matthew
Published: (2026)

The category of propositional deductive systems
by: Russo, Ciro
Published: (2025)

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