News for hackers. Stuff that matters.

A comment on What Is Abstract Algebra? [video]. Parent comment

Re:What Is Abstract Algebra? [video] by stillworks on Wednesday December 28, 2016 @03:25AM (#13269239)
I always had a strong belief that principles of Group Theory must correlate into writing type systems.

Just looked at the ToC of this book and there is an entire chapter on Groups in that book ! Not only Groups but also goes into Rings as well...

Must read this book.

[ Parent | on HN ]
Re:What Is Abstract Algebra? [video] by RossBencina on Wednesday December 28, 2016 @07:56AM (#13270167)
In a Group, every element has an inverse element. If you drop this property, you get a Monoid.[0] Functions under function composition form a Monoid (or Monoidal Category). Brian Beckman did a nice intro video to this at MS Channel 9 a few years back.[1]

[0] https://en.wikipedia.org/wiki/Monoid

[1] "Brian Beckman: Don't fear the Monad" https://www.youtube.com/watch?v=ZhuHCtR3xq8

[ Parent | on HN ]
Re:What Is Abstract Algebra? [video] by tel on Wednesday December 28, 2016 @09:14AM (#13270552)
Groupoids, a generalization of groups, factor heavily into type theory!
[ Parent | on HN ]
Re:What Is Abstract Algebra? [video] by empath75 on Wednesday December 28, 2016 @09:58AM (#13270835)
I think what you want is Category Theory.
[ Parent | on HN ]