Implication Details

Assumptions: direct

Conclusions: one-way, skeletal

Reason: The category is one-way since any non-identity endomorphism yields an infinite sequence of equal non-identity morphisms. The category is skeletal since any non-identity isomorphism f:A→Bf : A \to B yields the infinite sequence …,f−1,f,f−1,f\dotsc,f^{-1},f,f^{-1},f.