Application différentiable
1 - Notion d'application différentiable
Catégorie : Outils Mathématique pour Informatique
Mathématiques pour informatiques : Catégories et Foncteurs, Théorie des Monades, Langages et automates, Eléménts de logiques, Modèles relationels, Operades et robotiques…
Variétés Topologiques
1 - Rappel de topologie
Foncteurs fidèle et pleinement fidèle, équivalence de catégories, foncteur conservatif
1. Foncteur plein, pleinement fidèle 2. Equivalence de catégories
Transformation naturelle
1. Transformation naturelle entre deux foncteurs
Egalisateur et coégalisateur
1. Egalisateur ( equalizer) 2. Coégalisateur ( coequalizer )
Pullback & pushout
1. Exemples et définition d'un pullback
Objet initial, Objet final, Objet nul
1. Objet initial, Objet final, Objet nul
Produit et somme directe dans une catégorie
1. Produit direct dans une catégorie
Monomorphismes, épimorphismes, isomorphismes
1. Monomorphismes [ad code=1 align=center] 2. Epimorphismes