KUMAP := 京大圏論サークル

たぶん世界初の圏論サークルです。

・純粋抽象数学としての圏論
・学際協力言語としての圏論
・新興衒学宗教としての圏論
についてみんなで学んだり語ったり創作したりしましょう！

(入会希望はDM、またはGmail: [email protected] にて受付中です)

[KUMAP := 京大圏論サークル @KUMAP_category]

[活動報告]
∞圏論輪読会は予定通り実施されました。
pdfには書かれていないところでKan拡張が使えるかどうか議論を行いましたが、結局この会中ではうまくいきませんでした。残念…。

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
08-23T20:00に、会員の企画として∞-圏論輪読会を行います。 参加希望の方はお気軽にご連絡ください！DMまたはGmailとしていますが、リプライなどでも大丈夫です。

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
08-23T20:00に、会員の企画として∞-圏論輪読会を行います。 参加希望の方はお気軽にご連絡ください！DMまたはGmailとしていますが、リプライなどでも大丈夫です。

[KUMAP := 京大圏論サークル @KUMAP_category]

2026年11月1日に札幌コンベンションセンター 大ホールで開催予定のイベント「北海道COMITIA24」へサークル「京大圏論サークル =: KUMAP」で申し込みました。 https://t.co/Ub4vU7jP60

[KUMAP := 京大圏論サークル @KUMAP_category]

2026年11月1日に札幌コンベンションセンター 大ホールで開催予定のイベント「北海道COMITIA24」へサークル「京大圏論サークル =: KUMAP」で申し込みました。 https://t.co/Ub4vU7jP60

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
明後日（木曜日）夜21:00より、弊会Discordサーバのボイスチャットにて、もくもく会を開催します。
圏論に興味のある方であれば京大関係なく大歓迎ですので、ぜひお越しください！
（参加希望の方はDMまたは[email protected]までご連絡願います）

[KUMAP := 京大圏論サークル @KUMAP_category]

【活動報告】
∞-圏論輪読会は予定通り開催されました。
形式言語の話に発展するなど、かなり盛況でした！
主催者は海の上から参加していたそうです。すごい。

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
1時間後(08-16T20:00)に、会員の企画として∞-圏論輪読会を行います。
参加希望の方はお気軽にご連絡ください！DMまたはGmailとしていますが、リプライなどでも大丈夫です。
（直前になってすみません）

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
1時間後(08-16T20:00)に、会員の企画として∞-圏論輪読会を行います。
参加希望の方はお気軽にご連絡ください！DMまたはGmailとしていますが、リプライなどでも大丈夫です。
（直前になってすみません）

[KUMAP := 京大圏論サークル @KUMAP_category]

2026年10月18日に京都パルスプラザ 大展示場で開催予定のイベント「関西コミティア77」へサークル「京大圏論サークル =: KUMAP」で申し込みました。 https://t.co/821QLeLpzx

[KUMAP := 京大圏論サークル @KUMAP_category]

技術書典21にサークル「京大圏論サークル =: KUMAP」として参加申込をしました！ #技術書典 https://t.co/8SwLcJKB8C

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
明日夜21:00より、弊会Discordサーバのボイスチャットにて、もくもく会を開催します。
圏論に興味のある方であれば京大関係なく大歓迎ですので、ぜひお越しください！
（参加希望の方はDMまたは[email protected]までご連絡願います）

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
明日夜21:00より、弊会Discordサーバのボイスチャットにて、もくもく会を開催します。
圏論に興味のある方であれば京大関係なく大歓迎ですので、ぜひお越しください！
（参加希望の方はDMまたは[email protected]までご連絡願います）

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
明日夜20:00より、弊会Discordサーバのボイスチャットにて、もくもく会を開催します。
圏論に興味のある方であれば京大関係なく大歓迎ですので、ぜひお越しください！
（参加希望の方はDMまたは[email protected]までご連絡願います）

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
明日夜20:00より、弊会Discordサーバのボイスチャットにて、もくもく会を開催します。
圏論に興味のある方であれば京大関係なく大歓迎ですので、ぜひお越しください！
（参加希望の方はDMまたは[email protected]までご連絡願います）

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】 明日夜20:00より、弊会Discordサーバのボイスチャットにて、もくもく会を開催します。 圏論に興味のある方であれば京大関係なく大歓迎ですので、ぜひお越しください！ （参加希望の方はDMまたは[email protected]までご連絡願います）

[KUMAP := 京大圏論サークル @KUMAP_category]

今のうちに告知しておきますと、今週はもくもく会のほかにも、週末に「会長の自宅でLEANを叩き込まれる会」を開催する予定です。 参加を希望される方はDMまたはGmail: [email protected] までぜひともご連絡ください！

[KUMAP := 京大圏論サークル @KUMAP_category]

Twitterでの告知を忘れていましたが、先週木曜日および本日に、もくもく会を開催しました。
本日のもくもく会は終了後「不完全にしておよそ正しくないプログラミング言語小史」音読会に化けました。 #モナドは単なる自己関手の圏におけるモノイド対象 ！

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】 今週木曜（06/04、あした）20:00より、弊会Discordサーバのボイスチャットにて、もくもく会を開催します。 圏論に興味のある方であれば京大関係なく大歓迎ですので、ぜひお越しください！ （参加希望の方はDMまたは[email protected]までご連絡願います）

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
今週木曜（05/28、あした）20:00より、弊会Discordサーバのボイスチャットにて、もくもく会を開催します。
圏論に興味のある方であれば京大関係なく大歓迎ですので、ぜひお越しください！
（参加希望の方はDMまたは[email protected]までご連絡願います）

[KUMAP := 京大圏論サークル @KUMAP_category]

【告知】
今週木曜（05/28、あした）20:00より、弊会Discordサーバのボイスチャットにて、もくもく会を開催します。
圏論に興味のある方であれば京大関係なく大歓迎ですので、ぜひお越しください！
（参加希望の方はDMまたは[email protected]までご連絡願います）

[KUMAP := 京大圏論サークル @KUMAP_category]

【例会告知】
直前になってしまいましたが、あした5/12(火)20:30より、オンラインにて例会を行う旨、告知いたします。
参加を希望される方は、DMまたはGmailにてご連絡くだされば、Discordサーバへの招待リンクを送信いたします。京大学外の方も大歓迎ですので、ご遠慮なくどうぞ～！