La versión de esta historia presentada en el capítulo, incluyendo los nodos blanco y negro en esquemas, forma parte de una teoría más amplia de bases de datos algebraicas, donde un lenguaje de program...La versión de esta historia presentada en el capítulo, incluyendo los nodos blanco y negro en esquemas, forma parte de una teoría más amplia de bases de datos algebraicas, donde un lenguaje de programación como Java o Haskell se adjunta a una base de datos. En efecto, para las categorías se trataba de asociatividad y unidad de composición, para los funtores se trataba de respetar la composición y las identidades, y para las trans- formaciones naturales era la condición de naturalidad.
