正しい synthetic \((\infty, 1)\) - category theory
昨日の講演後や懇親会でUemuraさんと話していたことのまとめです。多少, 記憶違いのことがあるかもしれません。 まず, Directed Univalent axiom について。Cishinski がやっている Directed Univalent は昨日の講演における Univalent とは少し違う方向のこ…
イデアル化と既約性について
https://math.stackexchange.com/q/4746156 での「既約環のWikiの記事は正確なのかどうか？」という Linuxmetel さんの疑問に対する math54321 氏の回答に， \[ (x) \ltimes E(k) \] という半直積で使われる記号が使われた対象が登場したが，…
化学
ここに本文を書きます。
無題の数学ノート
あ
Liu <Exercises Ch.2 - 3.3>
$U=\operatorname{Spec}(B)$ を $X=\operatorname{Spec}(A)$ の affine open subscheme とする。 $U$ は quasi compact なので、ある $f \in A$ によって $U = D(f)$ と表せる。affine open…
代数幾何ほげ〜〜〜〜
$x$