scientific article; zbMATH DE number 431766

MaRDI QIDQ3138542zbMATH OpenFDO

Authors Max Kelly

Publication date 6 June 1994

zbMATH Keywords

2-categoriescategory of monoidscategory with finite limitsclubdata-type constructorsenriched categoriesfactorization systemlistmonadmonoidal categorysymmetric monoidal closed categories

Mathematics Subject Classification ID

Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Categorical aspects of data type constructors
• scientific article; zbMATH DE number 1722656
• On the Implementation of Construction Functions for Non-free Concrete Data Types
• On the implementation of abstract data types by programming language constructs
• scientific article; zbMATH DE number 3898212
• scientific article; zbMATH DE number 1292292
• Computer Science Logic
• Types for Proofs and Programs
• On lists and other abstract data types in the calculus of constructions
• scientific article; zbMATH DE number 1512607

Cited in

(17)

• Uniformly constructive monads
• Fibrations and partial products in a 2-category
• Variations on the bagdomain theme
• The universal property of the multitude of trees
• Higher dimensional categories: induction on extensivity
• Polycategories via pseudo-distributive laws
• Operads within monoidal pseudo algebras
• An Australian conspectus of higher categories
• Double clubs
• scientific article; zbMATH DE number 3936526 (Why is no real title available?)
• scientific article; zbMATH DE number 6981655 (Why is no real title available?)
• A unified framework for notions of algebraic theory
• Quotients, inductive types, and quotient inductive types
• Decomposing Comonad Morphisms.
• Canonical Gradings of Monads
• Tail recursion through universal invariants
• -weak equivalences between weak -categories

This page was built for publication:

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