Pixel Pedals of Tomakomai

北海道苫小牧市出身の初老の日常

2009-08-11から1日間の記事一覧

層・圏・トポス P80 定理8 (3)→(1)の証明

みなさん合宿を頑張ってるはずですので、こちらも対抗して前回の宿題を終わらせました。*1 P80 3)から1)の証明で構成した関手Fは、射をどのように移すのか? *1:モニャドセミナーの帰りに考えていたのはこの問題のことです。