News for hackers. Stuff that matters.
Re:Abstract Algebra (2016) [pdf] by platform on Friday March 10, 2017 @04:46PM (#13842438)
abstract algebra is foundation for

a) arithmetic as applied to 'Classes'. Eg overloading arithmetic operators that work on custom classes -- is, in a way, what abstract algebra does .

b) Interval arithmetic. For example alen algebra applied to arithmetic of time intervals

c) relational database theory as relates to various ways to construct functions on relations.

d) type theory (see https://homotopytypetheory.org/book/ )

e) combinatorics and linear programming (basically being able to express recursive and generative constructs, and reason about them).

Re:Abstract Algebra (2016) [pdf] by Smaug123 on Saturday March 11, 2017 @11:14AM (#13845878)
Though note that HoTT is not the only approach to type theory; there are many others.