Questions marquées «category-theory»

La théorie des catégories est utilisée pour formaliser les mathématiques et ses concepts comme une collection d'objets et de flèches (également appelées morphismes). La théorie des catégories peut être utilisée pour formaliser des concepts d'autres abstractions de haut niveau telles que la théorie des ensembles, la théorie des anneaux et la théorie des groupes. (Par Steve Awodey)


2
Comment les langages de programmation et les fondements des mathématiques sont-ils liés?
Fondamentalement, je connais trois fondements des mathématiques Théorie des ensembles Théorie des types Théorie des catégories Alors, en quoi les langages de programmation et les fondements des mathématiques sont-ils liés? MODIFIER La question d'origine était "Langages de programmation basés sur les fondements des mathématiques" avec le paragarphe ajouté de Et …





2
Demande de référence: théorie des catégories telle qu'elle s'applique aux systèmes de types
Je n'arrête pas d'entendre comment on doit apprendre la théorie des catégories pour vraiment comprendre la théorie du langage de programmation. Jusqu'à présent, j'ai appris beaucoup de PL sans jamais entrer dans le domaine des catégories. Cependant, j'ai pensé qu'il était temps de faire le saut pour voir ce qui …

1
Existe-t-il un isomorphisme entre (un sous-ensemble de) la théorie des catégories et l'algèbre relationnelle?
Cela vient du Big Data. Fondamentalement, de nombreux frameworks (comme Apache Spark) "compensent" le manque d'opérations relationnelles en fournissant des interfaces de type Functor / Monad et il existe un mouvement similaire vers les conversions de chats en SQL (Slick in Scala). Par exemple, nous avons besoin d'une jointure naturelle …



En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.