Saltar al contenido principal
LibreTexts Español

2: Recursos - Preórdenes monoidales y enriquecimiento

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

    • 2.1: Pasando de a a b
      Este es más o menos el primer objetivo de este capítulo: discutir un formalismo para expresar recetas métodos para transformar un conjunto de recursos en otro y para derivar nuevas recetas de lo antiguo. La idea aquí no es complicada, ni en la vida ni en nuestro formalismo matemático. El valor agregado entonces es simplemente ver cómo funciona, para que podamos construir sobre él dentro del libro, y así otros puedan construir sobre él en su propio trabajo.
    • 2.2: Preordenes monoidales simétricos
      La notación para un preorden, es decir (X, ≤), se refiere a dos piezas de estructura: un conjunto llamado X y una relación llamada ≤ que es reflexiva y transitiva. Queremos agregar al concepto de preordenes una forma de combinar elementos en X, una operación tomando dos elementos y sumando o multiplicándolos juntos. Sin embargo, la operación no tiene que ser literalmente suma o multiplicación; solo necesita satisfacer algunas de las propiedades que uno espera de ellas.
    • 2.3: Enriquecimiento
    • 2.4: Construcciones en categorías V
    • 2.5: Computación presentó categorías V con matriz mult
    • 2.6: Resumen y lectura adicional


    This page titled 2: Recursos - Preórdenes monoidales y enriquecimiento 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.