Cover Image

Effectful Mealy Machines

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bonchi, Filippo, Di Lavore, Elena, Román, Mario
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Category Theory 18M35
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Partial Markov Categories
by: Di Lavore, Elena, et al.
Published: (2025)

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

Tape Diagrams for Monoidal Monads
by: Bonchi, Filippo, et al.
Published: (2025)

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

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

Monoidal Context Theory
by: Román, Mario
Published: (2024)

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

Monoidal Width
by: Di Lavore, Elena, et al.
Published: (2022)

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

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
by: Bonchi, Filippo, et al.
Published: (2024)

Diagrammatic Polyhedral Algebra
by: Bonchi, Filippo, et al.
Published: (2021)

Tapes as Stochastic Matrices of String Diagrams
by: Bonchi, Filippo, et al.
Published: (2026)

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

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

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

A computational method for left-adjointness
by: Forest, Simon
Published: (2024)

Dialectica Petri Nets
by: Di Lavore, Elena, et al.
Published: (2021)

Higher inductive types in $(\infty,1)$-categories
by: Uemura, Taichi
Published: (2024)

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

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

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

Monoidal categories graded by partial commutative monoids
by: Earnshaw, Matthew, et al.
Published: (2026)

Resourceful Traces for Commuting Processes
by: Earnshaw, Matthew, et al.
Published: (2025)

Polynomial Functors: A Mathematical Theory of Interaction
by: Niu, Nelson, et al.
Published: (2023)

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

Clones, closed categories, and combinatory logic
by: Saville, Philip
Published: (2024)

The Sup Connective in IMALL: A Categorical Semantics
by: Díaz-Caro, Alejandro, et al.
Published: (2022)

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

A Compositional Account of Generalized Reversible Computing
by: Chanavat, Clémence, et al.
Published: (2025)

Context, Judgement, Deduction
by: Coraglia, Greta, et al.
Published: (2021)

Hilbert spaces admit no finitary discrete imaginaries
by: Chen, Ruiyuan, et al.
Published: (2025)

Homotopical algebra is not concrete
by: Loregian, Fosco, et al.
Published: (2017)

Effectful Toposes and Their Lawvere-Tierney Topologies
by: Yamada, Rinta
Published: (2026)

Cubical coherent confluence, $ω$-groupoids and the cube equation
by: Malbos, Philippe, et al.
Published: (2025)

Nondeterministic Behaviours in Double Categorical Systems Theory
by: Wang, Paul Zhongpeng
Published: (2025)

From Copying to Corelations via Ancestry Partitions
by: Santacana, Andreu Ballus
Published: (2025)

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

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

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)