Equational presentations of functors and monads

DOI10.1017/S0960129510000575zbMath1235.18003OpenAlexW1986531708MaRDI QIDQ3005991

Jiří Velebil, Alexander Kurz

Publication date: 10 June 2011

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129510000575

zbMATH Keywords

monadsfunctorsnominal setsequational presentationmonadic categoryfinitely based monads

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (6)

On a categorical framework for coalgebraic modal logic ⋮ Coalgebraic Completeness-via-Canonicity ⋮ Unnamed Item ⋮ Extending set functors to generalised metric spaces ⋮ On finitary functors and their presentations ⋮ Lax extensions of coalgebra functors and their logic

Cites Work

• Unnamed Item
• Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
• About permutation algebras, (pre)sheaves and named sets
• Comparing operational models of name-passing process calculi
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Nominal Equational Logic
• Presentation of Set Functors: A Coalgebraic Perspective
• On universal algebra over nominal sets
• Nominal Algebra and the HSP Theorem

This page was built for publication: Equational presentations of functors and monads