Related papers: Comparing $\mathrm{Add}(M)$ with $\mathrm{Prod}(M)…
Let $\mathcal{M}$ be an $n$-cluster tilting subcategory of ${\rm mod}\mbox{-}\Lambda$, where $\Lambda$ is an artin algebra. Let $\mathcal{S}(\mathcal{M})$ denotes the full subcategory of $\mathcal{S}(\Lambda)$, the submodule category of…
In this paper, we study bimodules over a von Neumann algebra $M$ in two related contexts. The first is an inclusion $M \subseteq M \rtimes_\alpha G$, where $G$ is a discrete group acting on a factor $M$ by outer automorphisms. The second is…
We define a notion on preadditive categories which plays a role similar to the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define…
We prove that an object $U$ in a triangulated category with coproducts is silting if and only if it is a (weak) generator of the category, the orthogonal class $U^{\perp_{>0}}$ contains $U$, and $U^{\perp_{>0}}$ is closed under direct sums.…
Additive manufacturing (AM) enables enormous freedom for design of complex structures. However, the process-dependent limitations that result in discrepancies between as-designed and as-manufactured shapes are not fully understood. The…
In this paper we generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a…
We present a friendly introduction to the very detailed results in [9,10,11] and as an illustration we discuss here the issue of {\em linearization of products}. We find some interesting new phenomena.
Given a bounded-above cochain complex of modules over a ring, it is standard to replace it by a projective resolution, and it is classical that doing so can be very useful. Recently, a modified version of this was introduced in triangulated…
This essay explains an approach to the study of smooth manifolds which compares them to presheaves on a category of discs, also known as embedding calculus. We highlight recent work that shows this approach has many desirable properties, as…
Let $Covering$ be the category of the category of fuzzy coverings, and $Partition$, the category of fuzzy partitions. We geometrically construct an isomorphism of categories between $Partition$ and a full subcategory of $Covering$, which…
Near-vector spaces extend linear algebra tools to non-linear algebraic structures, enabling the study of non-linear problems. However, explicit constructions remain rare. This paper introduces a broad computable family of near-vector…
Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and…
An envelope in a category is a construction that generalizes the operations of "exterior completion", like completion of a locally convex space, or Stone-\v{C}ech compactification of a topological space, or universal enveloping algebra of a…
In this paper, we define and prove basic properties of complement polyhedral product spaces, dual complexes and polyhedral product complexes. Then we compute the universal algebra of polyhedral product complexes under certain split…
Given a pair of adjoint functors between two arbitrary categories it induces mutually inverse equivalences between the full subcategories of the initial ones, consisting of objects for which the arrows of adjunction are isomorphisms. We…
In this paper, we prove that given a differential graded category C and B a full differential graded subcategory closed under coproducts, there is a canonical recollement of differential graded categories, for which we use enriched…
We prove a stronger version of the octahedral axiom in a pre-triangulated category. The proof uses a new lemma about exact sequences in pointed additive categories which is based on a weak converse of the snake lemma.
We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in familiar settings. We show that, in a virtual equipment…
It is proved that a finite intersection of special preenveloping ideals in an exact category $({\mathcal A}; {\mathcal E})$ is a special preenveloping ideal. Dually, a finite intersection of special precovering ideals is a special…
We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…