1: \begin{definition}\label{D:moddimdef}  

2: Fix an ambi object $J$ with canonical linear map $\langle\; \rangle$ and let $\{\mt_V\}_{V\in \ideal_J}$ be the trace on $\ideal_J$ coming from Theorem \ref{T:ambi!Trace} applied to $\langle \; \rangle$.   Define the \emph{modified dimension $\md_{J}$} to be the function from objects of $\ideal_J$ to $K$ given by 

3: \begin{equation}\label{E:moddimdef}

4: \md_J(V)=\mt_{V}(\Id_{V})=\langle \tr_R(\alpha \circ \beta) \rangle

5: \end{equation}

6: where $\alpha:V\rightarrow J\otimes W$ and $\beta: J\otimes W \rightarrow V$ are morphisms such $\beta \circ \alpha=\Id_V$ for some $W\in \ob$.

7: \end{definition}