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}}\)
- 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.