Related papers: On the (algebraic) notion of 2-ring
There are different categorizations of the definition of a {\it ring} such as {\it Ann-category} (see N. T. Quang [6]), {\it ring category} (see M. Kapranov and V.Voevodsky [2]),... The main result of this paper is to prove that every axiom…
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…
In this paper, we develop 2-dimensional algebraic theory which closely follows the classical theory of modules. The main results are giving definitions of 2-module and the representation of 2-ring. Moreover, for a 2-ring $\cR$, we prove…
Categorical rings were introduced by Jibladze and Pirashvili in their paper "Third Mac Lane cohomology via categorical rings", Journal of Homotopy and related structures, 2, 2007, 187-216. We call those "2-rings". In these notes we present…
We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring…
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…
In the efforts to define a 2-categorical analog of an abelian category, two (or three) notions of "abelian 2-categories" are defined. One is the relatively exact 2-category, and the other(s) is the (2-)abelian Gpd-category. We compare these…
A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…
A ringoid is a set with two binary operations that are linked by the distributive laws. We study special classes of ringoids that are congruence-simple or ideal-simple. In particular, we examine generalised parasemifields and…
Classically, the splitting principle says how to pull back a vector bundle in such a way that it splits into line bundles and the pullback map induces an injection on $K$-theory. Here we categorify the splitting principle and generalize it…
Rings form a bicategory [Rings], with classes of bimodules as horizontal arrows, and bimodule maps as vertical arrows. The notion of Morita equivalence for rings can be translated in terms of bicategories in the following way. Two rings are…
This paper introduces a categorification of $k$-algebras called 2 -algebras, where k is a commutative ring. We define the 2-algebras as a 2-category with single object in which collections of all 1-morphisms and all 2-morphisms are…
It is well known that rings are the objects of a bicategory, whose arrows are bimodules, composed through the bimodule tensor product. We give an analogous bicategorical description of C*-algebras, von Neumann algebras, Lie groupoids,…
This is an extended version of my earlier articel "Projective and injective objects in symmetric categorical groups. arXiv:1007.0121v1." Several new facts added, including the material on the derived 2-functors and the proof of the…
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 -…
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…
We present a classification of the so-called "additive symmetric 2-cocycles" of arbitrary degree and dimension over Z/p, along with a partial result and some conjectures for m-cocycles over Z/p, m > 2. This expands greatly on a result…
This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way…
I categorify the definition of fibre bundle, replacing smooth manifolds with differentiable categories, Lie groups with coherent Lie 2-groups, and bundles with a suitable notion of 2-bundle. To link this with previous work, I show that…
A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a ring and a semiring -- a semiring whose additive monoid is…