Pith. sign in

REVIEW 1 cited by

Properadic homotopical calculus

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1910.05027 v2 pith:3NVMXXY3 submitted 2019-10-11 math.QA math.CT

Properadic homotopical calculus

Eric Hoffbeck , Johan Leray , Bruno Vallette This is my paper
classification math.QA math.CT
keywords homotopycalculuspropertiesgovernsproperadicalgebrasapplicationarticle
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

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 series, we generalise the seminal notion of infini-morphisms and the ubiquitous homotopy transfer theorem. As an application, we recover the homotopy properties of involutive Lie bialgebras developed by Cieliebak--Fukaya--Latschev and we produce new explicit formulas.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Obstruction sequences to homotopy equivalences

    math.AT 2025-09 conditional novelty 6.0

    Gauge-theoretic obstruction sequences characterize homotopy equivalences between algebras over properads and colored operads, with applications to minimal models over general fields and in etale cohomology.