Saltar al contenido principal
LibreTexts Español

4.6: Resumen y lectura adicional

  • Page ID
    112151
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    Este capítulo introdujo tres ideas importantes en la teoría de categorías: profuntores, cate- gorificación y categorías monoidales. Hablemos de ellos a su vez.

    Los profuntores generalizan las relaciones binarias. En particular, vimos que la idea de pro- funtor sobre un preorden monoidal nos dio el poder adicional necesario para formalizar la idea de una relación de factibilidad entre preordenes de recursos. La idea de una re- lación de factibilidad se debe a Andrea Censi; los llamó problemas monótonos de codiseño. La idea básica se explica en [Cen15], donde también da un lenguaje de programación para especificar y resolver problemas de codiseño. En [Cen17], Censi analiza más a fondo cómo utilizar la estimación para hacer que la resolución de problemas de codiseño sea computacionalmente eficiente.

    También vimos profactores sobre el costo de preorden, y cómo pensar en estos como puentes entre el espacio métrico Lawvere. Nos referimos anteriormente a la ponencia de Lawvere [Law73]; allí se puede encontrar mucho más sobre Profunctors de Cost.

    Los profunctores, sin embargo, son mucho más generales que los dos ejemplos que hemos despreciado; los profunctores V se pueden definir no solo cuando V es un preorden, sino para cualquier categoría monoidal simétrica. Una deliciosa y detallada exposición de profactores y conceptos relacionados como equipos, acompañantes y conjuntos, bicategorías monoidales simétricas se puede encontrar en [Shu08; Shu10].

    No hemos definido bicategorías monoidales simétricas, pero estarías en lo correcto si adivinaras que se trata de una especie de categorización de categorías monoidales simétricas. Baez y Dolan cuentan la sutil historia de categorizar categorías para obtener categorías cada vez más altas en [BD98]. Crane y Yetter dan una serie de ejemplos de categorización en [CY96].

    Por último, hablamos de categorías monoidales y categorías cerradas compactas. Las categorías monoidales son un tema clásico, central en la teoría de categorías, y una introducción rápida se puede encontrar en [Mac98]. Los diagramas de cableado juegan un papel muy importante en este libro y en la teoría de categorías aplicadas en general; si bien se utilizan informalmente durante años, estos se formalizaron primero en el caso de categorías monoidales. Puedes encontrar los detalles aquí [JS93; JSV96].

    Las categorías cerradas compactas son un tipo especial de categoría monoidal estructurada; hay muchas otras. Para una amplia introducción a los diferentes sabores de la categoría monoidal, detallada a través de sus diversos estilos de diagrama de cableado, ver [Sel10].


    This page titled 4.6: Resumen y lectura adicional is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Brendan Fong & David I. Spivak (MIT OpenCourseWare) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.