2011-06-26から1日間の記事一覧

CLTT 補題 2.6.5 (Lambek)

昨日の読書会で未消化だったので復習. 補題 2.6.5 (Lambek) T-始代数 φ: TY → Y は iso. 下の図で考える. Tf Tφ TY────→TTY────→TY | | | |φ |Tφ |φ | | | ↓ ↓ ↓ Y────→TY ────→ Y f φ左の四角は φ が始代数だから f が唯一つ存在することで保証さ…