2011-04-06から1日間の記事一覧
「エピならば全射」の証明にちょっと不満があったので別のを考えてみた。とはいってもほとんど同じ。 具体的には、集合と写像的な議論が多くてカテゴリカルな構造との境がよく分からないところが不満。今回の証明で満足かは自分でもよく分からないけど、前の…
「エピならば全射」の証明にちょっと不満があったので別のを考えてみた。とはいってもほとんど同じ。 具体的には、集合と写像的な議論が多くてカテゴリカルな構造との境がよく分からないところが不満。今回の証明で満足かは自分でもよく分からないけど、前の…
