×

On the notion of pseudocategory internal to a category with a 2-cell structure. (English) Zbl 1328.18006

The main purpose of this paper is to define a point of departure for a systematic study of internal categorical structures in a category with a given \(2\)-cell structure (or sesquicategory), and also to investigate how these categorical structures are changed when the given \(2\)-cell structure over the base category varies. More concretely, in this work we can find an extension of the notion of pseudocategory internal to a \(2\)-category to the more general setting of a pseudocategory internal to a sesquicategory. The article is organized as follows. In section 2, the author recalls the notions of internal (pre)category, internal (pre)functor and internal (natural) transformation and also introduce some useful notation. In section 3, he considers an arbitrary fixed category, \(\mathbf{C}\), and define a 2-cell structure over it, as to make it a sesquicategory. In this section we can find a characterization of that structure as a family of sets, together with maps and actions, satisfying some conditions that generalizes the description of \(2\)-Ab-categories as families of abelian groups, together with group homomorphisms and laws of composition, which may be found in two previous papers of the same author: [in: Galois theory, Hopf algebras, and semiabelian categories. Papers from the workshop on categorical structures for descent and Galois theory, Hopf algebras, and semiabelian categories, Toronto, ON, Canada, September 23–28, 2002. . 387–410 (2004; Zbl 1067.18005); Appl. Categ. Struct. 18, No. 3, 309–342 (2010; Zbl 1206.18005)]. Section 4 is devoted to introduce some necessary ingredients, i.e., the notions of cartesian square with respect to a specified \(2\)-cell structure, and the notions of natural and invertible \(2\)-cell structures. Section 5 is dedicated to examples and section 6 is the one where we can find the notion of pseudocategory internal to a sesquicategory. The main example presented by the author is the study of pseudocategories in the sesquicategory of abelian chain complexes with homotopies as 2-cells. Finally, it is interesting to point out that, using the analogy between geometric vectors in the plane and \(2\)-cells between morphisms, in this paper the author introduce a different notation for the vertical composition of \(2\)-cells: instead the usual dot \(\cdot \)’ or \(\bullet\)’, he used \(+\)’.

MSC:

18D05 Double categories, \(2\)-categories, bicategories and generalizations (MSC2010)
18D35 Structured objects in a category (MSC2010)
18E05 Preadditive, additive categories

References:

[1] [1] D. Bourn, Another denormalization theorem for the abelian chain complexes, J. Pure and Applied Algebra 66 (1990) 229-249.; · Zbl 0716.18003
[2] R. Brown and Ph. J. Higgins, Cubical Abelian Groups with Connections are Equivalent to Chain Complexes, Homology, Homotopy and Applications 5 n. 1 (2003) 49-52.; · Zbl 1025.18006
[3] S. E. Crans, A tensor product for Gray-categories, Theory and Applications of Categories 5 n. 2 (1999) 12-69.; · Zbl 0914.18006
[4] M. Grandis and R. Paré, Limits in double categories, Cahiers de Topologie et Géométrie Différentielle Catégoriques 40 (1999) 162-220.; · Zbl 0939.18007
[5] M. Grandis and R. Paré, Adjoints for double categories, Cahiers de Topologie et Géométrie Différentielle Catégoriques 45 (2004) 193-240.; · Zbl 1063.18002
[6] J. W. Gray, Formal Category Theory: Adjointness for 2-categories, Lecture Notes in Mathe- matics 391, Springer-Verlag, 1974.; · Zbl 0285.18006
[7] G. Janelidze, Precategories and Galois theory, Lecture Notes in Mathematics 1488, Springer- Verlag (1991) 157-173.; · Zbl 0754.18002
[8] T. Leinster, Higher Operads, Higher Categories, London Mathematical Society Lecture Notes 298, Cambridge University Press, 2004.; · Zbl 1160.18001
[9] S. Mac Lane, Categories for the Working Mathematician, 2nd edition, Springer-Verlag, 1998.; · Zbl 0906.18001
[10] N. Martins-Ferreira, Weak Categories in Additive 2-Categories with Kernels, Galois Theory, Hopf Algebras, and Semiabelian Categories, Fields Institute Communications 43 (2004) 387- 410.; · Zbl 1067.18005
[11] N. Martins-Ferreira, Pseudo-categories, Journal of Homotopy and Related Structures 1 n. 1 (2006) 47-78.; · Zbl 1125.18005
[12] N. Martins-Ferreira, The (tetra)category of pseudocategories in additive 2-categories with ker- nels, Applied Categorical Structures 18 n. 3 (2010) 309-342.; · Zbl 1206.18005
[13] N. Martins-Ferreira, Weakly Mal’cev categories, Theory and Applications of Categories 21 n. 6 (2008) 91-117.; · Zbl 1166.18005
[14] N. Martins-Ferreira, Low-dimensional internal categorial structures in weakly Mal’cev sesqui- categories, PhD Thesis, University of Cape Town, 2008.;
[15] N. Martins-Ferreira, On pseudocategories in a category with a 2-cell structure, arXiv: 0902.3626v1, 2009.;
[16] N. Martins-Ferreira, Internal bicategories in groups, submitted.; · Zbl 1425.18001
[17] R. Street, Cosmoi of internal categories, Transactions of the American Mathematical Society 258 (1980) 271-318.; · Zbl 0393.18009
[18] R. Street, Fibrations in Bicategories, Cahiers de Topologie et Géométrie Différentielle Catégo- riques 21 (1980) 111-160.; · Zbl 0436.18005
[19] R. Street, Categorical Structures, Handbook of Algebra 1, North-Holland (1996) 529-577.; · Zbl 0854.18001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.