第一回層圏トポス米田フェスティバル@矢上祭に行ってきました. id:oto-oto-otoさんが板書の写真をアップされてます. 内容としては, 10:00から20:30まで缶詰め状態で教科書読み続け, 圏,関手,自然変換,米田のレンマについて手取り足取り教えてもらう語り合う…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。