scientific article; zbMATH DE number 6740664
From MaRDI portal
Publication:5274901
zbMath1374.18012MaRDI QIDQ5274901
Stefan Milius, Jiří Adámek, Jiří Velebil
Publication date: 7 July 2017
Full work available at URL: http://www.emis.de/journals/TAC/volumes/32/19/32-19abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Categories of algebras (08C05) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads
- Iterative algebras
- Bases for parametrized iterativity
- Unique fixed points vs. least fixed points
- On the algebraic structure of rooted trees
- On the monadicity of finitary monads
- Infinite trees and completely iterative theories: A coalgebraic view
- Some remarks on finitary and iterative monads
- Base modules for parametrized iterativity
- Algebras with parametrized iterativity
- Coequalizers and free triples
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- On absolute colimits
- Iterative algebras at work
- A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
- Generalizing Substitution
- On Double Dualization Monads.
- Parametric corecursion
This page was built for publication:
