setk.connpass.com
（３）圏論（けんろん）の面白い話：賢くなりたいですか？ (2023/12/10 20:00〜)
# 軽深（かるしん なんちゃって圏論）演習 圏論を学んでから、私は賢くなったと思うので、皆さんも賢くなるのではないかと思い、実験的に演習形式のイベントをつくっています。 演習は、アドベントカレンダーでつくっています。１日めの演習は、軽深演習 #1 BL33XUです。 軽深（かるしん）は、私の造語です。圏論をなんちゃって理解する試みです。この BL33XU演習は、ぜひ試してください。...
