Yes, I agree: you can easily do a bachelor's degree in either mathematics or computer science without ever being taught category theory (though the chances are

Yes, I agree: you can easily do a bachelor's degree in either mathematics or computer science without ever being taught category theory (though the chances are you'd hear it mentioned a few times). More specific evidence to go with jfarmer's: I read mathematics at the University of Cambridge -- like UChicago, an absolutely first-rate institution and not one that gives its students an easy ride -- and there category theory is not part of the undergraduate curriculum. It is one of the courses you can take in "Part III", which is a one-year taught master's degree[1]. [1] Until very recently, the best way to describe it was "a one-year taught master's degree that inexplicably isn't actually a master's degree". But they've fixed that now.