• Crible豊穣圏のいろは

    December 18, 2023 — 2023 Category Theory Advent Calendar PDF Link
    enriched category

  • 圏の内部等式論理

    December 18, 2022 — 2022 Category Theory Advent Calendar PDF Link
    categorical logic