There is a typo in part 2 of your definition of Join. `P` is supposed to be >= `A` and `B`. There are also numerous grammatical and spelling errors
Category Theory Illustrated – Orders
71–72 of 72 posts
Re: Category Theory Illustrated – Orders
#72Earlier quoted context omitted.
Is there a "mind-blowing fact" about category theory? Like the first time I've heard that one can prove there is no analytical solution for a polynomial equation with a degree > 5 with group theory , it was mind-blowing. What's the counterpart of category theory?
https://en.wikipedia.org/wiki/Abstract_nonsense https://math.stackexchange.com/questions/823289/abstract-non... Sometimes the proof in category theory is trivial but we have no lower dimension or concrete intuition as to why that is true. This whole state of affairs is called abstract nonsense.
[dead]