@pschwede Yes we need a homomorphism. Those are functionally based however. Choosing current = communication doesnt seem to satisfy that
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.
🇳🇱
