Sets, logic, and categories | lit.salon