Introduction to Ann-categories

Tien Quang Nguyen

DOI: https://doi.org/10.48550/arXiv.math/0702588

2007-02-20

Category Theory

Abstract:In this paper, we present new concepts of Ann-categories, Ann-functors, and a transmission of the structure of categories based on Ann-equivalences. We build Ann-category of Pic-funtors and prove that each Ann-category can be faithfully embedded into an almost strictly Ann-category.

What problem does this paper attempt to address?

Structure of Ann-categories

Nguyen Tien Quang

DOI: https://doi.org/10.48550/arXiv.0805.1505

2008-05-11

Category Theory

Abstract:Each Ann-category $\A$ is equivalent to an Ann-category of the type $(R,M),$ where $M$ is an $R$-bimodule. The family of constraints of $A$ induces a {\it structure} on $(R,M).$ The main result of the paper is: 1. {\it There exists a bijection between the set of structures on $(R,M)$ and the group of Mac Lane 3-cocycles $Z^{3}_{MaL}(R, M).$} 2. {\it There exists a bijection between $C(R,M)$ of congruence classes of Ann-categories whose pre-stick is of the type $(R,M)$ and the Mac Lane cohomology group $H^3_{\textrm{MaL}}(R,M).$}
Structure of Ann-categories and Mac Lane - Shukla cohomology

Nguyen Tien Quang

DOI: https://doi.org/10.48550/arXiv.0708.3308

2007-08-24

Category Theory

Abstract:In this paper we study the structure of a class of categories having two operations which satisfy axioms analoguos to that of rings. Such categories are called "Ann - categories". We obtain the classification theorems for regular Ann - categories and Ann - functors by using Mac Lane - Shukla cohomology of rings. These results give new interpretations of the cohomology groups and of the rings
On the Axiomatics of Ann-Categories

Nguyen Tien Quang,D. D. Hanh,N. T. Thuy

DOI: https://doi.org/10.48550/arXiv.0711.3659

2007-11-23

Category Theory

Abstract:In this paper, we have studied the axiomatics of {\it Ann-categories} and {\it categorical rings.} These are the categories with distributivity constraints whose axiomatics are similar with those of ring structures. The main result we have achieved is proving the independence of the axiomatics of Ann-category definition. And then we have proved that after adding an axiom into the definition of categorical rings, we obtain the new axiomatics which is equivalent to the one of Ann-categories.
Cohomological Classification of Ann-categories

Nguyen Tien Quang

DOI: https://doi.org/10.48550/arXiv.1105.5187

2011-05-26

Category Theory

Abstract:The notion of Ann-categories is a categorification of the ring structure. Regular Ann-categories were classified by Shukla algebraic cohomology. In this article, we state and prove the precise theorem on classification for the general case due to Mac Lane cohomology for rings. And an application for classification problem of ring extensions is also introduced.
On the categorical interpretation of ring cohomology

N.T.Quang,N.T.Thuy

DOI: https://doi.org/10.48550/arXiv.0905.3074

2009-05-19

Abstract:In this paper, we have studied the axiomatics of {\it Ann-categories} and {\it categorical rings.} These are the categories with distributivity constraints whose axiomatics are similar with those of ring structures. The main result we have achieved is proving the independence of the axiomatics of Ann-category definition. And then we have proved that after adding an axiom into the definition of categorical rings, we obtain the new axiomatics which is equivalent to the one of Ann-categories. In [PJ], authors modified the definition of Ann-categories to be the one of {\it categorical rings,} where the condition Ann-1 is omitted, and the compatibility of the operation $\tx$ with the associativity and commutativity is replaced with the compatibility of the operation $\tx$ with the "associativity - commutativity" constraint. This replacement is to make it more convenient in using Mac Lane cohomology. However, the fact that the definition of categorical rings and Ann-categories are equivalent is still an open question. In [q], authors showed that the set of Ann-categories is a subset of the set of categorical rings. And these sets coincide if and only if the condition (U)is satisfied.

