La importancia de los poderes simétricos en la ciencia
Una mirada a cómo los poderes simétricos conectan varios campos científicos.
― 7 minilectura
Tabla de contenidos
- La Importancia de los Poderes Simétricos
- Antecedentes sobre la Teoría de Categorías
- Conceptos Básicos Relacionados con los Poderes Simétricos
- Poderes Simétricos en Diferentes Contextos
- Explorando la Lógica Diferencial Lineal Graduda
- La Correspondencia de Poderes Simétricos y Estructuras Algebraicas
- Funcores e Isomorfismo Entre Categorías
- Conclusión
- Fuente original
- Enlaces de referencia
Los poderes simétricos son importantes en varios campos, incluyendo matemáticas, ciencias de la computación y física. Ayudan a construir álgebras simétricas en matemáticas, a establecer modalidades exponenciales libres en ciencias de la computación, y se utilizan para los espacios de Fock en física. El estudio de los poderes simétricos se puede abordar a través de la teoría de categorías, enfocándose particularmente en categorías lineales simétricas monoidales.
La Importancia de los Poderes Simétricos
Los poderes simétricos permiten crear estructuras algebraicas que manejan la simetría. Por ejemplo, en matemáticas, el poder simétrico de un módulo con coeficientes en un sem anillo se crea tomando el poder tensorial y aplicando ciertas igualdades para cualquier disposición de sus elementos. En el contexto de módulos libres, estos poderes se relacionan estrechamente con el espacio de polinomios que se pueden construir con variables específicas.
En física, los poderes simétricos juegan un papel en describir sistemas de partículas indistinguibles, como los bosones. El poder simétrico corresponde al espacio de estados de una colección de estas partículas indistinguibles, y el estado combinado de todos los poderes simétricos forma el espacio de Fock.
En ciencias de la computación, los poderes simétricos son relevantes en lógica lineal y pueden ayudar a crear un marco lógico dentro de categorías lineales simétricas monoidales. Este marco permite diversas operaciones sobre objetos y ayuda a establecer modalidades exponenciales.
Antecedentes sobre la Teoría de Categorías
La teoría de categorías es un marco matemático que trata sobre estructuras abstractas y las relaciones entre ellas. En este contexto, las categorías monoidales simétricas ofrecen una forma de manejar objetos y morfismos que preservan ciertas propiedades.
En las categorías monoidales simétricas, cada objeto puede combinarse con otros de una manera que mantiene la estructura de la categoría. Esta propiedad es esencial para definir operaciones como los poderes simétricos.
Conceptos Básicos Relacionados con los Poderes Simétricos
Módulos y Semianillos: En el estudio de los poderes simétricos, los módulos sobre semianillos son fundamentales. Un semianillo funciona como un anillo pero no requiere inversos aditivos. Las categorías de módulos se definen sobre estos semianillos.
Álgebra Simétrica: La construcción de álgebras simétricas implica los poderes simétricos. Un álgebra simétrica se construye a partir del poder simétrico de un módulo, que define polinomios basados en combinaciones de elementos sin considerar su orden.
Poderes Divididos: Otro concepto en este ámbito son los poderes divididos. Consisten en elementos que permanecen sin cambios bajo la acción del grupo simétrico, pero pueden no alinearse siempre con los poderes simétricos.
Poderes Simétricos en Diferentes Contextos
En Matemáticas
Los poderes simétricos se utilizan para construir álgebras simétricas, que ayudan a definir varias estructuras algebraicas. Al trabajar con módulos, el poder simétrico se genera aplicando igualdades a través de diferentes permutaciones de los elementos.
El estudio se relaciona con polinomios, donde el álgebra simétrica puede expresarse como todas las combinaciones posibles de estos elementos, llevando a una comprensión más amplia de las estructuras matemáticas involucradas.
En Física
En física, especialmente en mecánica cuántica, los poderes simétricos ayudan a definir estados de partículas. Por ejemplo, los poderes simétricos son esenciales para describir colecciones de bosones indistinguibles, donde sus estados combinados se representan en un espacio de Fock.
Este concepto se utiliza en varias aplicaciones, incluyendo la óptica cuántica, proporcionando un marco para entender interacciones y comportamientos de estas partículas.
En Ciencias de la Computación
Dentro de las ciencias de la computación, los poderes simétricos se relacionan con la lógica lineal, que se utiliza para razonar sobre recursos. Este marco lógico puede conducir a entender algoritmos y computación a través de morfismos entre objetos dentro de categorías monoidales simétricas.
Al definir ciertas operaciones dentro de estas categorías, los investigadores pueden explorar modalidades exponenciales que pueden modelar diferentes procesos computacionales y recursos de manera efectiva.
Explorando la Lógica Diferencial Lineal Graduda
Además de los poderes simétricos, el documento introduce la lógica diferencial lineal graduda que combina aspectos de categorías diferenciales con categorías gradudas. Aquí, los morfismos se interpretan como funciones suaves, proporcionando un marco rico para entender la diferenciación en contextos algebraicos.
Categorías Diferenciales Gradudas
Las categorías diferenciales gradudas son esenciales para estudiar estructuras gradudas. Permiten interpretar morfismos como si tuvieran grados, haciendo que el enfoque sea versátil para varias operaciones. La diferenciación de estos morfismos conduce a nuevas perspectivas sobre su comportamiento y propiedades.
Esta estructura de categoría permite explorar diversas relaciones entre objetos y cómo podrían cambiar bajo diferentes operaciones.
La Correspondencia de Poderes Simétricos y Estructuras Algebraicas
Se exploran las relaciones entre los poderes simétricos y estructuras algebraicas como los bimonoides gradados binomiales. Un bimonoide gradado binomial se puede ver como una colección de objetos equipados con mapas de multiplicación y comultiplicación que satisfacen axiomas específicos.
Caracterización de los Poderes Simétricos
La caracterización de los poderes simétricos dentro de este marco se basa en establecer ciertos axiomas que rigen sus operaciones. Si se respetan estos axiomas, se puede demostrar que las estructuras resultantes pueden identificarse con los poderes simétricos en una categoría lineal monoidal simétrica.
La exploración de esta relación ayuda a profundizar la comprensión de cómo funcionan e interactúan los poderes simétricos dentro de sistemas matemáticos más amplios.
Funcores e Isomorfismo Entre Categorías
En el estudio, se definen cuatro categorías con respecto a los poderes simétricos y bimonoides gradados binomiales. Se establecen funtores para demostrar cómo estas categorías se relacionan entre sí y cómo sus objetos y morfismos se traducen entre las diferentes estructuras.
Propiedades de los Morfismos
Los morfismos entre estas categorías ayudan a identificar las operaciones esenciales que mantienen la integridad de las estructuras involucradas. Al observar cómo interactúan los morfismos, los investigadores pueden derivar propiedades esenciales que se mantienen en estos diferentes marcos.
La naturaleza biyectiva de ciertas correspondencias también puede demostrarse, mostrando que los poderes simétricos y los bimonoides gradados binomiales pueden describir efectivamente las mismas relaciones algebraicas.
Conclusión
En resumen, los poderes simétricos juegan un papel crucial en matemáticas, física y ciencias de la computación. Ayudan a crear conexiones entre estructuras algebraicas, describir sistemas en física y establecer marcos lógicos en computación. El estudio de estos poderes, especialmente dentro del contexto de la teoría de categorías, proporciona valiosos conocimientos sobre su comportamiento y aplicaciones.
A través de la exploración de sus relaciones con otras estructuras algebraicas y el establecimiento de funtores, se puede obtener una apreciación más profunda de los poderes simétricos y su relevancia en varios dominios científicos.
Título: String diagrams for symmetric powers I: In symmetric monoidal $\mathbb{Q}_{\ge 0}$-linear categories
Resumen: Symmetric powers are an important notion in mathematics, computer science and physics. In mathematics, they are used to build symmetric algebras, in computer science, to build free exponential modalities of linear logic and in physics, Fock spaces. We study symmetric powers through the lens of category theory. We focus here on the simpler case where nonnegative rational scalars are available ie. we study symmetric powers in symmetric monoidal $\mathbb{Q}_{\ge 0}$-linear categories. Among the developments, a main point is the introduction of the notion of binomial graded bimonoid and the associated string diagrams which characterize symmetric powers in this setting.
Autores: Jean-Baptiste Vienney
Última actualización: 2023-08-03 00:00:00
Idioma: English
Fuente URL: https://arxiv.org/abs/2308.02094
Fuente PDF: https://arxiv.org/pdf/2308.02094
Licencia: https://creativecommons.org/licenses/by/4.0/
Cambios: Este resumen se ha elaborado con la ayuda de AI y puede contener imprecisiones. Para obtener información precisa, consulte los documentos originales enlazados aquí.
Gracias a arxiv por el uso de su interoperabilidad de acceso abierto.
Enlaces de referencia
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEB9YMAXxF6l0mXPkIoAjOSq1GLNgCFufAUJAZseAkTISZ9Zq0QduE3gD1gAHSsQ8AW3gACFYOGaxRKXuoH5xpWAzSxs7LEc4F343dREtcWQAJmlfOSMTIItrWwdnVzUNUW0UAGYU2UNFUyzQ3Mj89yKE5J8K-wyG2I9i5DLWv3TA1xkYKABzeCJQADMAJwh7JDIQHAgkKTb06eVotTmF9epVpDLNtjgd1Rn5xcRl48Rks+MLnn5qBjoAIxgGAAU4p5jLMsGMABY4K4gfa3J4PU4DNjbTIhHLhPLvECfH7-QHFEAg8GQmIwpAAFiOa0QAFZUpVjMjgtkwhEolDSTTKUgAOx09qzTiEEk3clcxAANj56QFhA+31+AO64gJoIh7JFErFvOe0MFIDlOMVTTYhLVvAovCAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEB9YMAXwAIAOoIh4AtvH5dgaXiF6l0mXPkIoATOSq1GLNgCFufISPGTDMuQqXY8BImQCM2+s1aIORgNSz5ikBi2qkSaztSueh4WYD5W-oEq9igALFrhuu6ePLF+NolqyKlhOm5s0sbColgScFLcvtYBynYFAGxpJZEg0TmNCS1E7cURmdEClWa1Fg3aMFAA5vBEoABmAE4QYkhkIDgQSI7ppR4rRuOm1ZKnlrkg65vb1HtImp2ZwmB0AEYMdEakvmovy+MAYAAVmsEPGssPMABY4W73LaIQ67faIADMRy6H2+v3+DX8yJeTwx2LebGuMUBIGBoIhQSSIBh8MRjRJiFS6KQAFYce9BAARUE4P48AFyIHfBmQ5mshFIjYo7nPRDtSknbxE1bKvlkpAAdgFVLOJiqNX411p9PBcrULNhio5evVBsQxs1IGEIoYYsJVgovCAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAJgBoAGAXVJADcBDAGwFcYkQAFGAJwFsBlNI1wAKADpje9HAAsAxk2ABhAL4BKECtLpMufIRQAWCtTpNW7Ln0HCcAfWABGFeMnT5i1Rq07seAkTkJjQMLGyIIABCWGAA4tzRvASuUrIKjMrqmtogGH76RABswWZh7NFxCVhJYA7OKe7pmd6mMFAA5vBEoABm3BC8SGQgOBBIQSBwMlg9OEgAtI4h5uEgAGJ1Ktm9-YOIE6NIS5PTswvHoRYRG8DEWz4gfQNHNIeIAMw0UzNziIvLZWuDne9xyTz2nxGY0Qx2+Zz+FxW7FiwNBO2eMNe0ImcN+-1KVxAKNuaMeu3GWKGX1OeMRgKJm00lBUQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAAUYAnAWwGU0DXAAoAOqJ50cACwDGjYAGEAvgEoQy0uky58hFACZyVWoxZsAQljABxLlZ4ExEqXIUr1m7djwEiZAEYTemZWRA5ufkFcAH1gAOVnSRl5BiU1DS0QDB89IiMg6hDzcKtbeyxHMDiEpNdU9M8TGCgAc3giUAAzLggeJDIQHAgkAOo4aSwunCQAWjHTULYAMRrlTO7e-sQF4YHxyem5heKwkBs1jZAevtHqPcQAZgOpmcR5orMz1eADda9rlskM8hiMdi8ju8Tl82Bdfv8sjdtoMHkYQBNXsdPktwnCACwIza3RBoh6DDGQj6LEogH4Eq5I4H3MFoilvKmnFZxR6EwHE0lgkFsrHUs5wnkaCjKIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRADEB9YARgF8ABAB0hAYywAnUQIDi3fsLEEA5gICSUbgCEsYGRJ0BbAgAoRhujgAWoxsADCfAJR8QfUuky58hFACZyKlpGFjY5XkERcSkBLgjFURV1TWAABRgJQwBlNAZcMyELa1sGB2dXd09sPAIiMh4g+mZWRA5uP0ixSWlwjoSkjW1dfSMCeT4Cops7Rxc3DxAMap8iAIbqJtDW3s7o6Ti+qIGUnT0DLGMwSctp0tmKhaXvWpQyP0aQlrbgAGZd7tk3D+-TAqkGaQy2VyuHG12KM3K8yqz18yAC7w2nzCQP+MTiwKOoOSQzOozAsPMNxKZTmlUWXhqqICPw+zWxwAALLj9twuSCwSl0pkcnkcBTClSEbTHgyVq9SCzMWzWnE+VEAeE1UoieChVDRXDbjSKkEYFBlPAiBQ+EA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEA9YAHR4jwBbeAAIwAXxDjS6TLnyEUAJnJVajFmy69+Q0RKlqYUAObwioAGYAnCIKRkQOCEgCM1OAAsslnEgC0KurMrIggfNgmgnQg1Ax0AEYwDAAKcngEbAwwvlIyIDZ2DtTObh7euYhB8Ump6QpZOX7U9CFsfADGUAII4hTiQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEA9YAHR4jwBbeAAIwAXxDjS6TLnyEUARnJVajFmwAaUtTCgBzeEVAAzAE4RBSMiBwQkKkHAAWWUzhvV6zVohBMuuJAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEA9YAHR4jwBbeAAIwAXxDjS6TLnyEUARnJVajFmwAaUtTCgBzeEVAAzAE4RBSMiBwQkKkHAAWWUziQBaJ-WatEECYpGRALK0dqextqV3dPRB9qP01Aml1xIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAA0QBfU9TXfIRQBGclVqMWbAIIA9YAB0FEPAFt4AAjBdu4mFADm8IqABmAJwiqkZEDghJRIOAAsspnDer1mrRLV0uIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEA9YAHR4jwBbeAAIwAXxDjS6TLnyEUAJnJVajFmy69+Q0RKkyQGbHgJEALKur1mrRCAAah2aYWXSARjW3ND7XwCWMJwYpLiajBQAObwRKAAZgBOEIJIZCA4EEie1HAAFlgJOEgAtCrqdmx82NGCdC4gyanp1Fk5eYXFSBUMdABGMAwACnJmiiAMMN02GvYgfADGUAII0okpaYi5mdmIFb7zTI3NWzvtiADM1H2DI2PuDklY0fkls1UOfMl0i8Ce4mAYAAhOI+EwwLAknAYDgdLV6iI+FgwEiePUcPkfgBrYAAZXEAH0geJATUmIJxGiEQ11k1Nj02ntrpMUfMoHQClEQB8-LQpBRxEA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAJgBoAGAXVJADcBDAGwFcYkQBBAPWAB1eIeALbwABGAC+ICaXSZc+QigAsFanSat23PgOFjJ02SAzY8BIuTU0GLNohAANI3LOLLpAIzrbWhzv5BLBE4cSkJdRgoAHN4IlAAMwAnCCEkKxAcCCRPGjgACywEnCQAWjINO3Z+bGihehcQZNT0miycvMLipArGegAjGEYABXlzJRBGGG6bTXsQfgBjKEEEGUSUtMQK9sQM33naRuatgGY27L3Zqod+ZPpF4E8JYDAAQgl+ZjBYJLgYHC6Wr1UT8LBgUG8eo4fL3ADWwAAyhIAPqvCQvGrMIQSSHAho0PqDEZjdwOJJYaL5ErrJqbJDnTKXXoDIajNwWBxTGaTcHzKD0ApRECdIolK6VPwgZjSSgSIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEA9YAHR4jwBbeAAIwAXxDjS6TLnyEUAJnJVajFmy69+Q0RKkyQGbHgJEALKur1mrRCACaUtTCgBzeEVAAzAE4QgkhkIDgQSACM1HAAFlg+OEgAtCrqdmx82O6CdIa+AUGIIWGR0XEJSKkMdABGMAwACnJmiiAMMBU2GvYgfADGUAII0vmBpaHhiKm2mg4+LuJAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEA9YAHR4jwBbeAAIwAXxDjS6TLnyEUAJnJVajFmy69+Q0RKkyQGbHgJEALKur1mrRCACah2aYWXSARjW3NDgBpSajBQAObwRKAAZgBOEIJIZCA4EEie1HAAFlhROEgAtCrqdmx82KGCdC4gsfGJ1ClpGdm5SEUMdABGMAwACnJmiiAMMK02GvYgfADGUAII0tFxCYjpyamIRb6TUdW1K2uNiADM4yUOTCDUHd19A+4OMVihmXmLNctIp+tt1109-Tc5kez1eV2KfloAG5duIKOIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEA9YAHR4jwBbeAAIwAXxDjS6TLnyEUAJnJVajFmy69+Q0RKkyQGbHgJEALKur1mrRCACah2aYWXSARjW3NDgBpSajBQAObwRKAAZgBOEIJIZCA4EEie1HAAFlhROEgAtCrqdmx82KGCdC4gsfGJ1ClpGdm5SEW+9iAAdD0g1Ax0AEYwDAAKcmaKIAwwrdLRcQmI6cmpiO0anVHVtUsrjYgAzDabbEx900Mj427mDjFYoZl58zWLSMerbf1XYxPu90ezwuHVKPDQ2SC4iAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAJgBoAGAXVJADcBDAGwFcYkQBBAPWAB1eIeALbwABGAC+ICaXSZc+QigAsFanSat23PgOFjJ02SAzY8BIuTU0GLNohABNaephQA5vCKgAZgCcIISQrEBwIJABGGjgACywfHCQAWjINO3Z+bHcheiNfAKDEELDI6LiEpFTbLQcAOnqQGkZ6ACMYRgAFeXMlEEYYCpl8wMqaEqKbTXsQHxcJIA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAJgBoAGAXVJADcBDAGwFcYkQBBAPWAB1eIeALbwABGAC+ICaXSZc+QigAsFanSat23PgOFjJ02SAzY8BIuTU0GLNohABNI3LOLLpAIzrbWhwA1pdRgoAHN4IlAAMwAnCCEkKxAcCCRPGjgACywonCQAWjINO3Z+bFChehcQWPjEmhS0jOzcpCLfexAAOh6QGkZ6ACMYRgAFeXMlEEYYVplouITEIsbEJI72KOrapYBmBtS1m01O2j7poZHxtwsHGKxQzLz5msW2g6R94r8agG5mc4DYZjCbuO4PJ5BCRAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZAJgBoAGAXVJADcBDAGwFcYkQBBAPWAB1eIeALbwABGAC+ICaXSZc+QigAsFanSat23PgOFjJ02SAzY8BIuTU0GLNohABNI3LOLLpAIzrbWhwA1pdRgoAHN4IlAAMwAnCCEkKxAcCCRPGjgACywonCQAWjINO3Z+bFChehcQWPjEmhS0jOzcpCLfexAAOh6QGkZ6ACMYRgAFeXMlEEYYVplouITEIsbEJI72KOrapYBmBtS1m01O2j7poZHxtwsHGKxQzLz5msW2g6R94r8QfjRs84DYZjCbuO4PJ5BCRAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGHEA9YF2kBGceIAUnHvwDGjYAGFxASgAEnPF3jnuvQSInTZCpcABMazbd36jZi1hWcDba9mJSMvKK0gDMnlp2egyGJiDipOiYuPiEKGTKVLSMLGwJ-MLhTlGuqhplfEkp-uyW1vUVjpEu0h4A1K5xdd4Nvqnpmdh4BERu5IX0zKyIHMMdEc7RwKr9PfHDjX42rcHtDuvVsXuhB2MZIBiTOTOkBdQLJcunlV2b2659AyuiVGxjShRgUAA5vAiKAhAAnCBcJBkEA4CBIZRvYpLEDKI6BNrsAQQAAeaGYcCq3Xc6UB4hA1AYdAEMAYAAUslNciB4VhIXwcGk7gikUhZmiMYgYtjFqViWSKUwqT8auIdrTSPThXDEcjEFjJUgZUU5Z8FeTKdTfnTdhrBoyQMzWRyuU9lnyBULxiBRfrUejxbKPisSZblda1VrduICUFTMoweIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGGkBGceIB6wLvMUAKTj34BjRsADC4gJQACTni7wL3XoJETps4ACZFKtW83b7+hkamtlY2vvzCYlIy0gDMHqqxPnZ6BsYmIOKk6Ji4+IQoZHJUtIwsbGEOkc7qygnACuJayXz+geaWWNZwtjqVTtHeANQucbVe7gB0XqNNva1pGVkgGNh4BESupEXU9MysiBzNEf0uCsPS7ufAo57qUxfi99dJc6mmi9mreRvkxbtlBwqxyip3EV3cYzu4xefje7XYIW6QMcIMSkOejQq83e4mKMCgAHN4ERQEIAE4QLhIMggHAQJAxHalfaHCCI6r1TIuCG3TmkaHiYKdGxyD4gcmUhnUOlITYlPbldhs4VwDlnblctG8hRPdz8tFiiVUxByaX0xBy-4szjKrpqzVDEbxLwKfXeJ6jEDUBh0AQwBgABRya3yIDJWAJfBwhopxppMpNTIVBzkQq6tlt8A5eqd6L100UXpAPr9geD3wO4cj0dx4iAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGHEA9YF2kBGceIAUnHvwDGjYAGFxASgAEnPF3jnuvQSInTZCpcABMazbd36jZi1hWcDba9mJSMvKK0gDMnlp2egyGJiDipOiYuPiEKG7kVLSMLGwJ-MLhTlGuqgB0rh4aZXxJKf7sltbNFY6RLrHx3i2+qemZ2HgERGTKhfTMrIgcQz0RztHAqk1DrX42ncHdDmvV0h71A9uhu6MZIBgTOUT5s9TzJUtHlX0bdQ3iF2AcSuiRGxjShRgUAA5vAiKAhAAnCBcJBkEA4CBIZRvYqLEAAbiq-U26X+4n2gWsyjSdyRKOx1ExSBiuIWbCJPxqAP+pFcwNpCORqMQ6OZiHyRXZS2UlKCpk5615-LUIGoDDoAhgDAACllJrkQIisNC+DhBSB6SLJeLWVKPoTib8yWceZc1SANVrdfqnktjabzeIKOIgA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGGkBGceIB6wLvMUAKTj34BjRsADC4gJQACTni7wL3XoJETps4ACZFKtW83b7+hkamtlY2vvzCYlIy0u7KqtIAzD52egbGJiDipOiYuPiEKK7kVLSMLGxhDpHO6nFeCuJaKXz+geaWWNZwtjpVTtHedTHiANReSY2VremZ2SAY2HgEREVyJfTMrIgczRH9LgojLrGe6hpe7mOJppPN06azOYv5K6Su62VbO717UQejxw88WACgAdBdkr17u12CFupVfjUQQDhkNkeDrrcoWkHlknnlligyGtqBtytsEY4-rVTsisX4cTC4T17IiBg1aQ0mtiAulgp1QrsqUiTsDYtyGbygh0uizwsKBqLxpDJW1HvNcksCiQ3h9NhUhdV2UD6irUlKmQL4Yb9qjaeKpoz+bLKUb-miuY6Lc7BT8FYC0RMJea1eISjAoABzeBEUBCABOEC4SDIIBwECQclJnzYch91oEEAAHmhmHARSbhqRleJ1QmkynqOmkAAWagMOgCGAMAAKmpe23jWEjfBwIGz+u2uggaAAnvmzHI64nk4g22mM4gAKztzvdvvPQkgIcjscT8kgPOcCDMziRuhcHi2G9WxfLhvbpubhK7ru9-tHieo7jqUk47C+XRIgopABpyWQQuIC7XnCUFZLBwLQTW76rlmG5IEUoEXshVqoTBdoYfBwxXMAEzYUgP54YgBEdn+B4EgUx7DsB55fJwhYlmWqFHORpoYt41bqGJtFhuIQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGGkBGceIB6wLvMUAKTj34BjRsADC4gJQACTni7wL3XoJETps4AuWrpAJk3b7+hkamtlY2vvzCYlIyXooqasAAzD52egbGJiDipOiYuPiEKJ7kVLSMLGxhDpHO6u7xCgDU8d7iWil8-oHmlljWcLY6VU7RwC1x0kmtlZ3pmdkgGNh4BERFciX0zKyIHO0Rwy6NLmPAGvXiTTEm8ZNtgzOmczlL+auknhtl27uD+1GHF2OsQ8rnEADobsl7mkgj0+gN7H8aqCGkC6jEIRMoX4YRkss88isUGR1tRNuUdpUkSM3ONQVN2g9uuwQv0qY5-rU6S07jiAulgr1QnsOciTpCGdD+bCWUK2SLqiNxVjJXyuk8FrllgUSO9PlsKgqDlyQW5ealpczWQjwqKlcCJeaOrjBfD2YqAejRtiLV1XcLfna0XTbtNcZkSjAoABzeBEUBCABOEC4SDIIBwECQcjJX0NAggAA80Mw4Mjaaass1FP7+nINUmU2nqJmkAAWagMOgCGAMAAKWteO0TWGjfBwIFzBp2clrZl0EDQAE8G8nU4gOxms4gAKyd7u9gcvIkgEdjidTikgWecCDWzjRuhcHi2O9ysz1-EgRvrvdbpAJPuPb9oOJ5nuOk6lNOuxvn05ZZMGlakBKc63qy8GkIh1bISqq5NogOb-ogRRQVeaFyhhWHqJc3o4Ykih4eugFESRXbAUehIFKeo4QZe3ycAWxalvBqIxF6CiYvRdHeJJkwRuIQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGHEA9YF2kBGceIAUnHvwDGjYAGFxASgAEnPF3jnuvQSInTZCpcABMazbd36jZi1hWcDba9mJSMvKK0gDMnlp2egyGJiDipOiYuPiEKG7kVLSMLGwJ-MLhTlGuqhplfEkp-uyW1vUVjpEu0h4A1K5xdd4Nvqnpmdh4BET5yoX0zKyIHMMdEc7RwKrqrn0DJkOhjX5pGSAYkzkzpG7zxUsroWtV3VviAHS78cPHJjatwXaDnW1RUH32h0So2Mpwm2WmKDIc2oCxKyyBlS6m1qXiO0P+gTaq2BL2x3zxyT8BKCITszyxX0hPkpfwCNIxnQ2ENxUJZMPG5yyU1yJBud0WpWJmK5YKZIz51KJTxJDJ65N5TUVgKlnNBbzlv2aANp5RVMuAgx5zKaaUKMCgAHN4ERQEIAE4QLhIMggHAQJDKFH3NjKLU2AQQAAeaGYcFJX1IENhIHdnu91D9SAALNQGHQBDAGAAFIVXZZurAOvg4EBBiXLHQQNAATzDymTqa9iBzvv9iAArLn84WS5cESAK1Wa3W0SBQ5wIMbOA66FweDZF4Tgu2BZ2kIPe0gYkOC8XS+PJ9Xa0V6yAANzxsGJtXiMMP1VvZ8WtQdj1dwOHog+Q3rO77mqoX57LEP67n+R4Zn2wF5qeo7wrkE6VleM4PJwEbRrGj5vJ8apfqoxHfuItriEAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGHEA9YF2kBGceIAUnHvwDGjYAGFxASgAEnPF3jnuvQSInTZCpcABMazbd36jZi1hWcDba9mJSMvKK0gDMnlp2egyGJiDipOiYuPiEKG7kVLSMLGwJ-MLhTlGuqgDUrh4aZXxJKf7sltbNFY6RLrHx3i2+qemZ2HgERPnKhfTMrIgcQz0RzsDqNeL10h7GrnFNQ61+aRkgGBM506Ruc8WLy6GrVf3AqgB0B4OhJyY2nWC3Qca2qu3EXwGR1+I2MZ3G2SmKDIs2o8xKS2BlT60XeP0SsIBgS6KxBr1xjS8MOSfiJQRCdheOO+0IJNP+AXpWN66xZVLZbXhFyyk1yJFu9wWpVJ2N5KnxPnZ7UBDPKZOZUP5iradJJz3VcvcCuGSt1QJlPLBwEOWpNgvEhRgUAA5vAiKAhAAnCBcJBkEA4CBIZRoh7SgQQAAeaGYcHJW1IDTUZtMyiFXp9fuogaQABZqAw6AIYAwAAoi65LT1YZ18HAgUNSpbKFM6CBoACe6e9vsQ+YDQcQAFYC0WS+WrkiQNXa-XGxiQC3OBAVZxnXQuDwbCvicE02MQBneyOB0gYqPi2WK1OZ3WG0UmyAANzx+WJ8HiFMvjVG9-WtTdpmiAhqeiD5A+C7foanxJn+hyAb256geBhaXhOiK5NONZ3vOjycBG0axq+eKQv+f4eKR8EOuIQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YMXEA9YAEZxACk49+AY0bAAwuICUAAk54u8E916CRE6WHnAuq9de0M9hkONLpMufEIUACZyKlpGFjZXfmExKWAHBWc1Ky0dfQNvcJgoAHN4IlAhACcILiQyEBwIJEVqOD4sIRwkAFpQiOZWRA52CDN4aTIkpVJnb18QUvLK6hq6hqaWpE6GOgEYBgAFfzwCNhKsPL5W6nputhgSujgYS0G4I0Vs8SA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGHEA9YF3EAKTj34BjRsADC4gJQACTni7xj3XoJETpxecACMKtVa0NdBkONLpMufEIUACZyKlpGFjZXfmExKRkHJVVLTW09fW9wmCgAc3giUCEAJwguJDIQHAgkR2o4PiwhHCQAWlCI5lZEDnYIU3hpMHIk0mdvXxASsorqatr6xuakDoY6ARgGAAV-PAI2Yqxcvhbqei62RwsBuEMYYro4VnEKcSA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGHEA9YF3EAKTj34BjRsADC4gJQhxpdJlz5CKMgEYqtRizZregkROmyF1lc83a9+gAEnHhc8MHcLsJiUjLyij6Rfgy6BkYmIBjYeAREAEykttT0zKyIHEmuMR7xSqqVWikBRnYwUADm8ESgQgBOEFxIZCA4EEjW1Ax0AjAMAApmOZYgvVjtfDggxQ5lIACSUNKckgqcEKHhsuIRF3CB1uk9-YOIEyNjiAUgUzPzixZsVbrTbbUpsADcNS8pCUjxAfQGQ2ooyQXxKjnKD3EFHEQA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBoBGAXVJADcBDAGwFcYkQAdDgW3pwAsARgDNgAZQC+AfWBgJAPWDcJACi68BAYybAAwhICUAAi55u8Ezz5DRkmXMXlV669sZ7DICaXSZc+QhQyYmo6JlZ2FwERcWlZBSVnKy0dfQMvHxAMbDwCIgAmClCGFjZETmSbWPsE5TVKtw90iVCYKABzeCJQYQAnCG4kchocCCQyEEZ6QRhGAAU-XMCQXqx2-hwQGhKI8vJLMwsASSgZLilFLghDuCM5CQye-sHECdGkQsnp2YWcgPZVutNttwmUQABuGqKbgUB7eJ4DIYjMaIT47MHkLyUCRAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAB12BbOnACwBGAM2ABlAL4B9YGGkBGceIB6wLvMUAKTj34BjRsADC4gJQACTni7wL3XoJETps4AuWrpAJk3b7+hkamtlY2vvzCYlIyXooqasAAzD52egbG5pZY1nC2Og6RzjHu8QAsyXn+gSYg4qTomLj4hCie5FS0jCxsYflO0a6xHgPiWil8lenBWaFjEX0u3sXSSSM9E0GZ2bn2c1EubnFFoxVpG+whOT27hcCLh8Blq2Pr1bX12HgERGSe7fTMrEQHFmjj26iWAwAdPFFsc-KcMudppcQQV+nchklodJHnDUgF0jU6iAMB8mkRWr9qP8ukCrqCbgoANQLQbxBTY27iTlY0rleEE0xE96NL4tUhyP6dQHAvLXfrM1kQjnxFZ48YIqZbelo-biFlFe7eTm4tYImrtGBQADm8CIoCEACcIFwkGQQDgIEg5NTpWw5LYIBdbNa6FweIHg3JhSAnS7vdRPUgSr6Ad12EHkYzakr7gpSKrFFqZpnstnSLmht4CzjFDG467EK0PV7EAlqAw6AIYAwAAoNT7NECOrDWvg4ECp2nA0vwcuV9ncmG1QsmutvWPOxvupNNjtdnv9sli4ej8eTjppoEAbmzypXRWLOVv6LZywfD3XxIbycTrfbl7Ti+eqQgu6g8h+xp8uIFriEAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEB9YMAXxF6l0mXPkIoAjOSq1GLNgCFufAUJAZseAkTISZ9Zq0QduE3gD1gAHSsQ8AW3gACFYOGaxRKXuoH5xpWAzSxs7LEc4F35eGRgoAHN4IlAAMwAnCHskMhAcCCQpWUM2FOVotXTMguo8pABmXzkjEDgy8wVVVIysxBzaxAAmRuLjVp4LdhBqBjoAIxgGAAURLXEQNKx4gAscTpBKnqHc-MQGov990wtrWwdnFWm5heWPbWMN7d2Y3iA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEB9YMAXwAIAOoIh4AtvH5dgaXiF6l0mXPkIoATOSq1GLNgCFufISPGTDMuQqXY8BImQCM2+s1aIORgNSz5ikBi2qkSaztSueh4WYD5W2jBQAObwRKAAZgBOEGJIZCA4EEiO4bruIGlGAsKiWBJw-BWWfulZOYh5BUiaOm5swmB0AEYMdEakvtQjgzAMAArKdmogGViJABY4zeWtRdSdiADMJb0e-UMjY77W29lde4WHx5Hl3hMgUzPzQfYeK+ubvAovCAA
- https://tikzcd.yichuanshen.de/#N4Igdg9gJgpgziAXAbVABwnAlgFyxMJZABgBpiBdUkANwEMAbAVxiRAEEB9YMAajQC+IAaXSZc+QijIBGKrUYs2XHgIAEAHQ0Q8AW3hqVg4aJAZseAkQBM5efWatEIAELc+xkWIuSbpOdQOSs5uqpraegahnvIwUADm8ESgAGYAThC6SGQgOBBIMoGKTiBaACIwDDh07qTG1Ax0AEaVAArillIgaVjxABY4JqkZWYg5eUi2Co5sKe78Ql4g6ZkF1BOIAMxFM85zYVo6WPpwavv1II0tDO0+Vs49-YNLK6NTG9vTwaUaFVU1PDqiwoAiAA