Skip to main content
LibreTexts - Ukrayinska

2: Ресурси - моноїдальні попередні замовлення та збагачення

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

    • 2.1: Отримання від a до b
      Це приблизно перша мета цієї глави: обговорити формалізм для вираження рецептів методів перетворення одного набору ресурсів в інший і отримання нових рецептів зі старих. Ідея тут не складна, ні в житті, ні в нашому математичному формалізмі. Тоді додана вартість полягає в тому, щоб просто побачити, як це працює, щоб ми могли побудувати його в книзі, і щоб інші могли побудувати на ній у своїй власній роботі.
    • 2.2: Симетричні моноїдальні попередні замовлення
      Позначення попереднього порядку, а саме (X, ≤), стосується двох частин структури: множини під назвою X і відношення, яке називається ≤, що є рефлексивним і перехідним. Ми хочемо додати до концепції попередніх замовлень спосіб об'єднання елементів в X, операцію, що приймає два елементи і додавання або множення їх разом. Однак операція не повинна бути буквально додаванням або множенням; їй потрібно лише задовольнити деякі властивості, які від них очікують.
    • 2.3: Збагачення
    • 2.4: Конструкції за V-категоріями
    • 2.5: Обчислення представлених V-категорій з матрицею мульт
    • 2.6: Короткий зміст та подальше читання