Advertisement

Applied Categorical Structures

, Volume 21, Issue 3, pp 249–290 | Cite as

On Rational Pairings of Functors

  • Bachuki MesablishviliEmail author
  • Robert Wisbauer
Article
  • 100 Downloads

Abstract

In the theory of coalgebras C over a ring R, the rational functor relates the category \(_{C^*}{\mathbb{M}}\) of modules over the algebra C * (with convolution product) with the category \(^C{\mathbb{M}}\) of comodules over C. This is based on the pairing of the algebra C * with the coalgebra C provided by the evaluation map \({\rm ev}:C^*\otimes_R C\to R\). The (rationality) condition under consideration ensures that \(^C{\mathbb{M}}\) becomes a coreflective full subcategory of \(_{C^*}{\mathbb{M}}\). We generalise this situation by defining a pairing between endofunctors T and G on any category \({\mathbb{A}}\) as a map, natural in \(a,b\in {\mathbb{A}}\),
$$ \beta_{a,b}:{\mathbb{A}}(a, G(b)) \to {\mathbb{A}}(T(a),b), $$
and we call it rational if these all are injective. In case T = (T, m T , e T ) is a monad and G = (G, δ G , ε G ) is a comonad on \({\mathbb{A}}\), additional compatibility conditions are imposed on a pairing between T and G. If such a pairing is given and is rational, and T has a right adjoint monad T  ⋄ , we construct a rational functor as the functor-part of an idempotent comonad on the T-modules \({\mathbb{A}}_{T}\) which generalises the crucial properties of the rational functor for coalgebras. As a special case we consider pairings on monoidal categories.

Keywords

Rational module Rational functor (Idempotent) comonad 

Mathematics Subject Classifications (2010)

18C5 16T15 18C20 18D10 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abuhlail, J.Y.: Rational modules for corings. Commun. Algebra 31(12), 5793–5840 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  2. 2.
    Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)zbMATHCrossRefGoogle Scholar
  3. 3.
    Barr, M., Wells, C.: Toposes, Triples, and Theories. Grundlehren der Math. Wissenschaften, vol. 278. Springer (1985)Google Scholar
  4. 4.
    Bénabou, J.: Introduction to Bicategories. Lecture Notes in Mathematics, vol. 40, pp. 1–77 (1967)Google Scholar
  5. 5.
    Böhm, G., Brzeziński, T., Wisbauer, R.: Monads and comonads on module categories. J. Algebra 322, 1719–1747 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Börger, R., Tholen, W.: Abschwächungen des Adjunktionsbegriffs. Manuscr. Math. 19, 19–45 (1976)zbMATHCrossRefGoogle Scholar
  7. 7.
    Borceux, F.: Handbook of Categorical Algebra, vol. 2. Cambridge University Press, Cambridge (1994)CrossRefGoogle Scholar
  8. 8.
    Brzeziński, T., Wisbauer, R.: Corings and Comodules. London Math. Soc. LN, vol. 309. Cambridge University Press, Cambridge (2003)CrossRefGoogle Scholar
  9. 9.
    Clark, J., Wisbauer, R.: Idempotent monads and ⋆-functors. J. Pure Appl. Algebra 215(2), 145–153 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  10. 10.
    Dubuc, E.: Kan Extensions in Enriched Category Theory. LN Math, vol. 145. Springer (1970)Google Scholar
  11. 11.
    Eilenberg, S., Moore, J.: Adjoint functors and triples. Ill. J. Math. 9, 381–398 (1965)MathSciNetzbMATHGoogle Scholar
  12. 12.
    El Kaoutit, L., Gómez-Torrecillas, J.: Corings with exact rational functors and injective objects. In: Brzezinski, T., Gómez Pardo, J.L., Shestakov, I., Smith, P.F. (eds.) Modules and Comodules. Trends in Mathematics, pp. 185–201. Birkhäuser (2008)Google Scholar
  13. 13.
    El Kaoutit, L., Gómez-Torrecillas, J., Lobillo, F.J.: Semisimple corings. Algebra Colloq. 11, 427–442 (2004)MathSciNetzbMATHGoogle Scholar
  14. 14.
    Fisher-Palmquist, J., Newell, D.: Triples on functor categories. J. Algebra 25, 226–258 (1973)MathSciNetzbMATHCrossRefGoogle Scholar
  15. 15.
    Kainen, P.C.: Weak adjoint functors. Math. Z. 122, 1–9 (1971)MathSciNetzbMATHCrossRefGoogle Scholar
  16. 16.
    Kleiner, M.: Adjoint Monads and an isomorphism of the Kleisli categories. J. Algebra 133, 79–82 (1990)MathSciNetzbMATHCrossRefGoogle Scholar
  17. 17.
    MacLane, S.: Categories for the working mathematician. In: Graduate Texts in Mathematics, vol. 5. Springer, Berlin New York (1971)Google Scholar
  18. 18.
    Medvedev, M.Ya.: Semiadjoint functors and Kan extensions. Sib. Math. J. 15, 674–676 (1974). Translation from Sib. Mat. Zh. 15, 952–956 (1974)zbMATHCrossRefGoogle Scholar
  19. 19.
    Mesablishvili, B.: Entwining structures in monoidal categories. J. Algebra 319(6), 2496–2517 (2008)MathSciNetzbMATHCrossRefGoogle Scholar
  20. 20.
    Mesablishvili, B., Wisbauer, R.: Bimonads and Hopf monads on categories. J. K-Theory 7, 349–388 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  21. 21.
    Pareigis, B.: Kategorien und Funktoren. Mathematische Leitfäden. Teubner Verlag, Stuttgart (1969)Google Scholar
  22. 22.
    Rowe, K.: Nuclearity. Can. Math. Bull. 31, 227–235 (1988)MathSciNetzbMATHCrossRefGoogle Scholar
  23. 23.
    Schubert, H.: Categories. Springer, Berlin Heidelberg New York (1972)zbMATHCrossRefGoogle Scholar
  24. 24.
    Wisbauer, R.: Foundations of Module and Ring Theory. Gordon and Breach Science Publishers (1991)Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Razmadze Mathematical InstituteTbilisiRepublic of Georgia
  2. 2.Tbilisi Centre for Mathematical SciencesTbilisiRepublic of Georgia
  3. 3.Department of Mathematics of HHUDüsseldorfGermany

Personalised recommendations