軽深(かるしん なんちゃって圏論) Advent Calendar 2023 25日目の記事です。
演習形式をとっているので、ぜひ 回答を試みてください。
前提知識 賢くなりたいですか?
普段私たち使ってる言語を圏論として扱うことには少しずつ始まっています。「範疇文法の構文解析についての圏論的な視点」がそれです。今回あつかう題材は、質問というさらに難しい領域です。
図式で書くと、こんな感じですね。
この質問は、非常に面白いです。私は、あった人によくしています。現在は、賢い人の判定方法としてつかっています。明るくはいと答えた人、もしくは明確な理由で否定的な人は賢いと判定します。賢いフリをしているだけの人は、この質問には曖昧な回答します。
この図式で、圏として、射はなにかを厳密に定義はとてもできないですが、グロタンディークの何でもいいを適用すると見えてくることがあります。賢いの部分は広範囲に置き換えることができます。
置き換えるとなりたいがそぐわないときもあります。適宜、変えましょう。
演習 賢い の文言を入れ替えて 効果的な質問をつくってみてください
賢くなりたいですか? と質問すると、はっとしたり、笑ったりします。現時点ではなぜそうなるかはよくわかりませんが、かなり効果的な質問のようです。いろいろバリエーションを作ってみましょう。