Pith. sign in

REVIEW 1 cited by

Algebras over infinity-operads

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 1110.1776 v2 pith:N43ZJ5AC submitted 2011-10-08 math.AT math.CT

Algebras over infinity-operads

Gijs Heuts This is my paper
classification math.AT math.CT
keywords algebrascocartesiandendroidalinfinity-categorysetscocartdefinitionequivalence
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets and extends Lurie's definition of a coCartesian fibration of simplicial sets. We show how, for a dendroidal set X, the coCartesian fibrations over X fit together to form an infinity-category coCart(X). Using a generalization of the Grothendieck construction, we prove that coCart(X) is equivalent to the infinity-category of algebras in infinity-categories over the simplicial operad associated to X. This equivalence can be restricted to give an equivalence between algebras taking values in infinity-groupoids (or equivalently, spaces) and the infinity-category of so-called left fibrations over X.

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. Colimits in Oriented Category Theory

    math.AT 2026-08 conditional novelty 7.0

    Oriented colimits generalize lax colimits and the Gray tensor product and yield a Gray-enriched straightening equivalence between presheaves and cocartesian fibrations of (∞,∞)-categories.