Related papers: Homotopy coherent representations
Correspondence homomorphisms are both a generalization of standard homomorphisms and a generalization of correspondence colourings. For a fixed target graph $H$, the problem is to decide whether an input graph $G$, with each edge labeled by…
This is an example on the cohomology of threefolds.
A group is coherent if all its finitely generated subgroups are finitely presented. In this article we provide a criterion for positively determining the coherence of a group. This criterion is based upon the notion of the perimeter of a…
We propose a new approach to crystalline cohomology based on the observation that one can lift smooth algebras uniquely "up to coherent homotopy."
Higher-dimensional rewriting systems are tools to analyse the structure of formally reducing terms to normal forms, as well as comparing the different reduction paths that lead to those normal forms. This higher structure can be captured by…
This presentation explains why models with a dynamical symmetry often work extraordinarily well even in the presence of large symmetry breaking interactions. A model may be a caricature of a more realistic system with a "quasi-dynamical"…
We survey various approaches to axiomatic stable homotopy theory, with examples including derived categories, categories of (possibly equivariant or localized) spectra, and stable categories of modular representations of finite groups. We…
The notion of $\times$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the…
We show that H-spaces with finitely generated cohomology, as an algebra or as an algebra over the Steenrod algebra, have homotopy exponents at all primes. This provides a positive answer to a question of Stanley.
For groups of prime order, equivariant stable maps between equivariant representation spheres are investigated using the Borel cohomology Adams spectral sequence. Features of the equivariant stable homotopy category, such as stability and…
Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…
The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of…
A method of computation of its terms is presented together with some stabilization results. As an application a characterization of symplectic harmonic manifolds is given and a relationship with the C-spectral sequence is indicated.
We define a simpler notion of symmetric topological complexity more ad hoc to the motion planning problem which was the original motivation for the definition of topological complexity. This is a homotopy invariant that we call…
We study how the number $c(X)$ of components of a graph $X$ can be expressed through the number and properties of the components of a quotient graph $X/\sim.$ We partially rely on classic qualifications of graph homomorphisms such as…
Semantic Heterogeneity is conventionally understood as the existence of variance in the representation of a target reality when modelled, by independent parties, in different databases, schemas and/ or data. We argue that the mere encoding…
Homotopy type theory is a new branch of mathematics, based on a recently discovered connection between homotopy theory and type theory, which brings new ideas into the very foundation of mathematics. On the one hand, Voevodsky's subtle and…
The aim of homotopy theory in topology is to simplify, after continuous deformation, continuous maps between topological spaces. What prevents this from happening are homotopy invariants. This raises quantitative questions: $\bullet$ Is the…
Multiple harmonic-like numbers are studied using the generating function approach. A closed form is stated for binomial sums involving these numbers and two additional parameters. Several corollaries and examples are presented which are…
We formalize the concept of a centralizer-respecting homomorphism, surjective homomorphisms which are equivariant with respect to taking the centralizer of a subgroup. There is a functor from the category of centralizer-respecting…