Premonoidal categories and notions of computation
DOI10.1017/S0960129597002375zbMATH Open0897.18002OpenAlexW2101416179MaRDI QIDQ4366773FDOQ4366773
Authors: Edmund P. Robinson, John Power 
Publication date: 1 October 1998
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129597002375
Recommendations
fibrationcomputationmonaddenotational semanticspremonoidal categorysequential composition of programs
Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55) Fibered categories (18D30)
Cited In (65)
- Monad transformers as monoid transformers
- Game theoretic analysis of call-by-value computation
- Normalization by evaluation and algebraic effects
- A representable approach to finite nondeterminism
- Dynamic connectors for concurrency
- On the semantics of parsing actions
- Bayesian strategies: probabilistic programs as generalised graphical models
- Semantics of value recursion for Monadic Input/Output
- LNL polycategories and doctrines of linear logic
- Resource modalities in tensor logic
- Comonadic notions of computation
- Freyd categories are enriched Lawvere theories
- Models for the computational \(\lambda\)-calculus
- Categorifying computations into components via arrows as profunctors
- Polarized games
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Game-theoretic analysis of call-by-value computation
- Proof theory in the abstract
- Modelling environments in call-by-value programming languages.
- From global to local state, coalgebraically and compositionally
- Generic models for computational effects
- Parameterised notions of computation
- Commutativity
- Icons
- On the algebraic structure of declarative programming languages
- Duoidally enriched Freyd categories
- Composing dinatural transformations: towards a calculus of substitution
- Applicative programming with effects
- A game semantics of names and pointers
- Eilenberg-Kelly reloaded
- The arrow calculus
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- Premonoidal categories as categories with algebraic structure
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- An algebraic foundation for graph-based diagrams in computing
- Von Neumann categories
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- A categorical semantics of higher order store
- Partial recursive functions and finality
- What is a categorical model of arrows?
- Pseudo-commutative monads
- Coalgebraic components in a many-sorted microcosm
- On the call-by-value CPS transform and its semantics
- Elements of a theory of algebraic theories
- Equilogical spaces and algebras for a double-power monad
- A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations
- GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs
- Normal forms for algebras of connections.
- Traced Premonoidal Categories
- DisCoPy: monoidal categories in Python
- Title not available (Why is that?)
- A Semantical Approach to Equilibria and Rationality
- The category of 3-computads is not cartesian closed
- Categorical semantics for arrows
- An abstract monadic semantics for value recursion
- Cartesian effect categories are Freyd-categories
- Elementary control structures
- A representation result for free cocompletions
- Regular planar monoidal languages
- On the Pre- and Promonoidal Structure of Spacetime
- Promonads and String Diagrams for Effectful Categories
- Title not available (Why is that?)
- Axiomatics for data refinement in call by value programming languages
- Models of a non-associative composition
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
This page was built for publication: Premonoidal categories and notions of computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4366773)
