Copertina

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Ellerman, David
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Category Theory Logic 18-02
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Logical Theory of Canonical Maps: The Elements & Distinctions Analysis of the Morphisms, Duality, Canonicity, and Universal Constructions in Set
di: Ellerman, David
Pubblicazione: (2021)

Actegories for the Working Amthematician
di: Capucci, Matteo, et al.
Pubblicazione: (2022)

(Pointed) Univalence in Universe Category Models of Type Theory
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

Partial Markov Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

Timing via Pinwheel Double Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

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

Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021)

Basic Category Theory
di: Leinster, Tom
Pubblicazione: (2016)

Logical Structure on Inverse Functor Categories
di: Fiore, Marcelo, et al.
Pubblicazione: (2024)

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

Modern incarnations of the Aristotelian concepts of Continuum and Topos
di: Protin, Clarence
Pubblicazione: (2021)

Gabriel-Ulmer Duality for Topoi, An Introduction
di: Pasqualone, Federica
Pubblicazione: (2024)

Monoidal Context Theory
di: Román, Mario
Pubblicazione: (2024)

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

Synthetic 1-Categories in Directed Type Theory
di: Altenkirch, Thorsten, et al.
Pubblicazione: (2024)

Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)

On the Axioms of Arboreal Categories
di: Jakl, Tomáš, et al.
Pubblicazione: (2026)

Linear Arboreal Categories
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

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

From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions
di: Zuluaga, William, et al.
Pubblicazione: (2026)

Proceedings Eighth International Conference on Applied Category Theory
di: Hadzihasanovic, Amar, et al.
Pubblicazione: (2026)

Evidential Decision Theory via Partial Markov Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2023)

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

Di- is for Directed: First-Order Directed Type Theory via Dinaturality
di: Laretto, Andrea, et al.
Pubblicazione: (2024)

Duality in Monoidal Categories
di: Halbig, Sebastian, et al.
Pubblicazione: (2023)

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

Toward the effective 2-topos
di: Awodey, Steve, et al.
Pubblicazione: (2025)

On abstract and concrete minions
di: Juhrich, Lukas
Pubblicazione: (2025)

Univalent Double Categories
di: van der Weide, Niels, et al.
Pubblicazione: (2023)

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

Duality for Clans: an Extension of Gabriel-Ulmer Duality
di: Frey, Jonas
Pubblicazione: (2023)

Elgot Categories and Abacus Programs
di: Nester, Chad
Pubblicazione: (2025)

Classical Distributive Restriction Categories
di: Cockett, Robin, et al.
Pubblicazione: (2023)

Coinductive Streams in Monoidal Categories
di: Di Lavore, Elena, et al.
Pubblicazione: (2022)

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

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

The Category of Operator Spaces and Complete Contractions
di: Lindenhovius, Bert, et al.
Pubblicazione: (2024)

Promonads and String Diagrams for Effectful Categories
di: Román, Mario
Pubblicazione: (2022)

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

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