Things I would be interested in chatting about →
#
>
  1. Category theory, mathematical logic, meta-mathematics
→