1. 15
  1. 3

    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.

    1. 2

      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.

      1. 1

        A prototype instance is published here.

        1. 1

          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.