Related papers: Heaps and unpointed stable homotopy theory

A simplicial set is said to be non-singular if its non-degenerate simplices are embedded. Let $sSet$ denote the category of simplicial sets. We prove that the full subcategory $nsSet$ whose objects are the non-singular simplicial sets…

I discuss a family of statistical-mechanics models in which (some classes of) elements of a finite group $G$ occupy the (directed) edges of a lattice; the product around any plaquette is constrained to be the group identity $e$. Such a…

We study topological spaces with a distinguished set of paths, called directed paths. Since these directed paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, and there is no…

We characterize and construct linearly ordered sets, abelian groups and fields that are {\emph symmetrically complete}, meaning that the intersection over any chain of closed bounded intervals is nonempty. Such ordered abelian groups and…

We study differential graded operads and $p$-adic stable homotopy theory. We first construct a new class of differential graded operads, which we call the stable operads. These operads are, in a particular sense, stabilizations of…

We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology groups outside the stable range. (These…

We study the problem of existence and uniqueness of homotopy colimits in stable representation theory, where one typically does not have model category structures to guarantee that these homotopy colimits exist or have good properties. We…

We introduce a relaxation of stability, called almost sure stability, which is insensitive to perturbations by subsets of Loeb measure $0$ in a non-standard finite group. We show that almost sure stability satisfies a stationarity principle…

We study abstract elementary classes (AECs) that, in $\aleph_0$, have amalgamation, joint embedding, no maximal models and are stable (in terms of the number of orbital types). Assuming a locality property for types, we prove that such…

We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups.

Homotopy type theory (HoTT) can be seen as a generalisation of structural set theory, in the sense that 0-types represent structural sets within the more general notion of types. For material set theory, we also have concrete models as…

Known and new results on free Boolean topological groups are collected. An account of properties which these groups share with free or free Abelian topological groups and properties specific of free Boolean groups is given. Special emphasis…

We present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not…

We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…

In this article we introduce the space of configurations of commuting elements in a topological group and show that it satisfies rational homological stability for the sequences of unitary, special unitary and symplectic groups. We also…

Consider the configuration spaces of manifold (closed or open). An influential theorem of McDuff and Segal shows that the (co)homology of unordered configuration spaces of open manifold is independent of number of configuration points in a…

We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial…

Heaps are para-associative ternary operations bijectively exemplified by groups via the operation $(x,y,z) \mapsto x y^{-1} z$. They are also ternary self-distributive, and have a diagrammatic interpretation in terms of framed links.…

This paper considers non-Abelian homology groups of a group diagram introduced as homotopy groups of a simplicial change. We prove a theorem stating that the non-Abelian homology groups of a group diagram are isomorphic to the homotopy…

We obtain sufficient conditions for the vanishing of higher homotopy groups of the complements to hypersurfaces in ${\mathbb C}^n$ in terms of the behavior at infinity and relate the monodromy of non isolated singularities to the position…