Ask HN: Relationship between set theory and category theory | Heykuki News