Functorial aggregation
This paper investigates multi-variable polynomials, but instead of sets of variables the polynomials in this paper have categories of variables. The synopsis of the paper goes as follows.\N\N\begin{itemize}\N\item[\S 2] introduces the category \(\boldsymbol{Poly}\) of polynomial functors in one variable.\N\N\item[\S 3] generalizes to multi-variable polynomials comprising a framed bicategory \(\mathbb{C}\boldsymbol{at}^{\#}\) called the \textit{polynomial ecosystem}.\N\N\item[\S 4] demonstrates abstractly an equivalence between \(\mathbb{C}\boldsymbol{at}^{\#}\) and the framed bicategory of polynomial comonads, comonad morphisms and bicomodules, which is an generalization of \textit{D. Ahman} and \textit{T. Uustalu} [Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 89--98 (2016; Zbl 1477.68169)]. The authors give a nice description of the prafunctors between presheaf categories in terms of polynomial comonads, concluding that bicomodules between polynomial comonads are prafunctors between copresheaf categories.\N\N\item[\S 5] unpacks the details of the above correspondence concretely.\N\N\item[\S 6] addresses two important subcategories of \(\mathbb{C}\boldsymbol{at}^{\#}\), namely, the full sub framed bicategory spanned by the discrete categories equivalent to Gambino and Kock's framed bicategory \(\mathbb{P}\boldsymbol{olyFun}_{\boldsymbol{Set}}\) \ [\textit{N. Gambino} and \textit{J. Kock}, Math. Proc. Camb. Philos. Soc. 154, No. 1, 153--192 (2013; Zbl 1278.18013)] as well as the ordinary framed bicategory of categories, functors and profunctors.\N\N\item[\S 7] gives two monoidal structures on multi-variable polynomials, namely, a global monoidal structure on a category of all multivariable polynomials, regardless of their input- and output-types, and local monoidal structures on the categories \(\mathbb{C}\boldsymbol{at}^{\#}\left( c,d\right) \) for fixed \(c\) and \(d\). The authors construct the global structure directly from the single-variable structure on \(\boldsymbol{Poly}\), deducing the local one via the theory of monoidal fibrations [\textit{M. Shulman}, Theory Appl. Categ. 20, 650--738 (2008; Zbl 1192.18005)].\N\N\item[\S 8] put the pieces together to explain how aggregation fits into \(\mathbb{C}\boldsymbol{at}^{\#}\).\N\end{itemize}
- Algebraic databases
- Categorical logic and type theory
- Directed containers as categories
- Enriched categories as a free cocompletion
- Entity-relationship-attribute designs and sketches
- Framed bicategories and monoidal fibrations
- Functorial data migration
- scientific article; zbMATH DE number 3933292 (Why is no real title available?)
- scientific article; zbMATH DE number 3742230 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 1956503 (Why is no real title available?)
- scientific article; zbMATH DE number 2139647 (Why is no real title available?)
- scientific article; zbMATH DE number 5256216 (Why is no real title available?)
- Inner automorphisms of groupoids
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- On the structure of categories of coalgebras
- Polynomial functors and polynomial monads
- Polynomial functors. A mathematical theory of interaction
- String diagrams for traced and compact categories are oriented 1-cobordisms
- The formal theory of monads
- The geometry of tensor calculus. I
- Types for Proofs and Programs
This page was built for publication: Functorial aggregation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7007222)
