個人的には「接続」の定義が一番煩雑に思える。
特に圏論的な定義が綺麗に出来ないのがなんか異物感が強い。