An initial object in a category has a unique morphism to every other object, so finding one often simplifies many proofs.
圏における始対象は任意の対象へ一意的な射を持つため、しばしば多くの証明を単純化します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
