63 search results - page 8 / 13 » Algebras and Coalgebras |
FCT
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...
TLCA
1993
Springer
13 years 11 months ago
1993
Springer
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed λ-calculus with recursion and arithmetic, our logic is a logic for Sys...
ACS
2008
13 years 7 months ago
2008
We study the various categories of corings, coalgebras, and comodules from a categorical perspective. Emphesis is given to the question which properties of these categories can be...
CALCO
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...