Python utilise un dict, et je me demande un peu si la clé n'est pas une chaîne, mais le dictionnaire est un peu différent, mais je pense qu'il est extrêmement meilleur que Hash. En termes de correspondance entre le groupe de valeurs et l'élément case du groupe clé, il semble correct de l'appeler une fonction mathématiquement, mais cela entraîne également une confusion. https://twitter.com/shibu_jp/status/471445247973527553
Eh bien, je pense que cette carte est la plus sûre. https://twitter.com/shibu_jp/status/471445639964815360
Un dictionnaire Python est un ensemble de paires clé et valeur, par exemple {'a': 10, 'b': 20}, mais bien sûr ce dict est un mappage (car il n'est pas défini dans toute la chaîne dans cet exemple Ce n'est pas une fonction).
Cependant, je me suis demandé si je pouvais appeler ce tournage d'une manière ou d'une autre, alors j'y ai pensé et je l'ai résumé.
Étant donné que j'y ai réfléchi sans autorisation, ce qui suit peut contenir de sérieuses erreurs. Si vous en trouvez une, veuillez le signaler dans les commentaires.
Dans ce qui suit, nous considérerons un ensemble d'instances des classes intégrées de Python lorsque nous les appelons des types, et nous ne considérerons pas d'autres instances (telles que les classes auto-créées) pour le moment. Les types de clé et de valeur du dictionnaire sont fixes, c'est-à-dire que l'ensemble de clé et de valeur est de type Python standard (Bool, Int, Str, [Int], ...), et il n'y a qu'un seul type. .. Les dictionnaires avec une clé de type $ A $ et une valeur de type $ B $ sont naturellement assimilés à ces sous-ensembles de produits directs, et les dictionnaires peuvent également être considérés comme des graphiques partiels du mappage $ A \ à B $. y a-t-il.
À ce stade, ce qui suit est appelé ** zone de dictée **.
--Cible: type Python --Fire: $ f: X \ to Y $ est un tir à portée de dictée, $ f $ est un dictionnaire avec $ X $ comme clé et $ Y $ comme valeur. --Composition des plans: $ f: X \ à Y $, $ g: Y \ à Z $, $ g \ circ f: X \ à Z = [(x, z); \ existe y: Define (x, y) \ in f, (y, z) \ in g] $. Il s'agit d'un dictionnaire qui synthétise et collecte des valeurs qui peuvent être synthétisées.
Il a naturellement une structure de sphère. Pour tout objet $ X $, $ 1_X = [(x, x); x \ in X] $ (c'est un graphique de la constante mappant $ X \ à X $ comme un mappage. Is) est un feu constant.
Soit $ A, B $ le type et $ f, g: A \ rightrightarrows B $ le plan parallèle. À ce stade, ce qui suit est clair.
N = {}. A ce moment, un plan unique {} de n'importe quel type s'étend.
--product: $ A \ times B $ est un produit direct en tant qu'ensemble. En Python, il est défini comme un tuple de A et B. $ p_A = [((a, b), a); a \ dans A, b \ in B]: A \ times B \ to A $ est une projection, et pour toute paire cible et projection $ Z, z_A, z_B $, la projection $ h $ dérivée de UMP est $ h = [(z, (a, b)); \ existe z. (Z, a) \ in z_A, (z, b) \ in z_B \ wedge \ existe z. (Z, a) \ in z_A, b \ in B \ wedge \ existe z. (Z, b) \ in z_B, a \ in A] $. (Ce $ h $ est la somme de l'ensemble à $ z_A $ et de l'ensemble à $ z_B $. Cependant, s'il existe des paires pour le $ z $ commun, ces paires seront associées les unes aux autres, et si elles n'existent pas, elles seront créées en les récupérant de manière appropriée dans $ A et B $. Est-ce un plan qui rend le diagramme convertible.)
--equalizer $ (E, e: E \ vers A) $ dans $ f, g $ est $ E = [a \ dans A; \ existe v: (a, v) \ dans f, (a, v) \ in g] $, $ e = [(a, a); a \ in E] $.Le produit et l'égaliseur peuvent être configurés de la même manière que le Set. Cependant, ici, nous avons utilisé les mots du dictionnaire pour décrire le plan. De plus, l'existence d'un pullback est garantie par ce qui suit.
Fait: Si la sphère $ \ mathscr {C} $ a un objet terminal, un produit binaire et un égaliseur, elle a une limite finie.
Par conséquent, il a été constaté que la sphère Dict a une limite finie.
--exponentielle: $ Z ^ X $ est la projection entière de $ X $ à $ Z $. Dans ce cas, l'évaluation est un dictionnaire comme celui-ci: $ e = [((f, x), z); \ exist (x, z) \ in f] $. Autrement dit, pour $ f $ et $ x $, si $ f (x) $ existe, ce sera $ (f, x) \ mapsto f (x) $. La flèche d'évaluation est une collection de toutes ces correspondances. À ce stade, pour $ f: Y \ fois X \ à Z $, le plan dérivé UMP $ h $ est $ h = [ (y, [(x, z)]); ((y, x), z) \ dans f] $.
Par conséquent, la zone Dict est CCC (catégorie fermée cartésienne).
C'était intéressant de pouvoir le configurer de la même manière que $ \ mathbf {Set} $, mais il y avait beaucoup d'images que je ne pouvais pas comprendre immédiatement sans confirmer qu'elles existaient universellement et pouvaient être converties. Je me demande si cette zone (le même type de zone) n'a pas de nom. Aussi, je ne le fais pas car c'est gênant, mais je sens que je peux montrer que c'est élémentaire de poser. Eh bien, c'est un exercice (approprié).
Résumé: N'appelez pas le dict de Python un coup parce que c'est plus déroutant. En outre, au moins ce n'est pas une carte.
Recommended Posts