計算モデルに関しては、集合圏よりむしろ便利な圏Relを紹介し、Relと似た性質を持つ圏の構成法を探ってみます。内容： 関係圏の紹介 関係圏みたいな圏 スパンの圏 集合圏のスパン圏と関係圏 関係圏の紹介AとBが集合だとして、AとBのあいだの（二項）関係とは…

NHK教育テレビ*1の「ピタゴラスイッチ・ミニ」で「プチリョンコ」ってコーナーがあって、一群の積み木のような板に一文字ずつ「プ」「チ」「リ」「ョ」「ン」「コ」と書かれた列がベルトコンベアーで流れていく。出口で、左右に振り分けられると、「プリン」…