毎度毎度、、、 さまざまな「ならば」達も参照。構文 項 term 基礎項＝閉じた項 ground term = closed term 論理式 formula 閉じた論理式＝文 closed formula = sentence 命題論理式 propositional formula 言明 statement 素論理式＝原子論理式 prime formu…

反射的対象（reflexive object）に関する良い文献が見つからないなー。まー、いいか。ベキ（指数）を持つ圏において、[A, B]をベキ対象（power object, exponent, exponential object）だとする。対象Rが反射的とは、[A, A]がAと同型になること。デカルト圏…

1990年の "Liniear logic, domain theory and semi-functors"（http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-34.pdf）をざっと眺めた。おもしろーい。それほど難しくはないのだが、僕がまったく知らないことが色々と書いてある。ジラール圏（Gi…

随分古いのがある。プロジェクト・ユークリッドは助かるなー、感謝。 COLIMITS IN TOPOI 1973 -- http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?handle=euclid.bams/1183535542&view=body&content-type=pdf_1 Cartesian closed categories, qu…