Functorial aggregation
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917520837967872 |
|---|---|
| author | Spivak, David I. Garner, Richard Fairbanks, Aaron David |
| author_facet | Spivak, David I. Garner, Richard Fairbanks, Aaron David |
| contents | We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may themselves be understood as generalized polynomial functors. They are also called data migration functors because of applications in categorical database theory. We investigate several universal constructions in the framed bicategory of categories, retrofunctors, and parametric right adjoints. We then use the theory we develop to model database aggregation alongside querying, all within this rich ecosystem. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2111_10968 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Functorial aggregation Spivak, David I. Garner, Richard Fairbanks, Aaron David Category Theory Databases 18D65, 18M05 H.0 We study polynomial comonads and polynomial bicomodules. Polynomial comonads amount to categories. Polynomial bicomodules between categories amount to parametric right adjoint functors between corresponding copresheaf categories. These may themselves be understood as generalized polynomial functors. They are also called data migration functors because of applications in categorical database theory. We investigate several universal constructions in the framed bicategory of categories, retrofunctors, and parametric right adjoints. We then use the theory we develop to model database aggregation alongside querying, all within this rich ecosystem. |
| title | Functorial aggregation |
| topic | Category Theory Databases 18D65, 18M05 H.0 |
| url | https://arxiv.org/abs/2111.10968 |