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

free monoidopetopelist objectnear semiringstrong monadsecond-order algebraic theoryCartesian algebraic theoryHaskell monad type classlinear algebraic theory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) 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

• 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?)
• A divertimento on MonadPlus and nondeterminism
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Algebraic specification of data types: A synthetic approach
• Algebras for combinatorial search
• 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
• 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)

• scientific article; zbMATH DE number 7559272 (Why is no real title available?)
• scientific article; zbMATH DE number 7447764 (Why is no real title available?)
• scientific article; zbMATH DE number 7779295 (Why is no real title available?)
• scientific article; zbMATH DE number 7577567 (Why is no real title available?)
• Actads
• An algebraic theory for shared-state concurrency
• A categorical framework for congruence of applicative bisimilarity in higher-order languages

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)