avo11 comments on The sentence structure of mathematics

[avo11]

Does category theory have meaning component?