Uniformly constructive monads

DOI10.1016/0022-4049(90)90146-9MaRDI QIDQ1174504zbMATH OpenOpenAlexFDO

Authors 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

adjunctionsmonadoverflowcategories of models over sketchesfinite natural numbers

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3955174 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 3738889 (Why is no real title available?)
• scientific article; zbMATH DE number 3771857 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3616640 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• A uniform approach to inductive posets and inductive closure
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On Mathematical Induction
• Parameterized Programming
• The Birkhoff variety theorem for continuous algebras

Cited in

(3)

• Monoidal categories with natural numbers object
• scientific article; zbMATH DE number 4059655 (Why is no real title available?)
• scientific article; zbMATH DE number 3955181 (Why is no real title available?)

This page was built for publication: Uniformly constructive monads

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