News for hackers. Stuff that matters.
Re:With Category Theory, Mathematics Escapes from Equality (... by throwoutway on Sunday March 27, 2022 @02:39PM (#30822805)
What exists in the most elementary side?
Re:With Category Theory, Mathematics Escapes from Equality (... by Koshkin on Sunday March 27, 2022 @03:59PM (#30823518)
On a reasonably elementary level, I like Perrone's Notes (with examples from basic math) and Barr's book "for computer scientists."

Books for a more general audience I know of are Conceptual Mathematics by Lawvere and Schanuel, and one "for the sciences" by Spivak.