"Catefories for Working Mathematician" (働く数学屋のための圏論)　の題名が
「圏論の基礎」になっちまうんだとしたら、

"Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)"
の題名はどーなるんだ？
「一週間で判る！くもんしきけんろん (いちねんせいむけ)」か(笑