geogebra

geogebraというソフトがあることを知ったので九点円を描いて動かしてみました。

かつと直積

リー群とは群かつ多様体のようなものだが、圏論の言葉では、群の圏および多様体の圏への忘却関手をもつものの中で最も普遍的なもの、と言える。ダイアグラムを書けば一目瞭然であるが、これは直積の定義そのものである。論理積との対応を見よ。記号体系の恐ろしい程のwell-definednessがここにある。

texのenumerateで番号を継続させる。

enumerate環境において番号をリセットさせずに続けたいとき:

1 ...
2 ...

ちょめちょめ

3 ...

label, refを用いて、

¥begin{itemize}
¥item ...
¥item ...
¥label{hoge}
¥end{itemize}

ちょめちょめ

¥begin{itemize} ¥setcounter{enumi}{¥ref{hoge}}
¥item ...
¥end{itemize}

とすればOK。一回目のコンパイルでは¥ref に数字が入っていないのでエラーが出るが、無視して続けたあとにもう一回回せばちゃんと数字が入っている。