Polynomial comonads amount to categories and polynomial bicomodules amount to parametric right adjoint functors, enabling a model of database aggregation alongside querying inside a framed bicategory of categories, retrofunctors, and parametric right adjoints.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CT 1years
2021 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Functorial aggregation
Polynomial comonads amount to categories and polynomial bicomodules amount to parametric right adjoint functors, enabling a model of database aggregation alongside querying inside a framed bicategory of categories, retrofunctors, and parametric right adjoints.