×
Home
Research papers
Research talks
Others
日本語ページ(工事中)
☰
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:
Japanese page
Friends and colleagues
Keisuke Hoshino
Yuto Kawase
Kengo Hirata
Ryuya Hora
Takahiro Sanada
Yuki Maehara