数学は修士修了のアマチュアです。 圏論において、射を高々一つしか持たない薄い圏（thin category)を、対象の二項演算（広義）を射として持つ圏として捉え直し、そのアイデアに基づいて局所的小圏から薄い圏への関手（薄化関手）の性質を調べてみました。また、薄化の概念がさまざまな数学分野、そして広く人間やAiの思考様式としてあらわれることを、検証考察しています。 圏論は完全独学の素人なので、論理に根本的な間違いがあるかもしれません。その際はご教示いただけますとありがたいです。The English version is on github.