Related papers: An introduction to monomorphism categories

Representations over diagrams of abelian categories unify quite a few notions appearing widely in literature such as representations of categories, presheaves of modules over categories, representations of species, etc. In this series of…

The paper is devoted to a categorical study of the category of probabilistic metric spaces. The study is based on an isomorphic description of the category of probabilistic metric spaces. The isomorphic description was obtained in [3] and…

This is the second paper in a series on representations over diagrams of abelian categories. We show that, under certain conditions, a compatible family of abelian model categories indexed by a skeletal small category can be amalgamated…

The purpose of these notes is to give a categorical presentation/analysis of homotopy type theory. The notes are incomplete as they stand (October 2017). The chapter on univalent tribes is missing. The references are not always connected to…

This is an introduction to the finite groups, with focus on the groups of permutations and reflections, and more generally, on the finite groups of unitary matrices. We first discuss the basics of group theory, featuring the cyclic,…

In this article we analyze the structure of $2$-categories of symmetric projective bimodules over a finite dimensional algebra with respect to the action of a finite abelian group. We determine under which condition the resulting…

This paper gives an introduction to some results on monodromy groupoids and the monodromy principle, and then develops the notion of monodromy groupoid for group groupoids.

These lectures concern basic aspects of the theory of semigroups of endomorphisms of type $I$ factors that relate to causal dynamics, dilation theory, and the problem of classifying $E_0$-semigroups up to cocycle conjugacy. We give only a…

This article contains a review of categorifications of semisimple representations of various rings via abelian categories and exact endofunctors on them. A simple definition of an abelian categorification is presented and illustrated with…

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…

This contribution presents a comprehensive analysis of Colombeau (-type) algebras in the range between the diffeomorphism invariant algebra introduced in Part I and Colombeau's original algebra. Along the way, it provides several…

We introduce a category of cluster algebras with fixed initial seeds. This category has countable coproducts, which can be constructed combinatorially, but no products. We characterise isomorphisms and monomorphisms in this category and…

The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…

We give the definition of presentations of linear monoidal categories. Our main result is that given a presentation of a linear monoidal category, we can produce a presentation of the same category as a linear category. We apply this result…

This is the first part of a series of three strongly related papers in which three equivalent structures are studied: - internal categories in categories of monoids; defined in terms of pullbacks relative to a chosen class of spans -…

We classify by numerical invariants the finite subgroups $H$ of a primary abelian group $G$ for which every homomorphism or monomorphism of $H$ into $G$, or every endomorphism of $H$, extends to an endomorphism of $G$. We apply these…

We give a classification of maximal elements of the set of finite groups that can be realized as the automorphism groups of polarized abelian threefolds over finite fields.

This article is the first in a series of articles that explain the formalization of a constructive model of cubical type theory in Nuprl. In this document we discuss only the parts of the formalization that do not depend on the choice of…

In these self-contained low prerequisite introductory notes we first present (in part 1) basic concepts of set theory and algebra without explicit category theory. We then present (in part 2) basic category theory involving a somewhat…

There is a construction which lies at the heart of descent theory. The combinatorial aspects of this paper concern the description of the construction in all dimensions. The description is achieved precisely for strict n-categories and…