Pepito : Oui, c´est bien. Tu auras un bon point. Encore deux et tu auras droit à une image de Clara Morgane.
Jarozse : La généralisation de la notion de morphisme utilise la théorie des catégories :
On définit une catégorie C comme une collection d´objets Ob(C), un ensemble de morphismes Fl(C) entre les objets, et une loi de composition des morphismes. Les morphismes et la loi de composition doivent vérifier certains axiomes " naturels" ( par exemple, l´associativité de la loi de composition là où elle est définie, ou l´existence d´un morphisme identité sur chaque objet)mais il n´y a aucune condition sur la nature des objets ( et c´est ça qui est intéressant). Ainsi, on va pouvoir prendre comme objets les groupes et comme morphismes les homomorphismes de groupes, de même pour les autres structures algébriques. Mais, on peut aussi considérer la catégorie ayant pour objets les ensembles et pour morphismes les applications entre ensembles, celle ayant pour objets les espaces métriques et pour morphismes les applications continues ou encore la catégorie ayant pour objets les ouverts de R^n et ayant pour morphismes les applications C^k. Ensuite, on définit les foncteurs qui sont des applications entre catégories ! Et après, on étudie la catégorie où les objets sont les catégories et les morphismes les foncteurs ! Et on finit dans une chambre capitonnée à baver en se jetant contre les murs...