Categorical semantics for arrows
From MaRDI portal
Recommendations
Cites work
- A new notation for arrows
- A small complete category
- Arrows for secure information flow
- Categorical logic and type theory
- Distributive laws for the coinductive solution of recursive equations
- Generalising monads to arrows
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 1952947 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 3195417 (Why is no real title available?)
- Modelling environments in call-by-value programming languages.
- On closed categories of functors
- Premonoidal categories and notions of computation
- Profunctors, open maps and bisimulation
- Structuring quantum effects: superoperators as arrows
- The formal theory of monads
- Traced Premonoidal Categories
Cited in
(33)- Generalising monads to arrows
- Reversible effects as inverse arrows
- A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
- Implication via spacetime
- Freyd categories are enriched Lawvere theories
- Arrows, like monads, are monoids
- Coalgebraic components in a many-sorted microcosm
- Categorifying computations into components via arrows as profunctors
- Commutative semantics for probabilistic programming
- Traces for coalgebraic components
- Relating idioms, arrows and monads from monoidal adjunctions
- Monads need not be endofunctors
- Quotienting the delay monad by weak bisimilarity
- Notions of computation as monoids
- What is a categorical model of arrows?
- Idioms are oblivious, arrows are meticulous, monads are promiscuous
- Monads need not be endofunctors
- A new notation for arrows
- scientific article; zbMATH DE number 3893383 (Why is no real title available?)
- The arrow calculus
- Type-n Arrow Categories
- Reversible monadic computing
- On structuring functional programs with monoidal profunctors
- Promonads and String Diagrams for Effectful Categories
- Duoidally enriched Freyd categories
- Cartesian effect categories are Freyd-categories
- Compositional reversible computation
- Optics for premonoidal categories
- The nerve theorem for relative monads
- Algebraic effects and handlers for arrows
- String diagrams for premonoidal categories
- On geometric implications
- Commutativity
This page was built for publication: Categorical semantics for arrows
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638922)
