Text this: Logic and categories as tools for building theories