Copertina

Partial Markov Categories

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Di Lavore, Elena, Román, Mario, Sobociński, Paweł
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Category Theory Logic in Computer Science 18M30
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

String Diagrams for Premonoidal Categories
di: Román, Mario, et al.
Pubblicazione: (2023)

Monoidal Width
di: Di Lavore, Elena, et al.
Pubblicazione: (2022)

Effectful Mealy Machines
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

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

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

Partializations of Markov categories
di: Mohammed, Areeb Shah
Pubblicazione: (2025)

Diagrammatic Polyhedral Algebra
di: Bonchi, Filippo, et al.
Pubblicazione: (2021)

Diagrammatic Algebra of First Order Logic
di: Bonchi, Filippo, et al.
Pubblicazione: (2024)

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

Program Logics via Distributive Monoidal Categories
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

The Magmoid of Normalized Stochastic Kernels
di: Di Lavore, Elena, et al.
Pubblicazione: (2025)

Layered Monoidal Theories II: Fibrational Semantics
di: Lobski, Leo, et al.
Pubblicazione: (2026)

Hom $ω$-categories of a computad are free
di: Benjamin, Thibaut, et al.
Pubblicazione: (2024)

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

Tape Diagrams for Monoidal Monads
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

A Simple Formal Language for Probabilistic Decision Problems
di: Di Lavore, Elena, et al.
Pubblicazione: (2024)

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

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

Beyond Eckmann-Hilton: Commutativity in Higher Categories
di: Benjamin, Thibaut, et al.
Pubblicazione: (2025)

String Diagrams for Physical Duoidal Categories
di: Román, Mario
Pubblicazione: (2024)

String Diagrams for Closed Symmetric Monoidal Categories
di: Reader, Callum, et al.
Pubblicazione: (2025)

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

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

Dialectica Petri Nets
di: Di Lavore, Elena, et al.
Pubblicazione: (2021)

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

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

Layered Monoidal Theories
di: Lobski, Leo
Pubblicazione: (2025)

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

Dinaturality for Double Categories
di: Morehouse, Edward
Pubblicazione: (2026)

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

Affine Frobenius Brauer Categories
di: Samchuck-Schnarch, Saima
Pubblicazione: (2024)

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

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

Monoidal bicategories, differential linear logic, and analytic functors
di: Fiore, M., et al.
Pubblicazione: (2024)

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets
di: Ellerman, David
Pubblicazione: (2020)

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

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