List Objects with Algebraic Structure

DOI10.4230/LIPICS.FSCD.2017.16MaRDI QIDQ5111312zbMATH OpenOpenAlexFDO

Authors Philip Saville, Marcelo P. Fiore

Publication date 26 May 2020

Full work available at URL https://doi.org/10.4230/LIPIcs.FSCD.2017.16

zbMATH Keywords

Cartesian algebraic theoryfree monoidHaskell monad type classlinear algebraic theorylist objectnear semiringopetopesecond-order algebraic theorystrong monad

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1223633
• scientific article; zbMATH DE number 139984
• Three-dimensional monad theory

Cites work

• A divertimento on MonadPlus and nondeterminism
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Algebraic specification of data types: A synthetic approach
• Algebras for combinatorial search
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• An equational metalogic for monadic equational systems
• Axiomatic Domain Theory in Categories of Partial Maps
• Bilinearity and Cartesian Closed Monads.
• Categorical fixed point calculus
• Eilenberg-Moore monoids and backtracking monad transformers
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Homotopy-everything 𝐻-spaces
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 5695342 (Why is no real title available?)
• scientific article; zbMATH DE number 3944108 (Why is no real title available?)
• scientific article; zbMATH DE number 3989612 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 521219 (Why is no real title available?)
• scientific article; zbMATH DE number 1373521 (Why is no real title available?)
• scientific article; zbMATH DE number 4122189 (Why is no real title available?)
• scientific article; zbMATH DE number 3265861 (Why is no real title available?)
• Linear Recursive Functions
• List-arithmetic distributive categories: Locoi
• Modular Monad Transformers
• Modules over Monads and Linearity
• Monads and monoids on symmetric monoidal closed categories
• Monoidal categories with natural numbers object
• On the construction of free algebras for equational systems
• Operads and PROPs
• Polynomial functors and opetopes
• Primitive recursive functions
• Second-Order Equational Logic (Extended Abstract)
• Strong functors and monoidal monads
• The geometry of iterated loop spaces
• The web monoid and opetopic sets

Cited in

(7)

• Actads
• Relating idioms, arrows and monads from monoidal adjunctions
• A categorical framework for congruence of applicative bisimilarity in higher-order languages
• Modular specification of monads through higher-order presentations
• Modules over monads and operational semantics (expanded version)
• scientific article; zbMATH DE number 7779295 (Why is no real title available?)
• An algebraic theory for shared-state concurrency

This page was built for publication: List Objects with Algebraic Structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111312)