Related papers: Brown representability often fails for homotopy ca…

We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting-Brouwer logic $\mathsf{HB}$ that are…

Let $(\mathcal{X}, \mathcal{Y})$ be a balanced pair in an abelian category $\mathcal{A}$. Denote by ${\bf K}_{\mathcal{E}\text{-}{\rm ac}}(\mathcal{X})$ the chain homotopy category of right $\mathcal{X}$-acyclic complexes with all items in…

Using Patchkoria--Pstr\k{a}gowski's version of Franke's algebraicity theorem, we prove that the category of $K_p(n)$-local spectra is exotically equivalent to the category of derived $I_n$-complete periodic comodules over the Adams Hopf…

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…

We study the construction of premonoidal categories, where the pentagon relation fails, through representations of finite group algebras and their quantum doubles. Both finite group algebras and their quantum doubles have a finite number of…

We give some examples of abelian categories A for which the derived category D(A) is not left-complete. Perhaps the most natural of these is where A is the category of representations of the additive group G_a over a field k of…

The category of all $k$-algebras with a bilinear form, whose objects are all pairs $(R,b)$ where $R$ is a $k$-algebra and $b\colon R\times R\to k$ is a bilinear mapping, is equivalent to the category of unital $k$-algebras $A$ for which the…

In this paper, I introduce weak representations of a Lie groupoid $G$. I also show that there is an equivalence of categories between the categories of 2-term representations up to homotopy and weak representations of $G$. Furthermore, I…

We define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish…

We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…

We study the Brown complex associated to the poset of $\ell$-subgroups in the case of a finite reductive group defined over a field $\mathbb{F}_q$ of characteristic prime to $\ell$. First, under suitable hypotheses, we show that its…

A quantum groups of type $A$ is defined in terms of a Hecke symmetry. We show in this paper that the representation category of such a quantum group is uniquely determined as an abelian braided monoidal category by the bi-rank of the Hecke…

We relate endotrivial representations of a finite group in characteristic p to equivariant line bundles on the simplicial complex of non-trivial p-subgroups, by means of weak homomorphisms.

The notion of a group G acting on a group X is well-known. Fixing X, the corresponding functor Act(-,X) is representable by the group [X] of automorphisms of X. The notion of G-action on X has been generalized to the context of a…

For a discrete group G, we represent the Bredon cohomology with local coefficients as the homotopy classes of maps in the category of equivaraint crossed complexes. Subsequently, we construct a naive parametrized G-spectrum, such that the…

A commutative algebra over a field gives rise to a representation of the category of finite sets and surjective maps. We consider the restriction of this representation to the subcategory of sets of cardinality at most $r$. For each $r$, we…

We prove that a weak equivalence between cofibrant props induces a weak equivalence between the associated classifying spaces of algebras. This statement generalizes to the prop setting a homotopy invariance result which is well known in…

A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as…

We study the homotopy category $\mathsf{K}_{N}(\mathcal{B})$ of $N$-complexes of an additive category $\mathcal{B}$ and the derived category $\mathsf{D}_{N}(\mathcal{A})$ of an abelian category $\mathcal{A}$. First we show that both…

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…