scientific article
From MaRDI portal
Publication:3138542
zbMath0789.18007MaRDI QIDQ3138542
Publication date: 6 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
list2-categoriesmonoidal categoryfactorization systemmonadclubenriched categoriessymmetric monoidal closed categoriescategory with finite limitscategory of monoidsdata-type constructors
Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (14)
Higher dimensional categories: induction on extensivity ⋮ A unified framework for notions of algebraic theory ⋮ Variations on the bagdomain theme ⋮ Canonical Gradings of Monads ⋮ Polycategories via pseudo-distributive laws ⋮ Operads within monoidal pseudo algebras ⋮ Decomposing Comonad Morphisms. ⋮ Unnamed Item ⋮ Tail recursion through universal invariants ⋮ Unnamed Item ⋮ Unnamed Item ⋮ An Australian Conspectus of Higher Categories ⋮ The universal property of the multitude of trees ⋮ Fibrations and partial products in a 2-category
This page was built for publication:
