2022-05-24から1日間の記事一覧
ファミリー／バンドル同型定理 $`\quad {\bf CAT}(\delta A, {\bf Set}) \cong {\bf Set}_{/A} \text{ in }{\bf CAT}`$対象部分だけを取り出すと：$`\quad \mathrm{MAP}(A, |{\bf Set}|) \cong |{\bf Set}_{/A}| \text{ in }{\bf SET}`$対象部分を別表記を使…
ファミリー／バンドル同型定理 $`\quad {\bf CAT}(\delta A, {\bf Set}) \cong {\bf Set}_{/A} \text{ in }{\bf CAT}`$対象部分だけを取り出すと：$`\quad \mathrm{MAP}(A, |{\bf Set}|) \cong |{\bf Set}_{/A}| \text{ in }{\bf SET}`$対象部分を別表記を使…