Pita factorisation in operadic categories
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908735067127808 |
|---|---|
| author | Batanin, Michael Kock, Joachim Weber, Mark |
| author_facet | Batanin, Michael Kock, Joachim Weber, Mark |
| contents | In strictly factorisable operadic categories, every morphism $f$
factors uniquely as $f=η_f \circ π_f$ where $η_f$ is
order-preserving and $π_f$ is a quasi\-bijection that is
order-preserving on the fibres of $η_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'
\cite{Batanin-Kock-Weber:mainpaper}, which motivated the present paper.
We also show that in the important case where quasibijections are
invertible, the pita nerve is a decomposition space. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_22794 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Pita factorisation in operadic categories Batanin, Michael Kock, Joachim Weber, Mark Category Theory In strictly factorisable operadic categories, every morphism $f$ factors uniquely as $f=η_f \circ π_f$ where $η_f$ is order-preserving and $π_f$ is a quasi\-bijection that is order-preserving on the fibres of $η_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' \cite{Batanin-Kock-Weber:mainpaper}, which motivated the present paper. We also show that in the important case where quasibijections are invertible, the pita nerve is a decomposition space. |
| title | Pita factorisation in operadic categories |
| topic | Category Theory |
| url | https://arxiv.org/abs/2512.22794 |