Algebras, Coalgebras, Monads and Comonads (2001)

Cached

Download Links

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

Active Bibliography

1 Dualizing Initial Algebras – Neil Ghani, Christoph Lüth, Federico de Marchi, John Power - 2002
13 A Study of Categories of Algebras and Coalgebras – Jesse Hughes, Dana Scott Co-chair, Jeremy Avigad - 2001
1 Equational Systems and Free Constructions (Extended Abstract) – Marcelo Fiore, Chung-kil Hur
7 Coalgebraic Monads – Neil Ghani, Christoph Lüth, Federico De Marchi - 2002
9 On Property-Like Structures – G. M. Kelly, Stephen Lack - 1997
5 On the construction of free algebras for equational systems – Marcelo Fiore, Chung-Kil Hur - 2009
1 Finitary construction of free algebras for equational systems – Marcelo Fiore, Chung-kil Hur - 2008
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
7 Monads and Modularity – Christoph Lüth, Neil Ghani
12 Categorical Term Rewriting: Monads and Modularity – Christoph Lüth - 1998
6 Lax Naturality Through Enrichment – Yoshiki Kinoshita, John Power - 1995
4 A 2-categories companion – Stephen Lack
30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
Semantic Principles in the . . . – Dirk Pattinson - 2001
4 Categorical Equational Systems: Algebraic Models and Equational Reasoning – Chung-kil Hur - 2010
Presheaf models for the π-calculus – Ian Stark - 1997
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
Languages, Theory – Neil Ghani, Tarmo Uustalu
1 Abstract Modularity – Michael Abbott, Neil Ghani, Christoph Lüth - 2005