Uniformly constructive monads

DOI10.1016/0022-4049(90)90146-9zbMath0751.18005OpenAlexW2091977599MaRDI QIDQ1174504

S. Singh

Publication date: 25 June 1992

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(90)90146-9

zbMATH Keywords

monadadjunctionsoverflowcategories of models over sketchesfinite natural numbers

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Abstract data types; algebraic specification (68Q65) Equational categories (18C05) Categories of algebras (08C05) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Cites Work

• A uniform approach to inductive posets and inductive closure
• The Birkhoff variety theorem for continuous algebras
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Parameterized Programming
• On Mathematical Induction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Uniformly constructive monads