圏論
私の意見では、圏論で「実際に起こっている」ことは、それが型理論のモデル理論であるということです。型理論のウィキペディアのページで、ジョンにリンクしました
表現可能とは、$ F $が$ mathrm {Hom}(R、-)$に等しいことを意味する場合、(正しい)観測からわかるように、この概念は実質的に役に立たないでしょう。 NS
はい、それらは正確な記述です。包含$ mathbb {Z} hookrightarrow mathbb {Q} $は、カテゴリ$ mathsf {Ring} $の単相性とエピモルフィズムの両方です。
簡単に言うと、$ pr_a circ langle k、h rangle = k $と$ pr_a circ langle k、h rangle = f $の等式を正しく推定しましたか?したがって、$ k = pr_a circ langle k、