Category:Characterization for Topological Evaluation Mapping to be Embedding