Tag: category-theory

*Catégorie de théorie* est une branche des mathématiques abstraites concernés par exposer et décrire la structure sous-jacente de la logique et des mathématiques des systèmes. Les Concepts de la catégorie de la théorie sont avérées extrêmement efficaces comme outils pour la structuration à la fois de la sémantique des langages de programmation et des programmes eux-mêmes. Catégorie de la théorie des structures sont utilisés comme des outils d’abstraction dans la programmation, y compris les foncteurs, les monades, et algèbres.