News for hackers. Stuff that matters.

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

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 ]

There are no comments on this comment yet.