Applications of (higher) categorical trace I: the definition of AGCat

This article likely presents a mathematical or theoretical computer science paper. The title suggests an exploration of categorical trace, a concept in category theory, and its applications, specifically focusing on the definition of AGCat. The use of "higher" suggests the involvement of higher category theory, which deals with categories whose morphisms are themselves categories. The focus on "applications" implies a practical or relevant aspect to the theoretical work.