相关论文: Up-to-Homotopy Monoids

Suppose M is a noncompact connected PL 2-manifold and let H(M)_0 denote the identity component of the homeomorphism group of M with the compact-open topology. In this paper we classify the homotopy type of H(M)_0 by showing that {\cal…

We systematically investigate, for a monoid $M$, how topos-theoretic properties of $\mathbf{PSh}(M)$, including the properties of being atomic, strongly compact, local, totally connected or cohesive, correspond to semigroup-theoretic…

The monoids of simplicial endomorphisms, i.e. the monoids of endomorphisms in the simplicial category, are submonoids of monoids one finds in Temperley-Lieb algebras, and as the monoids of Temperley-Lieb algebras are linked to situations…

For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom…

We classify, up to homeomorphism, all closed manifolds having the homotopy type of a connected sum of two copies of real projective n-space.

Let $A$ be a commutative noetherian ring, containing a field $k$, with $1/2\in k$, $\dim A=d$, and let $P$ be a projective $A$-module or $rank(P)=n$. In continuation of \cite{MM}, we study Homotopy obstructions for $P$ to split off a free…

The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…

We prove that the higher signature for any close oriented manifold is a simple-homotopy invariant.

We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial…

Let S be a compact oriented surface. A homology cobordism of S is a cobordism C between two copies of S, such that both the "top" inclusion and the "bottom" inclusion of S in C induce isomorphisms in homology. Homology cobordisms of S form…

In this paper we define a rigid rational homotopy type, associated to any variety $X$ over a perfect field $k$ of positive characteristic. We prove comparison theorems with previous definitions in the smooth and proper, and log-smooth and…

A homotopy equivalence between a hyperbolic 3-manifold and a closed irreducible 3-manifold is homotopic to a homeomorphsim provided the hyperbolic manifold satisfies a purely geometric condition. There are no known examples of hyperbolic…

We prove the existence of lattice isomorphic line arrangements having $\pi_1$-equivalent or homotopy-equivalent complements and non homeomorphic embeddings in the complex projective plane. We also provide two explicit examples, one is…

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category…

We provide a general definition of higher homotopy operations, encompassing most known cases, including higher Massey and Whitehead products, and long Toda brackets. These operations are defined in terms of the W-construction of Boardman…

In this article, we interconnect two different aspects of higher category theory, in one hand the theory of infinity categories and on an other hand the theory of 2-categories.We construct an explicit functorial path objet in the model…

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…

Let $M$ be a topological monoid with homotopy group completion $\Omega BM$. Under a strong homotopy commutativity hypothesis on $M$, we show that $\pi_k (\Omega BM)$ is the quotient of the monoid of free homotopy classes $[S^k, M]$ by its…

A monoid presentation is called special if the right-hand side of each defining relation is equal to 1. We prove results which relate the two-sided homological finiteness properties of a monoid defined by a special presentation with those…

We define the concept of a bi-operad. We develop the homotopy theory of "Bital-Sets" and of infinite-bi-operads. We develop a geometry of generalized schemes based on the spectra of distributive monochromatic bi-operads.