Imagen de Portada

Order in Partial Markov Categories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Di Lavore, Elena, Román, Mario, Sobociński, Paweł, Széles, Márk
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science 18M05
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Partial Markov Categories
por: Di Lavore, Elena, et al.
Publicado: (2025)

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

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

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

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

Effectful Mealy Machines
por: Bonchi, Filippo, et al.
Publicado: (2024)

Monoidal Width
por: Di Lavore, Elena, et al.
Publicado: (2022)

Partializations of Markov categories
por: Mohammed, Areeb Shah
Publicado: (2025)

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

Dialectica Petri Nets
por: Di Lavore, Elena, et al.
Publicado: (2021)

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

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

Monoidal Context Theory
por: Román, Mario
Publicado: (2024)

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

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

Absolute continuity, supports and idempotent splitting in categorical probability
por: Fritz, Tobias, et al.
Publicado: (2023)

Markov Categories and Entropy
por: Perrone, Paolo
Publicado: (2022)

Parametric Iteration in Resource Theories
por: Di Giorgio, Alessandro, et al.
Publicado: (2025)

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

Diagrammatic Polyhedral Algebra
por: Bonchi, Filippo, et al.
Publicado: (2021)

The calculus of neo-Peircean relations
por: Bonchi, Filippo, et al.
Publicado: (2025)

Graded Monad Coalgebras for Continuous-Time Transition Systems
por: Di Lavore, Elena, et al.
Publicado: (2026)

Categorical probability spaces, ergodic decompositions, and transitions to equilibrium
por: Ensarguet, Noé, et al.
Publicado: (2023)

Axioms for the category of sets and relations
por: Kornell, Andre
Publicado: (2023)

Finite Groupoids, Finite Coverings and Symmetries in Finite Structures
por: Otto, Martin
Publicado: (2014)

A Diagrammatic Basis for Computer Programming
por: Bonchi, Filippo, et al.
Publicado: (2025)

A Diagrammatic Algebra for Program Logics
por: Bonchi, Filippo, et al.
Publicado: (2024)

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

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

Compositional Inference for Bayesian Networks and Causality
por: Jacobs, Bart, et al.
Publicado: (2025)

From Copying to Corelations via Ancestry Partitions
por: Santacana, Andreu Ballus
Publicado: (2025)

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

A Coalgebraic Model of Quantum Bisimulation
por: Ceragioli, Lorenzo, et al.
Publicado: (2025)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
por: Lobski, Leo, et al.
Publicado: (2026)

Decidability of Interpretability
por: Feller, Roman, et al.
Publicado: (2026)

Layered Monoidal Theories
por: Lobski, Leo
Publicado: (2025)

Graded Differential Categories and Graded Differential Linear Logic
por: Lemay, Jean-Simon Pacaud, et al.
Publicado: (2023)

Tape Diagrams for Monoidal Monads
por: Bonchi, Filippo, et al.
Publicado: (2025)

Categories of quantum cpos
por: Kornell, Andre, et al.
Publicado: (2024)

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