クライスリ圏において、一般のクライスリ射のなかで特別なものがシャープ射 $`s`$ 、次の形で与えられる。$`T`$ はモナドの台関手。$`\quad \xymatrix{ A \ar[r]^s \ar@{=}[d] &T(B) \\ A \ar[r]_f &B \ar[u]^{\eta} }\\ \quad \text{ In }\mathcal{C} `$ ge…

Google検索、AI要約： The "CW" in CW complex stands for "closure-finite with the weak topology". This means a CW complex is a space that can be constructed by attaching cells of increasing dimension to a base space, and it satisfies two key…