Premonoidal categories and notions of computation
From MaRDI portal
Publication:4366773
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)
Recommendations
Cited in
(65)- Monad transformers as monoid transformers
- Normalization by evaluation and algebraic effects
- A representable approach to finite nondeterminism
- Game theoretic analysis of call-by-value computation
- Dynamic connectors for concurrency
- Regular planar monoidal languages
- Bayesian strategies: probabilistic programs as generalised graphical models
- On the semantics of parsing actions
- Semantics of value recursion for Monadic Input/Output
- Resource modalities in tensor logic
- LNL polycategories and doctrines of linear logic
- On the Pre- and Promonoidal Structure of Spacetime
- Promonads and String Diagrams for Effectful Categories
- Comonadic notions of computation
- Freyd categories are enriched Lawvere theories
- Categorifying computations into components via arrows as profunctors
- Models for the computational \(\lambda\)-calculus
- scientific article; zbMATH DE number 4068864 (Why is no real title available?)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Polarized games
- Game-theoretic analysis of call-by-value computation
- Modelling environments in call-by-value programming languages.
- Proof theory in the abstract
- Generic models for computational effects
- From global to local state, coalgebraically and compositionally
- Commutativity
- Parameterised notions of computation
- 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
- Premonoidal categories as categories with algebraic structure
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- The arrow calculus
- Von Neumann categories
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- An algebraic foundation for graph-based diagrams in computing
- A categorical semantics of higher order store
- Partial recursive functions and finality
- What is a categorical model of arrows?
- Axiomatics for data refinement in call by value programming languages
- On the call-by-value CPS transform and its semantics
- Pseudo-commutative monads
- Elements of a theory of algebraic theories
- Coalgebraic components in a many-sorted microcosm
- 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
- Models of a non-associative composition
- A Semantical Approach to Equilibria and Rationality
- DisCoPy: monoidal categories in Python
- The category of 3-computads is not cartesian closed
- scientific article; zbMATH DE number 7324076 (Why is no real title available?)
- Categorical semantics for arrows
- Cartesian effect categories are Freyd-categories
- An abstract monadic semantics for value recursion
- A representation result for free cocompletions
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
- Elementary control structures
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)
