Is it possible to formulate category theory without set theory? | Hacker News Reader