（高次）圏論的トレースの応用 I：AGCatの定義

この記事は、数学または理論計算機科学の論文である可能性が高いです。タイトルは、圏論の概念である圏論的トレースとその応用、具体的にはAGCatの定義を探求することを示唆しています。「高次」の使用は、射がそれ自体が圏である圏を扱う高次圏論の関与を示唆しています。「応用」に焦点を当てることは、理論的な作業の実用的または関連性のある側面を意味します。