Notes in Japanese

Notes

• Crible豊穣圏のいろは 2023 Advent Calendar
• 圏の内部等式論理 2022 Advent Calendar
• A note on SEAR 2023.12.08 under construction