New to set/category theory here, so this is most likely a failure on my part to ... | Hacker News

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

		ethics-gradient on Sept 19, 2023 \| parent \| context \| favorite \| on: Category Theory Illustrated – Sets New to set/category theory here, so this is most likely a failure on my part to understand what the diagram is actually depicting but, why does the Identity function diagram contain two sets? Shouldn't it'd be just the one set with one arrow "turning back on itself"?

boris_m on Sept 24, 2023 [–]

They are not 2 sets they are two diagrams, depicting the same set. You can present it like this or in the way you mentioned.

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