Related papers: The morphism axiom for n-angulated categories
It is proved, that if an almost Hermitian manifold satisfies the axiom of coholomorphic spheres, it is conformal flat.
In this paper we prove a few propositions concerning factorizations of morphisms in pro categories, the most important of which solves an open problem of Isaksen concerning the existence of certain types of functorial factorizations. On our…
Given a monoidal $\infty$-category $C$ equipped with a monoidal recollement, we give a simple criterion for an object in $C$ to be dualizable in terms of the dualizability of each of its factors and a projection formula relating them.…
Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…
Criterions for constancy of the holomorphic sectional curvature and the antiholomorphic sectional curvature are proved for almost Hermitian manifolds. It is shown, that an almost Hermitian manifold satisfying the axiom of antiholomorphic…
In this paper, we consider categories with colored morphisms and functors such that morphisms assigned to morphisms with a common color have a common color. In this paper, we construct a morphism-colored functor such that any…
We present a simplified and more intuitive proof of a theorem of Peng and Xiao, which constructs a Lie algebra from any 2-periodic triangulated k-category (satisfying some finiteness assumptions).
In this paper we will establish a structure theorem concerning the extension of analytic objects associated to germs of dimension one foliations on surfaces, through one-dimensional barriers. As an application, an extension theorem for…
We show that the theorem of the three perpendiculars holds in any n-dimensional space form.
We extend the `join-premorphisms' part of the Ehresmann-Schein-Nambooripad Theorem to the case of two-sided restriction semigroups and inductive categories, following on from a result of Lawson (1991) for the `morphisms' part. However, it…
Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…
We give a simultaneous generalization of exact categories and triangulated categories, which is suitable for considering cotorsion pairs, and which we call extriangulated categories. Extension-closed, full subcategories of triangulated…
We prove a model theoretic Baire category theorem for $\tilde\tau_{low}^f$-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in…
Let $\pi: X \to Y$ be a morphism of projective varieties and suppose that $\alpha$ is a pseudo-effective numerical cycle class satisfying $\pi_*\alpha = 0$. A conjecture of Debarre, Jiang, and Voisin predicts that $\alpha$ is a limit of…
Let $n$ be an integer greater or equal than $3$. We give a simultaneous generalization of $(n-2)$-exact categories and $n$-angulated categories, and we call it one-sided $n$-suspended categories. One-sided $n$-angulated categories are also…
We prove two results from Morita theory of stable model categories. Both can be regarded as topological versions of recent algebraic theorems. One is on recollements of triangulated categories, which have been studied in the algebraic case…
Extriangulated categories axiomatize extension-closed subcategories of triangulated categories. We show that the homotopy category of an exact quasi-category can be equipped with a natural extriangulated structure.
Many of the properties of sectional category, topological complexity and homotopic distance are in fact derived from a small number of basic properties, which, once established, lead to all the others without further recourse to topology.…
In this article we prove that all the inclusions between the 'classical' and naturally defined full triangulated subcategories of a weakly approximable triangulated category are intrinsic (in one case under a technical condition). This…
We introduce a system of axioms that uniquely defines an (infinity,d)-category of bordisms equipped with geometric data. The underlying manifolds of these bordisms may be smooth, complex, super, or formal smooth manifolds, as well as any…