「なんでもプロパティ」のようなことを最初から出すのは得策ではない。 「変数がない」、「変数が未定義」は箱で説明できる。 undefined値とかtypeof演算子、in演算子とかは最初から出してもいいようだ。 ifの例題に時刻により文言を変える挨拶。 絶対値とか…

「XMLを圏論的に」というスローガンがあったわけだ。関係の圏Relが集合の直和を直積としてデカルト圏になるとか、エルゴットオートマトンの圏とかを横目で睨むと、XMLの圏の様相も見えてくる。とりあえず、LSL = Linear String Languageの圏を定義しよう。Σ…

[紛失物]に書いてなかったヤツだが、なくした書類が出てきた。紙はステープラで閉じて、その紙束をクリップで閉じる。で、紛失物は他のクリップ閉じのなかに紛れ込んでいた。と、そうこうこともある。オリンパスのマニュアルもバラバラの紙束のなかにはさま…

あー 心残り もったいない せっかくだから もう少し あこもせも。

Xが集合でVが対称モノイド圏、[-, -]:X×X→V がV-圏の構造を与えているV値ホムだとする。モノイド単位を I∈V として、C(A, B) = V(I, [A, B]) とすると、X×X上の集合値ホムC(-, -)が通常の圏を定義するはず。これがピノキオから人間を作る標準的な方法。Cが閉…

Title: COHERENCE OF PROOF-NET CATEGORIES Authors: Kosta Dosen and Zoran Petric URL: http://www.emis.de/journals/PIMB/092/n092p001.pdf Pages: 33 Title: LogicWithout Syntax Author: DOMINIC HUGHES URL: http://boole.stanford.edu/~dominic/paper…