Dualizing Initial Algebras (2002)

Cached

Download Links

by Neil Ghani , Christoph Lüth , Federico de Marchi , John Power
Citations:1 - 1 self

Active Bibliography

6 Algebras, Coalgebras, Monads and Comonads – Neil Ghani, Christoph Lüth, Federico De Marchi, John Power - 2001
1 Finitary construction of free algebras for equational systems – Marcelo Fiore, Chung-kil Hur - 2008
7 Coalgebraic Monads – Neil Ghani, Christoph Lüth, Federico De Marchi - 2002
9 On Property-Like Structures – G. M. Kelly, Stephen Lack - 1997
1 Equational Systems and Free Constructions (Extended Abstract) – Marcelo Fiore, Chung-kil Hur
13 A Study of Categories of Algebras and Coalgebras – Jesse Hughes, Dana Scott Co-chair, Jeremy Avigad - 2001
5 On the construction of free algebras for equational systems – Marcelo Fiore, Chung-Kil Hur - 2009
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
10 Coalgebraic modal logic beyond Sets – Bartek Klin - 2007
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
6 Lax Naturality Through Enrichment – Yoshiki Kinoshita, John Power - 1995
4 A 2-categories companion – Stephen Lack
3 Coalgebras and modal logics for parameterised endofunctors – A. Kurz, D. Pattinson, Issn -x, Alexander Kurz, Dirk Pattinson - 2000
5 On specification logics for algebra-coalgebra structures: Reconciling reachability and observability – Corina Cîrstea - 2002
Presheaf models for the π-calculus – Ian Stark - 1997
Sketches – Yoshiki Kinoshita , John Power , Makoto Takeyama - 1999
11 The Coalgebraic Dual Of Birkhoff's Variety Theorem – Steve Awodey, Jesse Hughes - 2000
30 Semantical Principles in the Modal Logic of Coalgebraic – Dirk Pattinson
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power