Questions marquées «ct.category-theory»

Questions en théorie des catégories

1
Transformations naturelles et paramétricité
Dans les théorèmes gratuitement! , Wadler dit que la caractérisation de la paramétricité peut être ré-exprimée en termes de transformations naturelles laxistes et cela fera l'objet d'un autre article. De quel document parle-t-il? L'approche catégorique de la paramétricité que je connais utilise des transformations dinaturelles comme dans le polymorphisme funéraire …
3
Y a-t-il un CCC connu fermé dans le cadre d'une opération de domaine de puissance probabiliste?
De manière équivalente, existe-t-il une sémantique dénotationnelle connue pour les langages de programmation fonctionnels d'ordre supérieur probabilistes? Plus précisément, existe-t-il un modèle de domaine de -calculus pur non typé étendu par une opération de choix binaire aléatoire symétrique.λλ\lambda Motivation Les catégories fermées cartésiennes fournissent une sémantique aux -calculi d' ordre …
4
Quelles sont les utilisations des limites et des colimits de la théorie des catégories dans les problèmes quotidiens?
Je souhaite savoir comment utiliser les concepts de limites et de colimites pour modéliser des problèmes dans la vie de tous les jours? Quelqu'un pourrait-il peut-être fournir des exemples d'ingénierie (logicielle)? Ou décrire intuitivement en général pour quels types de problèmes de modélisation nous pouvons utiliser ces concepts? Je vous …
1
Hyperdoctrines et logique monadique du second ordre
Cette question est essentiellement la question que j'ai posée sur Mathoverflow. La logique monadique du second ordre (MSO) est une logique du deuxième ordre avec quantification sur des prédicats unaires. Autrement dit, la quantification sur des ensembles. Il existe plusieurs logiques MSO qui sont fondamentales pour les structures étudiées en …
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.