Abstract
The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad are the topic of study in this paper (following earlier work). It is illustrated how such coalgebras-on-algebras can be understood as bases, decomposing each element x into primitives elements from which x can be reconstructed via the operations of the algebra. This holds in particular for the free vector space monad, but also for other monads. For instance, continuous dcpos or stably continuous frames, where each element is the join of the elements way below it, can be described as such coalgebras. Further, it is shown how these coalgebras-on-algebras give rise to a comonoid structure for copy and delete, and thus to diagonalisation of endomaps like in linear algebra.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abramsky, S., Heunen, C.: H ⋆ -algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics (2010), arxiv.org/abs/1011.6123
Banaschewski, B., Brümmer, G.: Stably continuous frames. Math. Proc. Cambridge Phil. Soc. 114, 7–19 (1988)
Barr, M.: Coalgebras in a category of algebras. In: Category Theory, Homology Theory and their Applications I. Lect. Notes Math., vol. 86, pp. 1–12. Springer, Berlin (1969)
Borceux, F.: Handbook of Categorical Algebra. Encyclopedia of Mathematics, vol. 50, 51, 52. Cambridge Univ. Press, Cambridge (1994)
Coecke, B., Pavlović, D., Vicary, J.: A new description of orthogonal bases. Math. Struct. in Comp. Sci. (to appear), arxiv.org/abs/0810.0812
Coumans, D., Jacobs, B.: Scalars, monads and categories (2010), http://arxiv.org/abs/1003.0585
Escardó, M.: Properly injective spaces and function spaces. Topology and its Applications 98(1-2), 75–120 (1999)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.: Continuous Lattices and Domains. Encyclopedia of Mathematics, vol. 93. Cambridge Univ. Press, Cambridge (2003)
Hoffmann, R.-E.: Continuous posets and adjoint sequences. Semigroup Forum 18, 173–188 (1979)
Jacobs, B.: Coalgebras and approximation. In: Nerode, A., Matiyasevich, Y.V. (eds.) Logical Foundations of Computer Science. LNCS, vol. 813, pp. 173–183. Springer, Berlin (1994)
Johnstone, P.T. (ed.): Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge Univ. Press, Cambridge (1982)
Kock, A.: Bilinearity and cartesian closed monads. Math. Scand. 29, 161–174 (1971)
Kock, A.: Closed categories generated by commutative monads. Journ. Austr. Math. Soc. XII, 405–424 (1971)
Kock, A.: Monads for which structures are adjoint to units. Journ. of Pure & Appl. Algebra 104, 41–59 (1995)
Mesablishvili, B.: Monads of effective descent type and comonadicity. Theory and Applications of Categories 16(1), 1–45 (2006)
Moggi, E.: Partial morphisms in categories of effective objects. Inf. & Comp. 76(2/3), 250–277 (1988)
Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge Univ. Press, Cambridge (2000)
Rosebrugh, R., Wood, R.J.: Constructive complete distributivity II. Math. Proc. Cambridge Phil. Soc. 10, 245–249 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jacobs, B. (2011). Bases as Coalgebras. In: Corradini, A., Klin, B., Cîrstea, C. (eds) Algebra and Coalgebra in Computer Science. CALCO 2011. Lecture Notes in Computer Science, vol 6859. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22944-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-22944-2_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22943-5
Online ISBN: 978-3-642-22944-2
eBook Packages: Computer ScienceComputer Science (R0)