Text this: Linguistic and algorithmic restatement of the theory of categories