The paper investigates the construction of cofree coalgebras for 'unsorted signature morphisms'. Thanks to the perfect categorical duality between the traditional concept of equations and the concept of coequations developed in [14] we can fully take profit of the methodological power of Category Theory [2] and follow a clean three step strategy: Firstly, we analyse the traditional BIRKHOFF construction of free algebras and reformulate it in a systematic categorical way. Then, by dualizing the BIRKHOFF construction, we obtain, in a second step, corresponding results for cofree coalgebras. And, thirdly, we will interpret the new quot;abstract" categorical results in terms of more familiar concept. The analysis of a sample cofree construction will provide, finally, some suggestions concerning the potential rôle of cofree coalgebras in System Specifications. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Wolter, U. (2005). Cofree coalgebras for signature morphisms. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3393 LNCS, 275–290. https://doi.org/10.1007/978-3-540-31847-7_16
Mendeley helps you to discover research relevant for your work.