シェル変数への代入は、=の両側空白なし。FOO=bar 、FOO='bar baz' とか。 $$はシェルのPID、一時ファイル名によく使う。Makefile上では$$$$ install -d は便利 でも、installよりcpのほうが便利なときが多い。 cp -R my/dir your/ と cp -R my/dir/* your/d…

恒等射、同型射、圏同値を与える関手などを総称して、同値性セル（equivalence cell）と呼ぶことにする。A, Bのあいだに、i:A→B と、（iに対して一意的とは限らない）i#があって、 i;i# 〜 idA i#;i 〜 idB となることが同値性セルの条件。ここで、〜 は、適…