>>890
>いずれにしろ定義が人工的・便宜的・工学的なのが好かれない理由かと。

どこが？
圏は数学のあらゆるとこにある。
圏ほど自然なものはない。