$\simeq,\ \cong$ は似ている。正直イコールのところの横棒が1本か2本かは宗教のようにさえ感じている。高校までは2本だが、大学生になると気取って1本とかそんなイメージがある。 つまり、$\leqq$ で書いていたのを急に $\le$ にするということだ。大体こう…

あぁ...一応proにしなくても自動リンクは消せるんだ... - らんだむな記憶で触れたリンク解除。 []$$M = U \Sigma V^*$$[] と書いてもいいけど、1行で書かないとならないので不便。 <span data-unlink> \begin{equation} \mathrm{cod}(f) = C \\ M = U \Sigma V^* \end{equation</span>…

opposite category (逆圏)。どうももやもやするのでもう少し試行錯誤したい。 実に純粋な定義上は圏論(16) - らんだむな記憶で触れたように、 arrows の domain と codomain をひっくり返します。以上！なんだと思う。 Opposite category - Wikipedia, the f…