News for hackers. Stuff that matters.

A comment on Category theory is a universal modeling language. Parent comment

Re:Category theory is a universal modeling language by wisnesky on Thursday April 29, 2021 @03:26PM (#26985471)
The answer is yes. There's even a notion of 'categorical normal form' that extends 3NF that guarantees the direct representability of such relational databases as set-valued functors. Spivak talks about it in e.g. http://math.mit.edu/~dspivak/informatics/FunctorialDataMigra...
[ Parent | on HN ]
Re:Category theory is a universal modeling language by bob1029 on Thursday April 29, 2021 @03:36PM (#26985620)
Thank you for this. I was having a hard time finding Batman and Mr. Wayne in the same document at the same time. Definition 1.1.1 is blowing my mind right now.

It would seem I should dive into category theory to see how far this rabbit hole goes. From a practical modeling perspective, there certainly feels like a "done/correct" point where any further normalization seems wrong, even if you ignore all the specific rules.

[ Parent | on HN ]
Re:Category theory is a universal modeling language by gmfawcett on Thursday April 29, 2021 @04:53PM (#26986546)
> It would seem I should dive into category theory to see how far this rabbit hole goes.

And that was the last we ever heard from bob1029.

[ Parent | on HN ]
Re:Category theory is a universal modeling language by wisnesky on Thursday April 29, 2021 @04:04PM (#26986007)
Welcome to the applied category theory community :-)
[ Parent | on HN ]