Metaphor: Web-based Functorial Data Migration
From the webpage:
Metaphor is a web-based implementation of functorial data migration. David Spivak and Scott Morrison are the primary contributors.
I discovered this while running some of the FQL material to ground.
While I don’t doubt the ability of category theory to create mappings between relational schemas, what I am not seeing is the basis for the mapping.
In other words, assume I have two schemas with only one element in each one, firstName in one and givenName in the other. Certainly I can produce a mapping between those schemas.
Question: On what basis did I make such a mapping?
In other words, what properties of those subjects had to be the same or different in order for me to make that mapping?
Unless and until you know that, how can you be sure that your mappings agree with those I have made?