Related papers: Strongly Homotopy Chiral Algebroids

Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…

We consider a canonical $S^1$ action on $S^3$ which is defined by $(\rho,(z_1,z_2))\mapsto (z_1\rho^p,z_2\rho^q)$ for $\rho\in S^1$ and $(z_1,z_2)\in S^3\subset {\mathbb C}^2$. We consider a link consisting of finite orbits of this action,…

This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG…

The aim of this paper is to explain, mostly through examples, what groupoids are and how they describe symmetry. We will begin with elementary examples, with discrete symmetry, and end with examples in the differentiable setting which…

We show that H-spaces with finitely generated cohomology, as an algebra or as an algebra over the Steenrod algebra, have homotopy exponents at all primes. This provides a positive answer to a question of Stanley.

We present an application of the program of groupoidification leading up to a sketch of a categorification of the Hecke algebroid --- the category of permutation representations of a finite group. As an immediate consequence, we obtain a…

Let $\mathcal{T}$ be a Krull-Schmidt, Hom-finite triangulated category with suspension functor $[1]$. Let $R$ be a basic rigid object, $\Gamma$ the endomorphism algebra of $R$, and $\operatorname{\mathsf{pr}}(R)\subseteq \mathcal{T}$ the…

We give a criterion on a group $\pi$ and a homomorphism $w \colon \pi \to C_2$ under which closed $4$-manifolds with fundamental group $\pi$ and orientation character $w$ are classified up to homotopy equivalence by their quadratic…

In this paper, we introduce a strong property $(A)$ and we study the transfer of property $(A)$ and strong property $(A)$ in trivial ring extensions and amalgamated duplication of a ring along an ideal. We also exhibit a class of rings…

We interpret the complexes defining rack cohomology in terms of a certain differential graded bialgebra. This yields elementary algebraic proofs of old and new structural results for this cohomology theory. For instance, we exhibit two…

This is a sequel to the paper \cite{MO-mw} which identified maximally writhed algebraic links in $\rp^3$ and classified them topologically. In this paper we prove that all maximally writhed links of the same topological type are rigidly…

We present a systematic study of symmetries, invariants and moduli spaces of classes of coframes. We introduce a classifying Lie algebroid to give a complete description of the solution to Cartan's realization problem that applies to both…

We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

We introduce the category of holomorphic string algebroids, whose objects are Courant extensions of Atiyah Lie algebroids of holomorphic principal bundles, as considered by Bressler, and whose morphisms correspond to inner morphisms of the…

We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…

We construct combinatorial model category structures on the categories of (marked) categories and (marked) pre-additive categories, and we characterize (marked) additive categories as fibrant objects in a Bousfield localization of…

In this article we investigate which categorical structures of a category C are inherited by its arrow category. In particular, we show that a monoidal equivalence between two categories gives rise to a monoidal equivalence between their…

This article is an exposition of certain connections between the braid groups, classical homotopy groups of the 2-sphere, as well as Lie algebras attached to the descending central series of pure braid groups arising as Vassiliev invariants…

We define a strong homotopy derivation of (cohomological) degree k of a strong homotopy algebra over an operad P. This involves resolving the operad obtained from P by adding a generator with "derivation relations". For a wide class of…