When I first read Catabase it thought it was going to be a database of cats. Not gonna lie, was a little disappointed when I saw it was for categories.
A related thought (but likely outside of the goals for catabase) – it would be really great if there is a method/science that can help to identify if the data set I have at hand, forms a Group or a Category
That is: I give a bunch of JSON objects, where I ‘mark’ which attributes compose the ‘unique ID’ of a given JSON object.
And in reply, the magic method, gives me back:
“under ‘string concatenation’ this set object forms a non-abelian group.”
That is all JSONs in the set I provided, have unique IDs, and every unique ID was formed by concatenation of other Unique IDs.
With that capability working, the next feature would be: take any JSON fields in given objects (as long at it is present in every JSON) – and run a ‘simulation’ to see which one of those fields form ‘IDs’ that make category under which operation.
With the overall goal to find categorical structures in a given set of data.
A prototype instance is published here.
I never got my head around category theory in the way I’d like. Perhaps this will give me an example-based approach and help me to understand more. This is cool.