Operadic Fibrations and Unary Operadic 2-categories
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913535592759296 |
|---|---|
| author | Trnka, Dominik |
| author_facet | Trnka, Dominik |
| contents | We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor $\int_\mathbb{O}$ which takes categorical $\mathbb{O}$-operads to operadic functors over $\mathbb{O}$, and we characterise its essential image by certain lifting properties. Such operadic functors are called operadic fibration. Our theory is an extension of the discrete (unary) operadic case and, in some sense, of the classical Grothendieck construction of a categorical presheaf. For the terminal unary operadic category $\odot$, a categorical $\odot$-operad is a strict monoidal category $\mathscr{V}$ and its Grothendieck construction $\int_\odot \mathscr{V}$ is connected to the `Para' construction appearing in machine learning. The 2-categorical setting provides a characterisation of $\mathbb{O}$-operads valued in $\mathscr{V}$ as operadic functors $\mathbb{O} \to \int_\odot \mathscr{V}$. Last, we describe a left adjoint to $\int_\odot$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_05064 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Operadic Fibrations and Unary Operadic 2-categories Trnka, Dominik Category Theory Algebraic Topology We introduce unary operadic 2-categories as a framework for operadic Grothendieck construction for categorical $\mathbb{O}$-operads, $\mathbb{O}$ being a unary operadic category. The construction is a fully faithful functor $\int_\mathbb{O}$ which takes categorical $\mathbb{O}$-operads to operadic functors over $\mathbb{O}$, and we characterise its essential image by certain lifting properties. Such operadic functors are called operadic fibration. Our theory is an extension of the discrete (unary) operadic case and, in some sense, of the classical Grothendieck construction of a categorical presheaf. For the terminal unary operadic category $\odot$, a categorical $\odot$-operad is a strict monoidal category $\mathscr{V}$ and its Grothendieck construction $\int_\odot \mathscr{V}$ is connected to the `Para' construction appearing in machine learning. The 2-categorical setting provides a characterisation of $\mathbb{O}$-operads valued in $\mathscr{V}$ as operadic functors $\mathbb{O} \to \int_\odot \mathscr{V}$. Last, we describe a left adjoint to $\int_\odot$. |
| title | Operadic Fibrations and Unary Operadic 2-categories |
| topic | Category Theory Algebraic Topology |
| url | https://arxiv.org/abs/2410.05064 |