/sci/ - Science & Math

This was just uploaded. I remember you like her.

https://youtu.be/8xWZpec9pwM

>>9652111
That's a bit like asking
>how does language apply to a theather play
I talked about the group example also totally in terms of normal undergrad abstract algebra. Category theory on its own is a language and, as a theory, has few theorems.
If you break up the initial category theory axioms from the 40's to richer structures, you get more of what looks like a mathematical theory, but then it either starts to mirror set theory or homotopy theory.
To answer your question, though, category theory puts focus on some small but rich concepts that were always there but drops everything around it. Universal properties and arrows in particular. If you e.g. want to talk about the tensor product in terms of what it does to you, arrows and diagrams are the natural way to talk about it and that certainly is linear algebra related.
I can post some introductory pages from a book that I really like, if you promise you read it. It gives what I want to all an almost emotional preface to stating the axioms of a category.

>>9521216
No I didn't, I work in Augmented Reality now. Pretty cash.

Also, if you're interested I incidentally wanted to start working on a Haskell compiler project that would result in a $60,000 price money. As an expert, you'd do end up doing much more coding than I in the end, but if you're interested agreeing to $30,000 too, I have a job :)