Related papers: Reflective and coreflective subcategories
We introduce abelian framed bicategories, which are particular framed bicategories that are locally abelian, and show that they are suitable for developing homology and cohomology theories for directed structures. This means in particular…
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the…
In this article, we develop an explicit categorical realization of sheafification based on colimits, products, and subobjects, emphasizing its behavior in algebraic and topological-algebraic settings. We prove that if $\mathcal{C}$ is a…
We construct recursion categories from categories of coalgebras. Let $F$ be a nontrivial endofunctor on the category of sets that weakly preserves pullbacks and such that the category $\textbf{Set}_F$ of $F$-coalgebras is complete. The…
In this paper, by using functor rings and functor categories, we study finiteness and purity of subcategories of the module categories. We give a characterisation of contravariantly finite resolving subcategories of the module category of…
A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…
For a certain family of complete modular lattices, we prove a Jordan--H\"older--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as…
Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A…
A skeleton of the category with finite coproducts D freely generated by a single object has a subcategory isomorphic to a skeleton of the category with finite products C freely generated by a countable set of objects. As a consequence, we…
Let $\mathcal {C}$ be a small category and let $R$ be a representation of the category $\mathcal {C}$, that is, a pseudofunctor from a small category to the category of small preadditive categories. In this paper, we mainly study the…
The category of simplicial R-coalgebras over a presheaf of commutative unital rings on a small Grothendieck site is endowed with a left proper, simplicial, cofibrantly generated model category structure where the weak equivalences are the…
A super-modular category is a unitary pre-modular category with M\"uger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary…
In this paper, we study ICE-closed (= Image-Cokernel-Extension-closed) subcategories of an abelian length category using torsion classes. To each interval $[\mathcal{U},\mathcal{T}]$ in the lattice of torsion classes, we associate a…
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…
We prove that the class of principal coactions is closed under one-surjective pullbacks in an appropriate category of algebras equipped with left and right coactions. This allows us to handle cases of C*-algebras lacking two different…
Let $B$ be the one-point extension algebra of $A$ by an $A$-module $M$. We proved that every ICE-closed subcategory in$\mod A$ can be extended to be some ICE-closed subcategories in$\mod B$.In the same way, every epibrick in $\mod A$ can be…
Are all subcategories of locally finitely presentable categories that are closed under limits and $\lambda$-filtered colimits also locally presentable? For full subcategories the answer is affirmative. Makkai and Pitts proved that in the…
A classic result by Bass says that the class of all projective modules is covering, if and only if it is closed under direct limits. Enochs extended the if-part by showing that every class of modules $\mathcal C$, which is precovering and…
For a Grothendieck category C which, via a Z-generating sequence (O(n))_{n in Z}, is equivalent to the category of "quasi-coherent modules" over an associated Z-algebra A, we show that under suitable cohomological conditions "taking…
For any object x in a category C it is possible to define the category of Beck modules over x as the category Ab(C/x) of abelian group objects in the category C/x. We can deduce from this construction, at least for any locally presentable…