新規参加者熱烈歓迎!!層がわからなくても大丈夫。 圏がわからなくても大丈夫。今回も「トポス浅漬」を行って、トポスを理解するのに必要な圏の知識を確認します。参加申し込みは、ここのコメント欄か、メーリングリストにメッセージを投稿してください。 htt…