Sciweavers

74 search results - page 8 / 15
» Algebras Versus Coalgebras
Sort
View
ACS
2008
14 years 9 months ago
Fundamental Constructions for Coalgebras, Corings, and Comodules
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...
Hans-E. Porst
74
Voted
FCT
2001
Springer
15 years 1 months ago
Universal Algebra and Computer Science
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...
Boris I. Plotkin, Tanya Plotkin
CORR
2006
Springer
120views Education» more  CORR 2006»
14 years 9 months ago
Logic Column 15: Coalgebras and Their Logics
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...
Alexander Kurz
82
Voted
CALCO
2009
Springer
159views Mathematics» more  CALCO 2009»
15 years 4 months ago
Complete Iterativity for Algebras with Effects
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 ...
Stefan Milius, Thorsten Palm, Daniel Schwencke
CALCO
2005
Springer
98views Mathematics» more  CALCO 2005»
15 years 3 months ago
The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...
Bartek Klin