Adjunctions from morphisms
この間どこにあったか思い出せなかった動画を見つけたので一応。
YouTube の TheCatsters というユーザの "Adjunctions from morphisms [1-5]" です。
YouTube - Adjunctions from morphisms 1 をもう一度見てみたら面白いことを言ってました。昔これを見たときは述語論理とどう関係してるかいまいち掴めなかったような気がします。
この間どこにあったか思い出せなかった動画を見つけたので一応。
YouTube の TheCatsters というユーザの "Adjunctions from morphisms [1-5]" です。
YouTube - Adjunctions from morphisms 1 をもう一度見てみたら面白いことを言ってました。昔これを見たときは述語論理とどう関係してるかいまいち掴めなかったような気がします。