Category Theory
Cohomological classification of braided $Ann$-categories

Nguyen Tien Quang,Dang Dinh Hanh

DOI: https://doi.org/10.48550/arXiv.1012.1415

2010-12-07

Abstract:A braided $Ann$-category $\mathcal A$ is an $Ann$-category $\mathcal A$ together with a braiding $c$ such that $(\mathcal A, \otimes, a, c, (1,l,r))$ is a braided tensor category, moreover $c$ is compatible with the distributivity constraints. According to the structure transport theorem, the paper shows that each braided $Ann$-category is equivalent to a braided $Ann$-category of the type $(R,M)$, hence the proof of the classification theorem for braided $Ann$-categories by the cohomology of commutative rings is presented.

Category Theory
ON THE BRAIDING OF AN ANN-CATEGORY

Nguyen Tien Quang,Dang Dinh Hanh

DOI: https://doi.org/10.1142/s1793557110000507

2010-12-01

Abstract:A braided Ann-category [Formula: see text] is an Ann-category [Formula: see text] together with the braiding c such that ([Formula: see text], ⊗, a, c, (1, l, r)) is a braided tensor category, and c is compatible with the distributivity constraints. The paper shows the dependence of the left (or right) distributivity constraint on other axioms. Hence, the paper shows the relation to the concepts of distributivity category due to M. L. Laplaza and ring-like category due to A. Fröhlich and C.T.C Wall. The center construction of an almost strict Ann-category is an example of a non-symmetric braided Ann-category.
The Coherence Theorem for Ann-Categories

Nguyen Tien Quang

DOI: https://doi.org/10.48550/arXiv.0708.0592

2007-08-03

Category Theory

Abstract:This paper presents the proof of the coherence theorem for Ann-categories whose set of axioms and original basic properties were given in [9]. Let $$\A=(\A,{\Ah},c,(0,g,d),a,(1,l,r),{\Lh},{\Rh})$$ be an Ann-category. The coherence theorem states that in the category $ \A$, any morphism built from the above isomorphisms and the identification by composition and the two operations $\tx$, $\ts$ only depends on its source and its target. The first coherence theorems were built for monoidal and symmetric monoidal categories by Mac Lane [7]. After that, as shown in the References, there are many results relating to the coherence problem for certain classes of categories. For Ann-categories, applying Hoang Xuan Sinh's ideas used for Gr-categories in [2], the proof of the coherence theorem is constructed by faithfully ``embedding'' each arbitrary Ann-category into a quite strict Ann-category. Here, a {\it quite strict} Ann-categogy is an Ann-category whose all constraints are strict, except for the commutativity and left distributivity ones. This paper is the work continuing from [9]. If there is no explanation, the terminologies and notations in this paper mean as in [9].
Cohomological classification of Ann-functors

Nguyen Tien Quang,Dang Dinh Hanh

DOI: https://doi.org/10.48550/arXiv.0904.4167

2009-04-27

Category Theory

Abstract:Regular Ann-functor classification problem has been solved with Shukla cohomology. In this paper, we would like to present a solution to the above problem in the general case and in the case of strong Ann-functors with, respectively, Mac Lane cohomology and Hochschild cohomology.
Crossed Bimodules over Rings and Shukla Cohomology

Nguyen Tien Quang,Pham Thi Cuc

DOI: https://doi.org/10.48550/arXiv.1301.0660

2013-01-04

Abstract:In this paper we present some applications of Ann-category theory to classification of crossed bimodules over rings, classification of ring extensions of the type of a crossed bimodule.

Category Theory
A functorial approach to $n$-abelian categories

Vitor Gulisz

2024-10-09

Abstract:We develop a functorial approach to the study of $n$-abelian categories by reformulating their axioms in terms of their categories of finitely presented functors. Such an approach allows the use of classical homological algebra and representation theory techniques to understand higher homological algebra. As an application, we present two possible generalizations of the axioms "every monomorphism is a kernel" and "every epimorphism is a cokernel" of an abelian category to $n$-abelian categories. We also specialize our results to modules over rings, thereby describing when the category of finitely generated projective modules over a ring is $n$-abelian. Moreover, we establish a correspondence for $n$-abelian categories with additive generators, which extends the higher Auslander correspondence.

