まだハッキリしないのだけど。 集合と論理 圏論 ブール代数Ω 集合圏Set 真偽値 集合 含意 写像 集合の圏 圏の圏 ベキ集合 前層 シングルトン埋め込み 米田埋め込み ベキベキ集合 前層の前層 合併 ？ ベキ集合モナド 前層モナド？ 集合値写像 前層への関手 ブ…

二重圏に対する追加。ps2pdfでPSから変換したのをキマイラサイトに置いとく。 Title: A DOUBLE BICATEGORY OF COBORDISMS WITH CORNERS Autor: JEFFREY MORTON URL: http://www.chimaira.org/archive/weakdoublecat.pdf Jeffrey Mortonは物理の人で、量子重…

imaximaのためにMikTexを入れたがまともに動かなかった→MiKTeX - 檜山正幸のキマイラ飼育記 メモ編が、ps2pdf.exeが入っていてこれが使えた。おそらく日本語はダメだろうが、psをPDF化するのに便利。あー、良かった。