3 ms·The "morphism" property is completely unneeded for idempotence and the "endo" part is implied :)by filmor 8y agoThe "morphism" property is completely unneeded for idempotence and the "endo" part is implied :)