Pith. sign in

Pita factorisation in operadic categories

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

In strictly factorisable operadic categories, every morphism $f$ factors uniquely as $f=\eta_f \circ \pi_f$ where $\eta_f$ is order-preserving and $\pi_f$ is a quasibijection that is order-preserving on the fibres of $\eta_f$. We call it the pita factorisation. In this paper we develop some general theory to compensate for the fact that generally pita factorisations do not form an orthogonal factorisation system. The main technical result states that a certain simplicial object in Cat, called the pita nerve, is oplax (rather than strict as it would be for an orthogonal factorisation system). The main application is the result that the so-called operadic nerve of any operadic category is coherent. This result is a key ingredient in the simplicial approach to operadic categories developed in the `main paper' [arXiv:2606.15671], which motivated the present paper. We also show that in the important case where quasibijections are invertible, the pita nerve is a decomposition space (a.k.a.~$2$-Segal space).

fields

math.AT 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Polynomial $2$-monads and delooping

math.AT · 2026-05-24 · unverdicted · novelty 5.0

Proves cofinality of a polynomial 2-monad morphism and applies it to reprove delooping of derived mapping spaces for infinitesimal bimodules.

citing papers explorer

Showing 1 of 1 citing paper.

  • Polynomial $2$-monads and delooping math.AT · 2026-05-24 · unverdicted · none · ref 8 · internal anchor

    Proves cofinality of a polynomial 2-monad morphism and applies it to reprove delooping of derived mapping spaces for infinitesimal bimodules.