Others

Notes

• A note on SEAR 2023.12.08 under construction
• Terminals are pointwise 2024 Category Theory Advent Calendar

For other notes written in Japanese: Notes in Japanese

Current and previous collabolators

• Keisuke Hoshino