Table des matières
9 relations: Catamorphisme, Coalgèbre, Grec ancien, Haskell, Morphisme, Paramorphisme, Programmation fonctionnelle, Théorie des catégories, Type (informatique).
- Théorie des catégories
Catamorphisme
Dans la théorie des catégories, le concept de catamorphisme (du Grec.
Voir Anamorphisme et Catamorphisme
Coalgèbre
En mathématiques, la notion de coalgèbre est une notion duale de celle d'algèbre sur un anneau ou sur un corps.
Voir Anamorphisme et Coalgèbre
Grec ancien
Le grec ancien est l’étape historique de la langue grecque qui s'étend du au Principale langue parlée et écrite en Grèce antique, elle devient le vecteur de la littérature grecque antique qui produit de nombreuses œuvres littéraires et scientifiques à l'influence durable, dont l’Iliade et l’Odyssée attribuées dans l'Antiquité au poète légendaire Homère.
Voir Anamorphisme et Grec ancien
Haskell
Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.
Morphisme
visualisation du critère valuatif de w:morphismes propres En mathématiques, le morphisme est la relative similitude d'objets mathématiques considérés du point de vue de ce qu'ils partagent comme entités ou par leurs relations.
Voir Anamorphisme et Morphisme
Paramorphisme
Le paramorphisme (du Grec.
Voir Anamorphisme et Paramorphisme
Programmation fonctionnelle
La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Voir Anamorphisme et Programmation fonctionnelle
Théorie des catégories
La théorie des catégories est l'étude des structures mathématiques et de leurs relations.
Voir Anamorphisme et Théorie des catégories
Type (informatique)
Présentation des principaux '''types de données'''. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués.
Voir Anamorphisme et Type (informatique)
Voir aussi
Théorie des catégories
- Équivalence de catégories
- Abstract nonsense
- Anamorphisme
- Carquois (théorie des catégories)
- Catégorie concrète
- Catégorie de modèles
- Catégorie enrichie
- Catégorie groupoïde
- Catégorification
- Catamorphisme
- Categories for the Working Mathematician
- Coinduction
- Conoyau
- Cosmos (théorie des catégories)
- Diagramme commutatif
- Ensemble pointé
- Enveloppe de Karoubi
- Esquisse d'un programme
- Extension de Kan
- F-coalgèbre
- Localisation d'une catégorie
- Monade (théorie des catégories)
- Monoïde
- Nerf (théorie des catégories)
- Noyau (théorie des catégories)
- Opérade
- Plongement
- Propriété universelle
- Schéma produit
- Section (théorie des catégories)
- Squelette (théorie des catégories)
- Théorème de van Kampen
- Théorie des catégories
- Théorie des locales
- Univers de Grothendieck