Related papers: The morphism axiom for n-angulated categories
Homotopic morphisms of $\mathbb E$-triangles in extriangulated categories are introduced. Any morphism of $\mathbb E$-triangles is a composition of homotopic morphisms. Any morphism $(\alpha_1, \alpha_2, \alpha_3)$ of $\mathbb E$-triangles…
We develop some aspects of the theory of derivators, pointed derivators, and stable derivators. As a main result, we show that the values of a stable derivator can be canonically endowed with the structure of a triangulated category.…
Berge's maximum theorem gives conditions ensuring the continuity of an optimised function as a parameter changes. In this paper we state and prove the maximum theorem in terms of the theory of monoidal topology and the theory of double…
We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that…
The behaviour of limits of weak morphisms in 2-dimensional universal algebra is not 2-categorical in that, to fully express the behaviour that occurs, one needs to be able to quantify over strict morphisms amongst the weaker kinds.…
In this paper we will prove that there exists a covariant functor from the category of schemes to the category of graphs. This functor provides a combination between algebraic varieties and combinatorial graphs so that the invariants…
Computing a morph between two drawings of a graph is a classical problem in computational geometry and graph drawing. While this problem has been widely studied in the context of planar graphs, very little is known about the existence of…
We propose a new look on triangulated categories, which is based on the second Hochschild cohomology.
We introduce and study mutation of torsion pairs, as a generalization of mutation of cluster tilting objects, rigid objects and maximal rigid objects. It is proved that any mutation of a torsion pair is again a torsion pair. A geometric…
We investigate questions related to the notion of recognizability of sequences of morphisms, a generalization of Moss{\'e}'s Theorem. We consider the most general class of morphisms including ones with erasable letters. The main result…
We investigate a possible category theoretical description for agent based modeling by outlining justifications for two main principles to describe the valuations in a realistic way in microeconomics: 1) It is assumed that the valuations…
It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in…
Riehl and Verity have established that for a quasi-category $A$ that admits limits, and a homotopy coherent monad on $A$ which does not preserve limits, the Eilenberg-Moore object still admits limits; this can be interpreted as a…
Given a smooth morphism $Y\to S$ and a proper morphism $P\to S$ of algebraic varieties we give a sufficient condition for extending an $S$-morphism $U\to P$, where $U$ is an open subset of $Y$, to an $S$-morphism $Y\to P$, analogous to…
The categories with noninvertible morphisms are studied analogously to the semisupermanifolds with noninvertible transition functions. The concepts of regular n-cycles, obstruction and the regularization procedure are introduced and…
Given an essentially small triangulated category it is possible to give a metric on it, to complete it with respect to the metric, and to look at the subcategory of objects in the completion which are compactly supported with respect to the…
Let $R$ be a commutative ring If $\mathcal{C}_1$ and $\mathcal{C}_2$ are $R$-linear triangulated categories then we can give an obvious triangulated structure on $\mathcal{C} = \mathcal{C}_1 \oplus \mathcal{C}_2$ where $Hom_\mathcal{C}(U,…
In representation theory of algebras, there exist two types of mutation pairs: rigid type (cluster-tilting mutations by Iyama-Yoshino) and simple-minded type (mutations of simple-minded systems by Sim\~oes-Pauksztello). It is known that…
We use Herbrand's theorem to give a new proof that Euclid's parallel axiom is not derivable from the other axioms of first-order Euclidean geometry. Previous proofs involve constructing models of non-Euclidean geometry. This proof uses a…
We provide a framework to triangulate subfactor categories of additive categories with additive endofunctors. It is proved that such a framework is sufficiently flexible to cover many instances in algebra and geometry where abelian, exact…