2020-01-23から1日間の記事一覧
デカルト・モノイド圏は、デカルト・モノイド圏のなかで定義される。 外のCAT 定義されるC I in CAT 1 in C ★ in CAT ☆ in CAT I~:★→CAT in CAT 1~:☆→C in CAT (-×-):CAT×CAT in CAT P:C×C→C in CAT <-, ->:CAT∧CAT in CAT Q:C∧C→C in CAT Δ::CAT^⇒Δ*P:CAT→C…
デカルト・モノイド圏は、デカルト・モノイド圏のなかで定義される。 外のCAT 定義されるC I in CAT 1 in C ★ in CAT ☆ in CAT I~:★→CAT in CAT 1~:☆→C in CAT (-×-):CAT×CAT in CAT P:C×C→C in CAT <-, ->:CAT∧CAT in CAT Q:C∧C→C in CAT Δ::CAT^⇒Δ*P:CAT→C…