Sorry, but could anyone share some background (reading, links, etc.) on set vs. ... | Hacker News

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

		ughitsaaron on July 5, 2023 \| parent \| context \| favorite \| on: Type system updates: moving from research into dev... Sorry, but could anyone share some background (reading, links, etc.) on set vs. category theory as applied type systems?

daxfohl on July 5, 2023 [–]

Mostly about proof assistants, but type systems are fundamentally related https://mathoverflow.net/questions/376839/what-makes-depende...

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