コンパクト閉じバイカテゴリコンパクト閉じバイカテゴリーの解説トレースとコトレースの深掘り。カテゴリー理論コンパクト閉じ双型とそのトレースを理解するコンパクト閉じバイカテゴリの概要で、トレースとコトレースの重要性を強調する。2025-08-10T20:49:20+00:00 ― 1 分で読む