
ARR is the image, under a monoidal valuation into the additive monoid of nonnegative reals, of the finite subobject of the contract universe consisting of those recurring revenue streams whose temporal support contains the present instant, after applying the normalization that identifies cash flows up to annual equivalence.
English




