Related papers: Higher Homotopy Operations
This paper introduces the notion of $n$-morphisms between two $A_\infty$-algebras, such that 0-morphisms correspond to standard $A_\infty$-morphisms and 1-morphisms correspond to $A_\infty$-homotopies between $A_\infty$-morphisms. The set…
We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…
We investigate a family of polytopes introduced by E.M.\ Feichtner, A.\ Postnikov and B.\ Sturmfels, which were named nestohedra. The vertices of these polytopes may intuitively be understood as constructions of hypergraphs. Limit cases in…
We show "free theorems" in the style of Wadler for polymorphic functions in homotopy type theory as consequences of the abstraction theorem. As an application, it follows that every space defined as a higher inductive type has the same…
This article gives a brief introduction to some recent work on deformation and homotopy theories of Rota-Baxter operators and more generally $\mathcal{O}$-operators on Lie algebras, by means of the differential graded Lie algebra approach.…
An operad (this paper deals with non-symmetric operads)may be conceived as a partial algebra with a family of insertion operations, Gerstenhaber's circle-i products, which satisfy two kinds of associativity, one of them involving…
We decribe the correspondence between normalised $\omega$-operads and certain lax monoidal structures on the category of globular sets. As with ordinary monoidal categories, one has a notion of category enriched in a lax monoidal category.…
A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. We present in a unified and explicit way all these systems of orthogonal polynomials, the associated…
We define notions of higher order spectra of a complex quasi-projective manifold with an action of a finite group $G$ and with a $G$-equivariant automorphism of finite order, some of their refinements and give Macdonald type equations for…
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…
This article defines a pair of combinatorial operations on the combinatorial structure of compact right-angled hyperbolic polyhedra in dimension three called decomposition and edge surgery. It is shown that these operations simplify the…
Notions of `operad' and `multicategory' abound. This work provides a single framework in which many of these various notions can be expressed. Explicitly: given a monad * on a category S, we define the term `(S,*)-multicategory', subject to…
We review the interpretation of Whitehead products in homotopy theory as an entanglement of topological defects in ordered media.
Polyhedral products were defined by Bahri, Bendersky, Cohen and Gitler, to be spaces obtained as unions of certain product spaces indexed by the simplices of an abstract simplicial complex. In this paper we give a very general homotopy…
For each orientation-preserving homotopy equivalence between two closed oriented smooth manifolds, there are mainly two different approaches to the higher $\rho$ invariant associated to this homotopy equivalence. In this article, we show…
The homotopy theory of the blow up construction in algebraic and symplectic geometry is investigated via two approaches. The first approach introduces and develops fibrewise surgery theory, for which the fibrewise framing is characterized…
Higher derivations on an associative algebra generalizes higher order derivatives. We call a tuple consisting of an algebra and a higher derivation on it by an AssHDer pair. We define a cohomology for AssHDer pairs with coefficients in a…
A method for introducing the higher order terms in the potential expansion to study the continuous limits of the Toda hierarchy is proposed in this paper. The method ensures that the higher order terms are differential polynomials of the…
Power operations in the homology of infinite loop spaces, and $H_\infty$ or $E_\infty$ ring spectra have a long history in Algebraic Topology. In the case of ordinary mod p homology for a prime p, the power operations of Kudo, Araki, Dyer…
We study the existence and left properness of transferred model structures for "monoid-like" objects in monoidal model categories. These include genuine monoids, but also all kinds of operads as for instance symmetric, cyclic, modular,…