報告：第一回層圏トポス合宿(第七回「層・圏・トポス 」勉強会)

告知：第一回層圏トポス合宿 - hiroki_fの日記
を11-12日@代々木オリンピックセンターで行いました。

参加者は17人(宿泊9人)でした。

1.圏の定義　2.関手　3.limitとcolimit
までやりました。

一日目の飲み会は深夜一時まで、次の日は朝9時スタートでした。

kuwataさんが写真をupしてくれました。
写真

hirataraさんのレポートは
第一回層圏トポス合宿 - 北海道苫小牧市出身の初老PGが書くブログ

僕のレポートは
光速はcolimit - hiroki_fの日記