Related papers: Comparing $\mathrm{Add}(M)$ with $\mathrm{Prod}(M)…
Metric approximate categories, or metagories, for short, are metrically enriched graphs. Their structure assigns to every directed triangle in the graph a value which may be interpreted as the area of the triangle; alternatively, as the…
We regard explanations as a blending of the input sample and the model's output and offer a few definitions that capture various desired properties of the function that generates these explanations. We study the links between these…
We construct a machine which takes as input a locally small symmetric closed complete multicategory $\mathsf V$. And its output is again a locally small symmetric closed complete multicategory $\mathsf V\text-\mathcal{C}at$, the…
We introduce the notion of a prile of one-sided triangulated categories. Roughly speaking, a prile consists of two one-sided triangulated categories having a common full subcategory which inherits a pretriangulated structure from these…
Let $\mathcal{A}$ and $\mathcal{B}$ be subcategories of tensor categories $\mathcal{C}$ and $\mathcal{D}$, respectively, both of which are abelian categories with finitely many isomorphism classes of simple objects. We prove that if their…
The paper defines polynomials in a bicategory $\mathscr{M}$. Polynomials in bicategories $\mathrm{Spn}\mathscr{C} \ $ of spans in a finitely complete category $\mathscr{C} \ $ agree with polynomials in $\mathscr{C} \ $ as defined by Nicola…
We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…
We study whether the entanglement of formation is additive over tensor products and derive a necessary and sufficient condition for optimality of vector states that enables us to show additivity in two special cases.
We show that in the class of Lindel\"of \v{C}ech-complete spaces the property of being $C$-embedded is quite well-behaved. It admits a useful characterization that can be used to show that products and perfect preimages of $C$-embedded…
First of all, we recall the well known notion of semidirect product both for classical algebraic structures (like groups and rings) and for more recent ones (digroups, left skew braces, heaps, trusses). Then we analyse the concept of…
In this paper we present a new way to construct the pro-category of a category. This new model is very convenient to work with in certain situations. We present a few applications of this new model, the most important of which solves an…
We study the preservation of certain properties under products of classes of finite structures. In particular, we examine indivisibility, definable self-similarity, the amalgamation property, and the disjoint n-amalgamation property. We…
We give a geometric realization of a subcategory of the $m$-cluster category $\mathcal{C}^m$ of type $\widetilde{A}_{p,q}$, by using $(m+2)$-angulations of an annulus with $p+q$ marked points. We also give a bijection between an equivalence…
We define evaluation forms associated to objects in a module subcategory of Ext-symmetry generated by finitely many simple modules over a path algebra with relations and prove a multiplication formula for the product of two evaluation…
Polygons are described as almost-convex if their perimeter differs from the perimeter of their minimum bounding rectangle by twice their `concavity index', $m$. Such polygons are called \emph{$m$-convex} polygons and are characterised by…
In a locally $\lambda$-presentable category, with $\lambda$ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are $\lambda$-presentable, are known to be characterized…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
In this article, we study group theoretical embedding properties of subgroups in central products of finite groups. Specifically, we give characterizations of normal, subnormal, and abnormal subgroups of a central product of two groups.