Related papers: Strong homotopy properads
A strongly Fregean algebra is an algebra such that the class of its homomorphic images is Fregean and the variety generated by this algebra is congruence modular. To understand the structure of these algebras we study the prime intervals…
We show that the sum over planar trees formula of Kontsevich and Soibelman transfers C-infinity structures along a contraction. Applying this result to a cosimplicial commutative algebra A^* over a field of characteristic zero, we exhibit a…
We address the homotopy theory of 2-crossed modules of commutative algebras, which are equivalent to simplicial commutative algebras with Moore complex of length two. In particular, we construct for maps of 2-crossed modules a homotopy…
We prove some injectivity theorems. Our proof depends on the theory of mixed Hodge structures on cohomology groups with compact support. Our injectivity theorems would play crucial roles in the minimal model theory for higher-dimensional…
We revisit the construction of stable envelopes in equivariant elliptic cohomology [arXiv:1604.00423] and give a direct inductive proof of their existence and uniqueness in a rather general situation. We also discuss the specialization of…
Using Reedy techniques, this paper gives a correct proof of the left properness of the q-model structure of flows. It fixes the preceding proof which relies on an incorrect argument. The last section is devoted to fix some arguments…
We introduce the weighted path homology on the category of weigh\-ted directed hypergraphs and describe conditions of homotopy invariance of weighted path homology groups. We give several examples that explain the nontriviality of the…
We define and study complex structures and generalizations on spaces consisting of geodesics or harmonic maps that are compatible with the symmetries of these spaces. The main results are about existence and uniqueness of such structures.
The optimal use of resources has motivated the engineering community to employ controlled distribution of material within their structural designs, often relying on cellular and lattice porous structures. In this research work, a…
We introduce and classify the objects that appear in the title of the paper
We prove a conjecture about the constructibility of coinductive types - in the principled form of indexed M-types - in Homotopy Type Theory. The conjecture says that in the presence of inductive types, coinductive types are derivable.…
The notion of crossed modules for Lie 2-algebras is introduced. We show that, associated to such a crossed module, there is a strict Lie 3-algebra structure on its mapping cone complex and a strict Lie 2-algebra structure on its…
We investigate various homotopy invariant formulations of commutative algebra in the context of rational homotopy theory. The main subject is the complete intersection condition, where we show that a growth condition implies a structure…
A matrix (and any associated linear system) will be referred to as structured if it has a small displacement rank. It is known that the inverse of a structured matrix is structured, which allows fast inversion (or solution), and reduced…
In this paper, we classify the compatible left-symmetric superalgebra structures on the super-Virasoro algebras satisfying certain natural conditions.
We compute the homotopy derivations of the properads governing even and odd Lie bialgebras as well as involutive Lie bialgebras. The answer may be expressed in terms of the Kontsevich graph complexes. In particular, this shows that the…
Inspired by the classical theory of modules over a monoid, we give a first account of the natural notion of module over a monad. The associated notion of morphism of left modules ("Linear" natural transformations) captures an important…
In this paper, we develop a method for constructing left-orders on the fundamental groups of rational homology 3-spheres. We begin by constructing the holonomy extension locus of a rational homology solid torus $M$, which encodes the…
In this paper we study transversely holomorphic foliations of complex codimension one with some hypothesis on the transverse structure.
Invertibility is an important concept in category theory. In higher category theory, it becomes less obvious what the correct notion of invertibility is, as extra coherence conditions can become necessary for invertible structures to have…