Algebras, Coalgebras, Monads and Comonads (2001)

Cached

Download Links

by Neil Ghani , Christoph Lüth , Federico De Marchi , John Power
Citations:6 - 3 self

Documents Related by Co-Citation

28 The algebraic structure of rooted trees – C Elgot, S L Bloom, R Tindell - 1978
14 A Coalgebraic View of Infinite Trees and Iteration – P Aczel, J Adámek, J Velebil - 2001
19 Free iterative theories: a coalgebraic view – J Adámek, S Milius, J Velebil
142 Fundamental properties of infinite trees – Bruno Courcelle - 1983
19 A presentation of topoi as algebraic relative to categories or graphs – E J Dubuc, G M Kelly - 1983
20 Monads and Modular Term Rewriting – Christoph Lüth, Neil Ghani - 1997
41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
196 Locally Presentable and Accessible Categories – Adámek, Rosicky - 1994
58 Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads, Journal of pure and applied algebra 89 – M Kelly, J Power - 1993
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
23 Locally presentable and accessible categories. Number 189 – J Adamek, J Rosicky - 1994
142 Abstract syntax and variable binding – M P Fiore, G D Plotkin, D Turi - 1999
477 Categories for the Working Mathematician – S MacLane - 1971
71 Categories for the Working – S Mac Lane - 1998
11 Dualising initial algebras – N Ghani, C Lüth, F De Marchi, A J Power
3 The Coalgebraic Treatment of Second-Order Substitution and Uninterpreted Recursive Program Schemes, preprint – L S Moss - 2002
5 On the greatest fixed point of a set functor, Theoret – J Adámek, V Koubek - 1995
3 Terminal Coalgebras and Free Iterative Theories – J Adámek, S Milius
2 On coalgebra based on classes, Theoret – J Adámek, S Milius, J Velebil