Categories and types in logic, language, and physics | lit.salon