トップ «前の日記(2010-07-22) 最新 次の日記(2010-07-31)» 月表示 編集

日々の流転


2010-07-25 [長年日記]

λ. CLTT の 1.2 Some concrete examples: sets, ω-sets and PERs のノート

CLTT読書会で読んでいる、Categorical Logic and Type Theory の、1.2 Some concrete examples: sets, ω-sets and PERs を復習して、練習問題も一通り解いた。

Exercise 1.2.7 の、ω-SetsとPERsのスライス圏での冪対象(exponential object)の作り方を、抽象的に圏論ぽくやる方法がわからず悔しい。何か方法があったような気もするのだけど。

Tags: 圏論