数学は修士修了のアマチュアです。 圏論において、射を高々一つしか持たない薄い圏（thin category)を、対象の二項演算（広義）を持つ圏として捉え直し(1)、そのアイデアに基づいて薄い圏やその部分圏をいくつか例示(1)(2)したうえで、局所的小圏から薄い圏への関手の性質を調べてみました(3)。 圏論は完全独学の素人なので、論理に根本的な間違いがあるかもしれません。その際はご教示いただけますとありがたいです。