derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category 特に写像というわけでもない arrow を考えてみたので、少し論理学的なことを考えてみたい。 objects として「命題」をとる。命題とはそもそも何か？という類のことは無視する。 objects: $P, Q, R, \cdots$ を命題とする。 arrow として以下のようなものを考える: \begin{equation} P \to Q \iff P \ \text{ならば}\ Q \end{equation} 記号論理学における真理函数としての「ならば」はかなり難しいので、あまり気にしないでおく。*1圏論(1) - らんだむな記憶で書き下した定義を思い出す。domain, codom… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F01%2F16%2F222558" title="圏論(7) - らんだむな記憶" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-01-16 22:25:58 rich https://randommemory.hatenablog.com/entry/2016/01/16/222558 1.0 100%