Category Theory for the Sciences¶
Spivak, D. I. (2014). Category Theory for the Sciences. MIT Press.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Category
- Database design. Tables (or entity types) as objects and foreign-key relations as arrows; schema migrations read as functors between schema-categories that must preserve referential structure.
This sourceModels database schemas as categories (tables as objects, foreign keys as arrows) and schema migrations as functors preserving referential structure.
- Database design. Tables (or entity types) as objects and foreign-key relations as arrows; schema migrations read as functors between schema-categories that must preserve referential structure.
Domain-specific¶
- Functor
- Database theory — schema mappings and ologs (Spivak): functorial translations between categorically-modelled data schemas
This sourceSpivak's treatment of ologs (sect. 2.3) and of database schemas and instances as categories (sect. 3.2), with functors between schemas as data migrations.
- Database theory — schema mappings and ologs (Spivak): functorial translations between categorically-modelled data schemas
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:879eac7f7ecb · see in the full table