door Professor Puntje » vr 05 dec 2025, 22:12
Een uitbreiding van \( \mathcal{C} \! o \) zodanig dat alle optellingen, vermenigvuldigingen en (functie)composities binnen die uitbreiding weer wel mogelijk zijn is lastig. De vermenigvuldiging zoals die nu gedefinieerd is laat zich niet generaliseren, ik zal daar een andere vorm voor moeten vinden die voor de collials hetzelfde product oplevert maar die ook voor niet-collials nog zin heeft...
Een uitbreiding van [itex] \mathcal{C} \! o [/itex] zodanig dat alle optellingen, vermenigvuldigingen en (functie)composities binnen die uitbreiding weer wel mogelijk zijn is lastig. De vermenigvuldiging zoals die nu gedefinieerd is laat zich niet generaliseren, ik zal daar een andere vorm voor moeten vinden die voor de collials hetzelfde product oplevert maar die ook voor niet-collials nog zin heeft...