News for hackers. Stuff that matters.

A comment on From Sets to Categories. Parent comment

Re:From Sets to Categories by Nesco on Wednesday August 14, 2024 @05:11PM (#41250532)
> “There real use-cases”

> Proceed to link to a non-constructive proof

Why are mathematicians like this?

[ Parent | on HN ]

There are no comments on this comment yet.