Comment by mcphage

> I think there's also the argument that the government should not be pushing social ideology, period.

And Category Theory is social ideology?