Related papers: Homotopy linear algebra
We look at two examples of homotopy Lie algebras (also known as L_{\infty} algebras) in detail from two points of view. We will exhibit the algebraic point of view in which the generalized Jacobi expressions are verified by using degree…
This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit…
We define a homotopy relation between arrows of a category with weak equivalences, and give a condition under which the quotient by the homotopy relation yields the homotopy category. In the case of the fibrant-cofibrant objects of a model…
The goal of this paper is to prove an equivalence between the model categorical approach to pro-categories, as studied by Isaksen, Schlank and the first author, and the $\infty$-categorical approach, as developed by Lurie. Three…
Higher bundles are homotopy coherent generalisations of classical fibre bundles. They appear in numerous contexts in geometry, topology and physics. In particular, higher principal bundles provide the geometric framework for higher-group…
We analyze a general family of fibrations which, after looping, have sections. Methods are developed to determine the homotopy type of the fibre and the homotopy classes of the map from the fibre to the base. The methods are driven by…
We attach to each weak model category $\mathcal{M}$ a class of first order formulas about the fibrant objects of $\mathcal{M}$ whose validity is invariant under homotopies and weak equivalences. This is a generalization of the classical…
We classify strongly homotopy Lie algebras - also called L-infinity algebras - of one even and two odd dimensions, which are related to $2|1$-dimensional $Z_2$-graded Lie algebras. What makes this case interesting is that there are many…
We apply the theory of operadic Koszul duality to provide a cofibrant resolution of the colored operad whose algebras are prefactorization algebras on a fixed space M. his allows us to describe a notion of prefactorization algebra up to…
Quantum $L_\infty$ algebras are a generalization of $L_\infty$ algebras with a scalar product and with operations corresponding to higher genus graphs. We construct a minimal model of a given quantum $L_\infty$ algebra via the homological…
We define the fundamental group of a Hopf algebra over a field. For this purpose we first consider gradings of Hopf algebras and Galois coverings. The latter are given by linear categories with new additional structure which we call Hopf…
The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of…
$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…
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…
In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant…
A homotopy commutative algebra, or $C_{\infty}$-algebra, is defined via the Tornike Kadeishvili homotopy transfer theorem on the vector space generated by the set of Young tableaux with self-conjugated Young diagrams. We prove that this…
We provide new $\infty$-categorical models for unstable and stable global homotopy theory. We use the notion of partially lax limits to formalize the idea that a global object is a collection of $G$-objects, one for each compact Lie group…
This paper contains two results on how homotopy limits of topological spaces interact with connectivity. The first is a formula for the connectivity of the homotopy limit of diagrams shaped over suitably finite categories, in terms of the…
We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…
The paper is the survey of the modern results and applications of the theory of homotopes. The notion of a well-tempered element in an associative algebra is introduced and it is proven that the category of representations of the homotope…