Notes

  • Notes on concrete sheaves and generated spaces

    April 23, 2026 — Version 0.1, personal notes PDF
    1-categorytopology

  • Terminals are Pointwise

    December 17, 2024 — 2024 Category Theory Advent Calendar PDF Link
    1-category

  • A note on SEAR

    December 8, 2023 — Draft, under construction PDF
    categorical logic

For other notes written in Japanese: Notes in Japanese