Hacker News new | ask | show | jobs
by bob1029 1881 days ago
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.

2 comments

> 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.

Welcome to the applied category theory community :-)