Category Theory,Representation Theory
A categorical approach to injective envelopes

Arianna Cecco

DOI: https://doi.org/10.1007/s43034-024-00350-z

IF: 0.993

2024-04-24

Annals of Functional Analysis

Abstract:We explore functors between operator space categories, some properties of these functors, and establish relations between objects in these categories and their images under these functors, in particular regarding injectivity and injective envelopes. We also compare the purely categorical definition of injectivity with the 'standard' operator theoretical definition. An appendix by D. P. Blecher discusses the unitization of an operator space and its injective envelope.

mathematics, applied
Adjunctions in Quantaloid-enriched Categories

Lili Shen

DOI: https://doi.org/10.48550/arXiv.1408.0321

2015-10-14

Abstract:This dissertation is devoted to a study of adjunctions concerning categories enriched over a quantaloid Q (or Q-categories for short), with the following types of adjunctions involved: (1) adjoint functors between Q-categories; (2) adjoint distributors between Q-categories; (3) adjoint functors between categories consisting of Q-categories. For a small quantaloid Q and a distributor between Q-categories, two adjunctions between the Q-categories of contravariant and covariant presheaves are presented. These adjunctions respectively extend the fundamental construction of Isbell adjunctions and Kan extensions in category theory, so, they will be called the Isbell adjunction and Kan adjunction, respectively. The functoriality of these constructions is the central topic of this dissertation. In order to achieve this, infomorphisms between distributors are introduced to organize distributors (as objects) into a category. Then we proceed as follows: first, the Isbell adjunction and Kan adjunction associated with each distributor between Q-categories give rise to two monads, which are respectively (covariant) functorial and contravariant functorial from the category of distributors and infomorphisms to the category of Q-closure spaces; second, it is shown that the assignments of a distributor to the fixed points of the two monads are respectively (covariant) functorial and contravariant functorial from the category of distributors and infomorphisms to that of skeletal complete Q-categories and left adjoint functors. As consequences of the functoriality of the above processes, three factorizations of the free cocompletion functor of Q-categories are presented. Finally, as applications, the theory of formal concept analysis and that of rough sets are extended to theories based on fuzzy relations between fuzzy sets.

Category Theory
Model structures for diagrammatic $(\infty, n)$-categories

Clémence Chanavat,Amar Hadzihasanovic

2024-10-31

Abstract:Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $\omega$-categories. We construct a model structure whose fibrant objects are diagrammatic sets in which every round pasting diagram is equivalent to a single cell -- its weak composite -- and propose them as a model of $(\infty, \infty)$-categories. For each $n < \infty$, we then construct a model structure whose fibrant objects are those $(\infty, \infty)$-categories whose cells in dimension $> n$ are all weakly invertible. We show that weak equivalences between fibrant objects are precisely morphisms that are essentially surjective on cells of all dimensions. On the way to this result, we also construct model structures for $(\infty, n)$-categories on marked diagrammatic sets, which split into a coinductive and an inductive case when $n = \infty$, and prove that they are Quillen equivalent to the unmarked model structures when $n < \infty$ and in the coinductive case of $n = \infty$. Finally, we prove that the $(\infty, 0)$-model structure is Quillen equivalent to the classical model structure on simplicial sets. This establishes the first proof of the homotopy hypothesis for a model of $\infty$-groupoids defined as $(\infty, \infty)$-categories whose cells in dimension $> 0$ are all weakly invertible.

Algebraic Topology,Category Theory
Unitalities and mapping spaces in $A_\infty$-categories

Hiro Lee Tanaka

2024-07-08

Abstract:We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify various models for internal homs and mapping spaces in the infinity-categories of dg-categories and of A-infinity--categories, generalizing results of Toën and Faonte.

