>>959
分離和は集合の圏での普通の意味の直和と一致するから
問題ないけどね。MacLane p.80 あたり参照。

俺が読んだ本は多すぎて紹介しきれんけど、プログラミングを
圏論的に解説したものとしては
http://db.cs.utwente.nl/Publications/PaperStore/db-utwente-404F4540.pdf
ってのが読みやすかった。好みが分かれそうだけど。

>>958
普通、作用素の代数といったら作用素環を指すのでアレだけど、
さすがに位相空間とか前順序まで作用素と呼ぶのは広すぎる気が。