A characterization of the natural isomorphism of bifunctors
Keywords:Categories, functor, natural transformation, natural isomorphism, bifunctor
We are going to characterize the natural isomorphism between the bifunctors of the examples 2.13 and 2.14, for that it is enough to show that η and ζ of the lemma 3.1 are natural isomorphisms.
Riehl E. Category Theory in Context.Department of Mathematics, Johns Hopkins University, 2016. Recuperado de http://www.math.jhu.edu/˜eriehl/context.pdf
MacLane S. Categories for the working mathematician. Second Ed, Departament of Mathematics, University of Chicago. Springer - Verlag, 1998. Recuperado de http://www.mtm.ufsc.br/ebatista/2016-2/maclanecat.pdf
Adámek J, Herrlich H, Strecker GE. Abstract and Concrete Categories The Joy of Cats. KatMAT Seminar, University of Bremen, 2004. Recuperado de http://katmat.math.uni-bremen.de/acc/acc.pdf
How to Cite
Copyright (c) 2023 Selecciones Matemáticas
This work is licensed under a Creative Commons Attribution 4.0 International License.
The authors who publish in this journal accept the following conditions:
1. The authors retain the copyright and assign to the journal the right of the first publication, with the work registered with the Creative Commons Attribution License,Atribución 4.0 Internacional (CC BY 4.0) which allows third parties to use what is published whenever they mention the authorship of the work And to the first publication in this magazine.
2. Authors may make other independent and additional contractual arrangements for non-exclusive distribution of the version of the article published in this journal (eg, include it in an institutional repository or publish it in a book) provided they clearly state that The paper was first published in this journal.
3. Authors are encouraged to publish their work on the Internet (for example, on institutional or personal pages) before and during the review and publication process, as it can lead to productive exchanges and to a greater and more rapid dissemination Of the published work.