Skip to main content
×
Home
    • Aa
    • Aa

Model theory of comodules

  • Septimiu Crivei (a1), Mike Prest (a2) and Geert Reynders (a3)
  • DOI: http://dx.doi.org/10.2178/jsl/1080938832
  • Published online: 12 March 2014
Abstract

The purpose of this paper is to establish some basic points in the model theory of comodules over a coalgebra. It is not even immediately apparent that there is a model theory of comodules since these are not structures in the usual sense of model theory. Let us give the definitions right away so that the reader can see what we mean.

Fix a field k. A k-coalgebra C is a k-vector space equipped with a k-linear map Δ: CCC, called the comultiplication (by ⊗ we always mean tensor product over k), and a k-linear map ε: Ck, called the counit, such that Δ⊗1C = 1C ⊗ Δ (coassociativity) and (1Cε)Δ = 1C = (ε ⊗ 1C)Δ, where we identify C with both kC and Ck. These definitions are literally the duals of those for a k-algebra: express the axioms for C′ to be a k-algebra in terms of the multiplication map μ: C′ ⊗ C′ → C′ and the “unit” (embedding of k into C′), δ: kC′ in the form that certain diagrams commute and then just turn round all the arrows. See [5] or more recent references such as [7] for more.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[1]J. Adámek and J. Rosický , Locally presentable and accessible categories, London Mathematical Society Lecture Note Series, vol. 189, Cambridge University Press, 1994.

[2]W. Crawley-Boevey , Locally finitely presented additive categories, Communications in Algebra, vol. 22 (1994), pp. 16411674.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×