Related papers: Brown representability often fails for homotopy ca…

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…

Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…

An example of a cocomplete abelian category that is not complete is constructed.

We define Anderson-Brown-Cisinski (ABC) cofibration categories, and construct homotopy colimits of diagrams of objects in ABC cofibration categories. Homotopy colimits for Quillen model categories are obtained as a particular case. We…

We use $t$-structures on the homotopy category $K^b(R-mod)$ for an artin algebra $R$ and Watts' representability theorem to give an existence proof for Auslander-Reiten sequences of $R$-modules.

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…

Using full images of accessible functors, we prove some results about combinatorial and accessible model categories. In particular, we give an example of a weak factorization system on a locally presentable category which is not accessible.

The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it…

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian…

We attach to each weak model category $\mathcal{M}$ a class of first order formulas about the fibrant objects of $\mathcal{M}$ whose validity is invariant under homotopies and weak equivalences. This is a generalization of the classical…

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 codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…

Let G be a reductive algebraic group over a field k and let B be a Borel subgroup in G. We demonstrate how a number of results on the cohomology of line bundles on the flag manifold G/B have had interesting consequences in the…

A full subcategory of modules over a commutative ring $R$ is wide if it is abelian and closed under extensions. Hovey \cite{wide} gave a classification of wide subcategories of finitely presented modules over regular coherent rings in terms…

We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we…

Adjoint functor theorems give necessary and sufficient conditions for a functor to admit an adjoint. In this paper we prove general adjoint functor theorems for functors between $\infty$-categories. One of our main results is an…

In this paper, we study the category $C(Rep(\mathcal{Q}, \mathcal{A}))$ of complexes of representations of quiver $\mathcal{Q}$ with values in an abelian category $\mathcal{A}$. We develop a method for constructing some model structures on…

We show that the representation category of the quantum group of a non-degenerate bilinear form is monoidally equivalent to the representation category of the quantum group SL_q(2), for a well chosen non-zero parameter q. The main…

We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an…