[bcheung]

CT is universal in the sense that if you understand how it is applied in one domain you can easily apply it to others.

The problem with CT education IMO is that it cannot be taught at the abstraction level only -- there are too many floating abstractions that people can't anchor to any existing knowledge.

This means CT can only REALLY be understood once you apply it to a domain. The problem is that not many people outside of mathematicians understand the domains that CT is traditionally taught with.

CT for Engineers, CT for Programmers, CT for XYZ, is probably the only viable way CT is going to see wider adoption.

[Koshkin]

In CT terms, "CT has a universal property..."