Notes

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