scientific article; zbMATH DE number 431766

MaRDI QIDQ3138542zbMATH OpenFDO

Authors Max Kelly

Publication date 6 June 1994

zbMATH Keywords

listclubmonadenriched categoriesmonoidal category2-categoriesfactorization systemsymmetric monoidal closed categoriescategory with finite limitscategory of monoidsdata-type constructors

Mathematics Subject Classification ID

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

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

(15)

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

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)