@standupmaths in the category of maths topics under 'pureness' order, category theory is a limit