Related papers: Cofibration and Model Category Structures for Disc…

We construct explicitly a class of coboundary Poisson-Lie structures on the group of formal diffeomorphisms of ${\Bbb R}^n$. Equivalently, these give rise to a class of coboundary triangular Lie bialgebra structures on the Lie algebra $W_n$…

We classify the homotopy classes of proper Fredholm maps from an infinite dimensional Hilbert manifold into its model space in terms of a suitable version of framed cobordism. Our construction is an alternative approach to the…

In this paper, we show that two constructions form stacks: Firstly, as one varies the $\infty$-topos, $\mathcal{X}$, Lurie's homotopy theory of higher categories internal to $\mathcal{X}$ varies in such a way as to form a stack over the…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

We present a new flavor of TAF-type (co)homology theories, which are p-local of height two and based on the isometry group of the odd unimodular hermitian lattice of signature (1,1) over the Gaussian integers. Using a suitable family of…

We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group,…

The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy…

We investigate algebraic and compositional properties of abstract multiway rewriting systems, which are archetypical structures underlying the formalism of the Wolfram model. We demonstrate the existence of higher homotopies in this class…

In this paper, we consider the model structure on the category of cellular sets originally conjectured by Cisinski and Joyal to give a model for the homotopy theory of weak (\omega)-categories. We demonstrate first that any…

In arXiv:1905.07734 we presented a construction that is an analogue of Pontryagin's for proper maps in stable dimensions. This gives a bijection between the cobordism set of framed embedded compact submanifolds in $W\times\mathbb{R}^n$ for…

Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This…

We study homotopy groups of spaces of long links in Euclidean space of codimension at least three. With multiple components, they admit split injections from homotopy groups of spheres. We show that, up to knotting, these account for all…

Using the theory of extensions of L-infinity algebras, we construct rational homotopy models for classifying spaces of fibrations, giving answers in terms of classical homological functors, namely the Chevalley-Eilenberg and Harrison…

In a previous paper we classified the homotopy classes of proper Fredholm maps from an infinite dimensional Hilbert manifold to its model space in terms of a suitable version of framed cobordism. We explicitly computed these homotopy…

In this paper we prove that, taking $X$ a Hausdorff topological space, the homotopy groups of the spaces $SP_{m}(X)$ and $F_{m}(X)$, both called symmetric products, are monomorphic. We also introduce a new algebraic tool in topology: the…

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

Let $X$ be a compact toric variety. Let $Hol$ denote the space of based holomorphic maps from $CP^1$ to $X$ which lie in a fixed homotopy class. Let $Map$ denote the corresponding space of continuous maps. We show that $Hol$ has the same…

Pseudotopological spaces are the Cartesian closed hull of the category of \v{C}ech closure spaces. In this paper, we give a direct proof that the model category of the pseudotopological spaces constructed by Rieser is Quillen equivalent to…

We define and develop the infrastructure of homotopical inverse diagrams in categories with attributes. Specifically, given a category with attributes $C$ and an ordered homotopical inverse category $I$, we construct the category with…