News for hackers. Stuff that matters.

A comment on A monad is a monoid in the category of endofunctors, what’s the problem?. Parent comment

Re:A monad is a monoid in the category of endofunctors, what... by autocorrect23 on Sunday February 10, 2019 @01:10PM (#19129062)
What is a good textbook in abstract algebra for the beginner?
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by zozbot123 on Sunday February 10, 2019 @04:58PM (#19130338)
Somewhat less of a "textbook", but good at showing applications of category theory - Fong, Spivak: Seven Sketches in Compositionality https://arxiv.org/abs/1803.05316

(Notably, this includes application to a "graphical" treatment of fairly-elementary linear algebra, which a different HN user is mentioning even as I write this, as a part of math where CT cannot possibly be useful and will only ever confuse students!)

[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by umanwizard on Sunday February 10, 2019 @01:26PM (#19129159)
It depends what "beginner" means -- what's your level of sophistication? Are you a budding mathematician or just an interested programmer?
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by autocorrect23 on Sunday February 10, 2019 @02:21PM (#19129478)
Assume I know 0 math and want to learn mathematics for mathematics sake. What is the most gentle intro to algebra book?
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by loparal on Sunday February 10, 2019 @11:03PM (#19131972)
True Beauty of Math Volumes I and II. These build up math from the ground up starting with sets and assume you have zero knowledge of math. What's cool is that you don't use any theorems, structures, or notation that you haven't proven or introduced previously in one of the books. I've found them to be very valuable in both understanding the topics that they cover and giving an intuitive understanding of math as process (which the all the classes I took in college tended to gloss over).

The first volume is roughly about set theory and the second volume is roughly about abstract algebra.

https://truebeautyofmath.com/

https://www.amazon.com/True-Beauty-Math-Foundations/dp/15120...

https://www.amazon.com/True-Beauty-Math-Giving-Life/dp/15448...

[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by autocorrect23 on Monday February 11, 2019 @09:12AM (#19134558)
Bought the first book. Thanks for the recommendation!
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by umanwizard on Sunday February 10, 2019 @10:56PM (#19131946)
If you know 0 math I would start with basic arithmetic (+, -, *, /) before doing anything else.
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by smadge on Sunday February 10, 2019 @06:06PM (#19130716)
My undergraduate Abstract Algebra course used Gallian’s “Contemporary Abstract Algebra.” Unfortunately if you are truly looking for an introduction assuming no mathematics, you will need to learn high school algebra and a bit about sets and proofs first.
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by Koshkin on Sunday February 10, 2019 @07:43PM (#19131214)
Pinter's A Book of Abstract Algebra.
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by pdpi on Sunday February 10, 2019 @01:45PM (#19129282)
A good recent release is Bartosz Milewski's Category Theory for Programmers.

https://bartoszmilewski.com/2014/10/28/category-theory-for-p...

[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by Koshkin on Sunday February 10, 2019 @07:41PM (#19131201)
In the order of increasing complexity and/or volume: Pinter, Fraleigh, Rotman, Dummit & Foote.
[ Parent | on HN ]
Re:A monad is a monoid in the category of endofunctors, what... by danharaj on Sunday February 10, 2019 @02:09PM (#19129411)
I like Algebra by Mac Lane and Birkhoff, if by beginner you mean undergraduate.
[ Parent | on HN ]