Sometimes I see something like "a mapping preserves the structures of its domain and of its codomain". From Wiki about morphisms in category theory: a morphism is an abstraction derived from ...
Let $M$ be the positive borel measures on a hausdorff topological space $X$, which are finite on compacts sets $--$ i.e. the real cone of radon measures. I am given a definition of a derivative of ...