Related papers: Connections up to homotopy and characteristic clas…

There is a well-established procedure of assigning a strong homotopy Lie algebra of local observables to a multisymplectic manifold which can be regarded as part of a categorified Poisson structure. For a 2-plectic manifold, the resulting…

We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical…

A general method for the construction of smooth flat connections on 3-manifolds is introduced. The procedure is strictly connected with the deduction of the fundamental group of a manifold M by means of a Heegaard splitting presentation of…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

In recent years, the notion of characteristic polynomial of representations of Lie algebras has been widely studied. This paper provides more properties of these characteristic polynomials. For simple Lie algebras, we characterize the…

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…

In this paper we study the homotopy theory of parameterized spectrum objects in the $\infty$-category of $(\infty, 2)$-categories, as well as the Quillen cohomology of an $(\infty, 2)$-category with coefficients in such a parameterized…

We give a survey of cyclic homology/cohomology theory including a detailed discussion of cyclic theories for various classes of topological algebras. We show how to associate cyclic classes with Fredholm modules and $K$-theory classes and…

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…

2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to categorical coherence theory. We place a…

Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…

One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…

We prove two representability theorems, up to homotopy, for presheaves taking values in a closed symmetric combinatorial model category \cat V. The first theorem resembles the Freyd representability theorem, the second theorem is closer to…

These notes form the next episode in a series of articles dedicated to a detailed proof of a cohomological index formula for transversally elliptic pseudo-differential operators and applications. The first two chapters are already available…

Category theory has foundational importance because it provides conceptual lenses to characterize what is important in mathematics. Originally the main lenses were universal mapping properties and natural transformations. In recent decades,…

Motivated by our attempt to understand characteristic classes of Lie groupoids and geometric structures, we are brought back to the fundamentals of the cohomology theories of Lie groupoids and algebroids. One element that was missing in the…

We prove an equivalence of categories from formal complex structures with formal holomorphic maps to homotopy algebras over a simple operad with its associated homotopy morphisms. We extend this equivalence to complex manifolds. A complex…

Let G be a group which is topologically a CW-complex, BG a classifying space for G, and A a discrete abelian group. To a central extension of G by A, one can associate a cohomology class in $H^2(BG,A)$. We show this association is…

Using a basic idea of Sullivan's rational homotopy theory, one can see a Lie groupoid as the fundamental groupoid of its Lie algebroid. This paper studies analogues of Lie algebroids with non-trivial higher homotopy. Using various homotopy…