Buchumschlag

Evolution systems: A framework for studying generic mathematical structures

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kubiś, Wiesław, Radecka, Paulina
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic Category Theory 18A05, 03C95, 18A30
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hereditarily indecomposable continua as generic mathematical structures
von: Bartoš, Adam, et al.
Veröffentlicht: (2022)

Sketches and Classifying Logoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Logical Structure on Inverse Functor Categories
von: Fiore, Marcelo, et al.
Veröffentlicht: (2024)

Lifting independence along functors
von: Kamsma, Mark, et al.
Veröffentlicht: (2024)

The weak Ramsey property and extreme amenability
von: Bartoš, Adam, et al.
Veröffentlicht: (2021)

Generalised ultracategories and conceptual completeness of geometric logic
von: Hamad, Ali
Veröffentlicht: (2025)

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

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

Quotients, pure existential completions and arithmetic universes
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2023)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
von: Frey, Jonas
Veröffentlicht: (2023)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
von: Inoué, Takao
Veröffentlicht: (2026)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Pointwise Kan extensions along 2-fibrations and the 2-category of elements
von: Mesiti, Luca
Veröffentlicht: (2023)

A foundation for deductive mathematics
von: Quinn, Frank
Veröffentlicht: (2021)

Logic and Concepts in the 2-category of Topoi
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2025)

A Categorical Generalization of Counterpoint
von: Agustín-Aquino, Octavio A., et al.
Veröffentlicht: (2018)

$(\infty,1)$-Categorical Comprehension Schemes
von: Stenzel, Raffael
Veröffentlicht: (2020)

On abstract and concrete minions
von: Juhrich, Lukas
Veröffentlicht: (2025)

The free bifibration on a functor
von: Clarke, Bryce, et al.
Veröffentlicht: (2025)

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

A category of arrow algebras for modified realizability
von: Tarantino, Umberto
Veröffentlicht: (2024)

Sites and Grothendieck toposes: an introduction
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Generation of Grothendieck topologies, provability and operations on subtoposes
von: Caramello, Olivia, et al.
Veröffentlicht: (2025)

Atomic Toposes with Co-Well-Founded Categories of Atoms
von: Marquès, Jérémie
Veröffentlicht: (2024)

Cofibrant generation of pure monomorphisms in presheaf categories
von: Cox, Sean, et al.
Veröffentlicht: (2025)

A Completeness Theorem for Topological Doctrines
von: Ghilardi, Silvio, et al.
Veröffentlicht: (2025)

The List Object Endofunctor is Polynomial
von: Desrochers, Samuel
Veröffentlicht: (2025)

On the theories classified by an étendue
von: Wrigley, Joshua
Veröffentlicht: (2025)

Limit Sketches and the Universal Realization of a Limit Sketch
von: Taylor, Johnathon
Veröffentlicht: (2025)

Games as recursive coalgebras: A categorical view on the Nim-sum
von: Hora, Ryuya
Veröffentlicht: (2025)

On duality and model theory for polyadic spaces
von: van Gool, Sam, et al.
Veröffentlicht: (2022)

The history of the General Adjoint Functor Theorem
von: Porst, Hans-E.
Veröffentlicht: (2023)

Hilbert spaces admit no finitary discrete imaginaries
von: Chen, Ruiyuan, et al.
Veröffentlicht: (2025)

Topoi with enough points
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2024)

Bi-directional models of `radically synthetic' differential geometry
von: Menni, Matías
Veröffentlicht: (2024)

The algebraic internal groupoid model of Martin-Löf type theory
von: Hughes, Calum
Veröffentlicht: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)