Have you considered the next step from sets into Category Theory? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		louthy 39 days ago \| parent \| context \| favorite \| on: Set theory with types Have you considered the next step from sets into Category Theory?

bananaflag 39 days ago [–]

Yes, I am very familiar with category theory. Not sure I would consider it the "next step from sets". Sure, there are alternative foundations based on category theory, but that is not its only or its main use.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact