Saltar al contenido principal
LibreTexts Español

4: Codiseño - Profunctores y Categorías Monoidales

  • Page ID
    112126
  • \( \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}}} \)

    • 4.1: ¿Podemos construirlo?
      Al diseñar un sistema a gran escala, se unen muchos campos diferentes de especialización para trabajar en un solo proyecto. Así, todo el equipo del proyecto se divide en múltiples subequipos, cada uno de los cuales está trabajando en un subproyecto. Y recurrimos a la baja: el subproyecto vuelve a ser factorizado en subproyectos, cada uno con su propio equipo. Uno podría referirse a este tipo de proceso de diseño jerárquico como diseño colaborativo, o co-diseño. En este capítulo, discutimos una teoría matemática del co-diseño.
    • 4.2: Profuntores enriquecidos
      En esta sección entenderemos cómo los problemas de co-diseño forman una categoría. En el camino desarrollaremos alguna maquinaria abstracta que nos permitirá reemplazar espacios de diseño de preordenar por otras categorías enriquecidas.
    • 4.3: Categorías de Profunctors
      Existe una categoría Feas cuyos objetos son preordenes y cuyos morfismos son relaciones de factibilidad. Para describirlo, debemos dar la fórmula de composición y las identidades, y demostrar que satisfacen las propiedades de ser una categoría: la unidad y la asociatividad.
    • 4.4: Categorización
    • 4.5: Profunctores forman una Categoría Cerrada Compacta
      En esta sección definiremos categorías cerradas compactas y mostraremos que los Feas, y más generalmente los profunctores V, forman tal cosa. Las categorías compacto-cerradas son categorías monoidales cuyos diagramas de cableado permiten retroalimentación.
    • 4.6: Resumen y lectura adicional


    This page titled 4: Codiseño - Profunctores y Categorías Monoidales 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.