Category Theory,Symplectic Geometry
Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions

Lili Shen,Dexue Zhang

DOI: https://doi.org/10.48550/arXiv.1307.5625

2013-07-22

Abstract:Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphisms between distributors; and that the free cocompletion functor of Q-categories factors through both of these functors.

Category Theory
An introduction to Mackey and Green 2-functors

Ivo Dell'Ambrogio

2024-07-15

Abstract:For half a century, Mackey and Green functors have been successfully used to model the induction and restriction maps which are ubiquitous in the representation theory of finite groups. In the examples, the latter maps are typically distilled in some way from induction and restriction functors between additive categories. This naturally leads to the notions of Mackey and Green 2-functors and to axioms which better capture this underlying layer of information. Such structures have been used in algebra, geometry and topology for a long time. We survey examples and applications of this young (yet arguably overdue) theory.

Representation Theory,Group Theory,K-Theory and Homology
On bi-enriched $\infty$-categories

Hadrian Heine

2024-10-09

Abstract:We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored $\infty$-categories and share many desirable features with them. We use bienriched $\infty$-categories to endow the $\infty$-category of enriched functors with enrichment that generalizes both the internal hom of the tensor product of enriched $\infty$-categories when the latter exists, and the free cocompletion under colimits and tensors. As an application we construct enriched Kan-extensions from operadic Kan-extensions, compute the monad for enriched functors, prove an end formula for morphism objects of enriched $\infty$-categories of enriched functors and a coend formula for the relative tensor product of enriched profunctors and construct transfer of enrichment from scalar extension of presentably bitensored $\infty$-categories. In particular, we develop an independent theory of enriched $\infty$-categories for Lurie's model of enriched $\infty$-categories.

Category Theory,Algebraic Topology
A model structure on the category of equivariant A-modules over a Hopf algebra

Mariko Ohara

2024-07-02

Abstract:Let H be a finite dimensional Hopf algebra over a field k and A an H-module algebra over k. Khovanov and Qi defined acyclic objects and quasi-isomorphisms by using null-homotopy and contractible objects. They also defined the cofibrant objects, the derived category of A#H-modules, and showed properties of compact generators. On the other hand, a model structure on the category of A#H-modules are not mentioned yet. In this paper, we check that the category of A#H-modules admits a model structure, where the cofibrant objects and the derived category are just those defined by Qi. We also show that the model structure is cofibrantly generated.

K-Theory and Homology
Topological categories, quantaloids and Isbell adjunctions

Lili Shen,Walter Tholen

DOI: https://doi.org/10.1016/j.topol.2015.12.020

IF: 0.583

2016-03-01

Topology and its Applications

Abstract:In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory. Motivated by some key results of the 1970s, the paper develops all needed ingredients from the theory of quantaloids in order to place essential results of categorical topology into the context of quantaloid-enriched category theory, a field that previously drew its motivation and applications from other domains, such as quantum logic and sheaf theory.

mathematics, applied

Introduction to Ann-categories

Structure of Ann-categories

Structure of Ann-categories and Mac Lane - Shukla cohomology

On the Axiomatics of Ann-Categories

Cohomological Classification of Ann-categories

On the categorical interpretation of ring cohomology

Cohomological classification of braided $Ann$-categories

ON THE BRAIDING OF AN ANN-CATEGORY

The Coherence Theorem for Ann-Categories

Cohomological classification of Ann-functors

Crossed Bimodules over Rings and Shukla Cohomology

A functorial approach to $n$-abelian categories

A categorical approach to injective envelopes

Adjunctions in Quantaloid-enriched Categories

Model structures for diagrammatic $(\infty, n)$-categories

Unitalities and mapping spaces in $A_\infty$-categories

Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions

An introduction to Mackey and Green 2-functors

On bi-enriched $\infty$-categories

A model structure on the category of equivariant A-modules over a Hopf algebra

Topological categories, quantaloids and Isbell adjunctions