News for hackers. Stuff that matters.

A comment on Getting Started with Category Theory. Parent comment

Re:Getting Started with Category Theory by red_trumpet on Wednesday December 04, 2024 @08:55AM (#42317435)
That's a nice post, and it actually reinforces my thoughts: You already need a foundational theory before coming to category theory.
[ Parent | on HN ]
Re:Getting Started with Category Theory by sylware on Wednesday December 04, 2024 @01:25PM (#42320375)
Well... then set theory with core logic still THE foundation then.
[ Parent | on HN ]