Francesca Pratali

activity

20242026

collaborators

Showing 2025 · math.ATShow all

4 papers · 2 filters

math.AT2025

Relative operads model $\infty$ -operads

Kensuke Arakawa, Victor Carmona, Francesca Pratali

Given a (colored) operad and a set of unary operations, we can form an associated $\infty$ -operad via localization. We show that localization determines an equivalence of homotopy…

math.AT2025

The root functor

Francesca Pratali

In this paper, we show that any $\infty$ -operad is equivalent to the localization of a discrete $Σ$ -free operad; this result extends Joyal's delocalization theorem for categories t…

math.AT2025

Rectification of dendroidal left fibrations

Francesca Pratali

For a discrete colored operad $P$ , we construct an adjunction between the category of dendroidal sets over the nerve of $P$ and the category of simplicial $P$ -algebras, and prove t…

math.AT2025

A straightening-unstraightening equivalence for $\infty$ -operads

Francesca Pratali

We provide a straightening-unstraightening adjunction for $\infty$ -operads in Lurie's formalism, and show it establishes an equivalence between the $\infty$ -category of operadic le…

Relative operads model ∞-operads

The root functor

Rectification of dendroidal left fibrations

A straightening-unstraightening equivalence for ∞-operads

Relative operads model $\infty$ -operads

A straightening-unstraightening equivalence for $\infty$ -operads