8 search results - page 2 / 2 » Recursive coalgebras from comonads |
ACS
2008
13 years 5 months ago
2008
Algebras and coalgebras are fundamental notions for large parts of mathematics. The basic constructions from universal algebra are now expressed in the language of categories and ...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
This paper is a contribution to the study of uniformity conditions for endofunctors on sets initiated in Aczel [1] and pursued later in other works such as Turi [17]. The main res...
MSCS
2006
13 years 4 months ago
2006
This paper revisits the authors' notion of a differential category from a different perspective. A differential category is an additive symmetric monoidal category with a como...