>>451
レスありがと。
>例えば、論理学で様相論理を拡張する
単なる例なのだろうが、この文がわからんかった。論理学の分野において
既知の様相論理をなんらかの点で拡張するというような意味だよね？ｗ
>圏論で定式化するとカッコ良くね？
だから、それは、圏論のどこがカッコいいのかもっとハッキリしないと