Related papers: A sufficient criterion for homotopy cartesianess

A digraph is connected-homogeneous if any isomorphism between finite connected induced subdigraphs extends to an automorphism of the digraph. We consider locally-finite connected-homogeneous digraphs with more than one end. In the case that…

In this paper we study the relationship between the homology and homotopy of a space at infinity and at its boundary. Firstly, we prove that if a locally connected, connected, $\delta$-hyperbolic space that is acted upon geometrically by a…

For an infinitesimal deformation of a Riemannian manifold, we prove that the scalar, vector, and tensor modes in decompositions of perturbations of the metric tensor, the scalar curvature, the Ricci tensor, and the Einstein tensor decouple…

Given a triangulated region in the complex plane, a discrete vector field $Y$ assigns a vector $Y_i\in \mathbb{C}$ to every vertex. We call such a vector field holomorphic if it defines an infinitesimal deformation of the triangulation that…

We present a simple extension of the classical Hilton-Eckmann argument classically used to prove that the endomorphism monoid of the unit object in a monoidal category is commutative. It allows us to recover in a uniform way well-known…

We show that the category of mixed Hodge complexes admits a Cartan-Eilenberg structure, a notion introduced in [GNPR10] leading to a good calculation of the homotopy category in terms of (co)fibrant objects. This result provides a…

We prove that two finite-dimensional commutative algebras over an algebraically closed field are isomorphic if and only if they give rise to isomorphic representations of the category of finite sets and surjective maps.

We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…

Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…

We prove that a primitive harmonic map is equivariant if and only if it admits a holomorphic potential of degree one. We investigate when the equivariant harmonic map is periodic, and as an application discuss constant mean curvature…

In this article, we prove that if a finitely presented group has an asymptotic cone which is tree-graded with respect to a precise set of pieces then it is relatively hyperbolic. This answers a question of M. Sapir.

A variety V is said to be coherent if any finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that V is coherent if and only if it satisfies a restricted form of uniform deductive…

The homotopy type of the complement of a complex coordinate subspace arrangement is studied by fathoming out the connection between its topological and combinatorial structures. A family of arrangements for which the complement is homotopy…

We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…

The finitistic dimension of a triangulated category is introduced. For the category of perfect complexes over a ring it is shown that this dimension is finite if and only if the small finitistic dimension of the ring is finite.

We call a finitely complete category algebraically coherent when the change-of-base functors of its fibration of points are coherent, which means that they preserve finite limits and jointly strongly epimorphic pairs of arrows. We give…

It is shown that a surjective monotone map $X\to Y$ between finite $T_0$-spaces induces a surjective map on homology. As such a map turns out to be a sequence of edge contractions in the Hasse diagram of $X$, followed by a homeomorphism,…

We demonstrate that the proper homotopy equivalence relation for locally finite graphs is Borel complete. Furthermore, among the infinite graphs, there is a comeager equivalence class. As corollaries, we obtain the analogous results for the…

In proper homotopy theory, the original concept of point used in the classical homotopy theory of topological spaces is generalized in order to obtain homotopy groups that study the infinite of the spaces. This idea: "Using any arbitrary…

We give necessary and sufficient conditions for a family of inner products in a finite-dimensional vector space $V$ over an arbitrary field $\mathbb{K}$ to have an orthogonal basis relative to all the inner products. Some applications to…