www.entitymodelling.org - entity modelling introduced from first principles - relational database design theory and practice - dependent type theory
Thinking abstractly about data and how it is (a) described and (b) presented leads to this diagram with its pleasing symmetry.