Naturally full functors in nature.

DOI10.1007/S10114-005-0561-1MaRDI QIDQ2431911zbMATH OpenOpenAlexFDO

Authors Alessandro Ardizzoni, Gigel Militaru, Claudia Menini, Stefaan Caenepeel

Publication date 24 October 2006

Published in Acta Mathematica Sinica, English Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0311378

zbMATH Keywords

categories of comodulescoringsfaithful functorsfull functorsmodule categoriesnatural transformationsseparable functors

Mathematics Subject Classification ID

Module categories in associative algebras (16D90) Special properties of functors (faithful, full, etc.) (18A22) Special categories (18B99)

Abstract: We introduce and discuss the notion of naturally full functor. The definition is similar to the definition of separable functor: a naturally full functor is a functorial version of a full functor, while a separable functor is a functorial version of a faithful functor. We study general properties of naturally full functors. We also discuss when functors between module categories and between categories of comodules over a coring are naturally full.

Review text

Let \(F\colon{\mathcal C}\to{\mathcal D}\) be a functor, and let \({\mathcal F}\colon\Hom_{\mathcal C}(\cdot,\cdot)\to\Hom_{\mathcal D}(F(\cdot),F(\cdot))\) be the natural transformation taking \(f\) to \(F(f)\). The functor \(F\) is called naturally full if \(\mathcal F\) has a right inverse. General properties of naturally full functors are presented, and criteria for adjoint functors to be naturally full are given. Several examples are given, including restriction and extension of scalars functors for categories of modules, and functors associated to categories of comodules over corings.

Recommendations

• scientific article; zbMATH DE number 721759
• scientific article; zbMATH DE number 2016276
• On the fullness of certain functors
• scientific article; zbMATH DE number 800229
• Calculus of functorial morphisms

Cites work

• Are biseparable extensions Frobenius?
• Comatrix corings: Galois corings, descent theory, and a structure theorem for cosemisimple corings.
• Doi-Hopf modules, Yetter-Drinfel’d modules and Frobenius type properties
• Frobenius and separable functors for generalized module categories and nonlinear equations
• Galois theory for comatrix corings: Descent theory, Morita theory, Frobenius and separability properties
• scientific article; zbMATH DE number 1993749 (Why is no real title available?)
• scientific article; zbMATH DE number 2152031 (Why is no real title available?)
• On comatrix corings and bimodules.
• Rings and modules of quotients
• Separable functors applied to graded rings
• Separable functors for the category of Doi-Hopf modules, applications
• Separable functors in corings
• Separable functors revisited
• The Predual Theorem to the Jacobson-Bourbaki Theorem
• The structure of corings: induction functors, Maschke-type theorem, and Frobenius and Galois-type properties

Cited in

(7)

• Eilenberg-Moore and Kleisli type categories for bimonads on arbitrary categories
• scientific article; zbMATH DE number 721759 (Why is no real title available?)
• Baer-Kaplansky classes in categories: transfer via functors
• Semiseparable functors
• Semiseparable functors and conditions up to retracts
• On (naturally) semifull and (semi)separable semifunctors
• Semiseparability of induction functors in a monoidal category

This page was built for publication: Naturally full functors in nature.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2431911)