@Eigil had a great use of generalized elements in a localcharts post from a while back: Equivalence relations via idempotent endomorphisms.
1 Like
@Eigil had a great use of generalized elements in a localcharts post from a while back: Equivalence relations via idempotent endomorphisms.