Idea. Given an endomorphism f : A → A f:A\to A in a traced monoidal category 𝒞 \mathscr{C} there is a natural notation of a trace tr ( f ) ...
確定! 回上一頁