Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Seems approachable, reading the first chapter ...

https://www.amazon.ca/Algebra-Chapter-0-Paolo-Aluffi/dp/0821847813/

I've got this and went through some of it https://www.goodreads.com/book/show/8295305-a-book-of-abstract-algebra

Enjoyed it at the time but didn't get through it

I'll probably try revisit it again :grinning_face_with_smiling_eyes:

The Pinter book is _awesome_, one of my favorite pieces of mathematics writing.

I find Aluffi to be an interesting read if you have some background knowledge in both CT and algebra to begin with, but it would be a pretty intense introduction to both

Seems approachable, reading the first chapter ...

https://www.amazon.ca/Algebra-Chapter-0-Paolo-Aluffi/dp/0821847813/

I've got this and went through some of it

https://www.goodreads.com/book/show/8295305-a-book-of-abstract-algebra

Enjoyed it at the time but didn't get through it

I'll probably try revisit it again :grinning_face_with_smiling_eyes:

The Pinter book is _awesome_, one of my favorite pieces of mathematics writing.

I find Aluffi to be an interesting read if you have some background knowledge in both CT and algebra to begin with, but it would be a pretty intense introduction to both