Related papers: On the homotopy transfer of $A_\infty$ structures

This article provides a detailed and rigorous study of $4d$ semi-holomorphic Chern-Simons theories and their associated $2d$ integrable field theories from the homological perspective of $L_\infty$-algebras. Through the use of homotopy…

The study of homotopy theoretic phenomena in the language of type theory is sometimes loosely called `synthetic homotopy theory'. Homotopy theory in type theory is only one of the many aspects of homotopy type theory, which also includes…

Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for…

Let $M$ be a smooth manifold and $F$ be a vector field on $M$. My article ["Smooth shifts along trajectories of flows", Topol. Appl. 130 (2003) 183-204, arXiv:math/0106199] concerning the homotopy types of the group of diffeomorphisms…

Building on Kadeishvili's original theorem inducing $A_\infty$-algebra structures on the homology of dg-algebras, several directions of algorithmic research in $A_\infty$-algebras have been pursued. In this paper we will survey work done on…

The article is developing homological algebra in modules over non-unital rings and algebras. The main application is the definition and study of (directed) homology of $(\infty,1)$-categories and of directed spaces, including relative…

$G_\infty$-structure is shown to exist on the deformation complex of a morphism of associative algebras. The main step of the construction is extension of a $B_\infty$-algebra by an associative algebra. Actions of $B_\infty$-algebras on…

In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in…

The aim of this paper is to introduce the concepts of homotopical smallness and closeness. These are the properties of homotopical classes of maps that are related to recent developments in homotopy theory and to the construction of…

We consider inner deformations of families of $A_\infty$-algebras. With the help of noncommutative Cartan's calculus, we prove the invariance of Hochschild (co)homology under inner deformations. The invariance also holds for cyclic…

Many introductions to homotopy type theory and the univalence axiom gloss over the semantics of this new formal system in traditional set-based foundations. This expository article, written as lecture notes to accompany a 3-part mini course…

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.…

By introducing various topologies on the homotopy groups of a topological space, some researchers make these well known notions in algebraic topology more useful and powerful. In this paper, first we recall and review some known topologies…

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…

Persistent homology typically studies the evolution of homology groups $H_p(X)$ (with coefficients in a field) along a filtration of topological spaces. $A_\infty$-persistence extends this theory by analysing the evolution of subspaces such…

Homotopy links have proven to be one of the most powerful tools of stratified homotopy theory. In previous work, we described combinatorial models for the generalized homotopy links of a stratified simplicial set. For many purposes, in…

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, ``functors between two homotopy theories form a homotopy theory'', or more precisely that the category of such models…

We develop a symmetric analog of brace algebras and discuss the relation of such algebras to $L_{\infty}$-algebras. We give an alternate proof that the category of symmetric brace algebras is isomorphic to the category of pre-Lie algebras.…

Entropy can signify different things: For instance, heat transfer in thermodynamics or a measure of information in data analysis. Many entropies have been introduced and it can be difficult to ascertain their different importance and…

In this paper, we initiate the generalisation of the operadic calculus which governs the properties of homotopy algebras to a properadic calculus which governs the properties of homotopy gebras over a properad. In this first article of a…