当然だ。
圏論の連中は、数学体系の普遍化を狙っているようだが、
まったく何をいっているのかさっぱりわからないからな。