新規参加者熱烈歓迎!! 圏の世界へようこそ！！ 層がわからなくても大丈夫。 圏がわからなくても大丈夫。新規参加者が出た場合、「トポス浅漬」を行ってトポスを理解するのに必要な圏の知識を確認します。参加申し込みは、ここのコメント欄か、メーリングリス…