Notes

圏論的普遍代数学入門
November 2024. (in japanese)
群の圏はグンカテゴリーである
December 2023. (in japanese)
コイコライザを持つとは限らない正則圏
December 2023. (in japanese)
Catの対称モノイダル閉構造
December 2022. (in japanese)