3 ms·

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 enti

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.

RossBencina 10y ago
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 https://en.wikipedia.org/wiki/Monoid [1] "Brian Beckman: Don't fear the Monad" https://www.youtube.com/watch?v=ZhuHCtR3xq8 https://www.youtube.com/watch?v=ZhuHCtR3xq8
tel 10y ago
Groupoids, a generalization of groups, factor heavily into type theory!
empath75 10y ago
I think what you want is Category Theory.