Last active
June 7, 2021 11:34
-
-
Save AndreaCensi/382629bd07f98798f1bf5fd2db4e9b3b to your computer and use it in GitHub Desktop.
unused
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
These videos are unused: | |
\linkvideo{spring2021-functorial-comp-a:design-queries} % Design queries | |
\linkvideo{spring2021-functorial-comp-a:optimization-semantics} % Optimization semantics | |
\linkvideo{spring2021-functorial-comp-a:how-cat-helps} % How can category theory help? | |
\linkvideo{spring2021-functorial-comp-a:patterns} % Looking for patterns | |
\linkvideo{spring2021-functorial-comp-a:compositionality} % Looking for compositionality | |
\linkvideo{spring2021-functorial-comp-a:from-math-to-impl} % From math to implementation | |
\linkvideo{spring2021-functorial-comp-a:solving-codesign} % Solving co-design problems | |
\linkvideo{spring2021-functorial-comp-b:solving-queries} % Solving DP queries | |
\linkvideo{spring2021-functorial-comp-b:solving-queries:solving-series} % Series composition | |
\linkvideo{spring2021-functorial-comp-b:solving-queries:solving-parallel} % Parallel composition | |
\linkvideo{spring2021-functorial-comp-b:solving-queries:solving-loop} % Loop composition | |
\linkvideo{spring2021-functorial-comp-b:solving-queries:multi-loop} % Canonical form | |
\linkvideo{spring2021-functorial-comp-b:solving-queries:complexity} % Complexity | |
\linkvideo{spring2021-functorial-comp-b:solving-queries:or-and-and} % Join and Meet in DP | |
\linkvideo{spring2021-monads-a:intro-monad} % Introduction to monads | |
\linkvideo{spring2021-monads-a:modeling-nondet-unc} % Modeling nondeterministic uncertainty | |
\linkvideo{spring2021-monads-a:how-to-gen-monads} % How to generalize | |
\linkvideo{spring2021-monads-a:intervals} % Intervals | |
\linkvideo{spring2021-monads-a:monad-def} % Monad definition | |
\linkvideo{spring2021-monads-a:monad-powerset} % Powerset construction | |
\linkvideo{spring2021-monads-a:monad-interval} % Interval construction | |
\linkvideo{spring2021-monads-a:generalized-morphisms} % Generalized morphisms | |
\linkvideo{spring2021-monads-a:monad-cs} % Computer science definition | |
\linkvideo{spring2021-monads-b:another-persp-mon} % Another perspective on monads | |
\linkvideo{spring2021-monads-b:formal-expressions} % Formal expressions | |
\linkvideo{spring2021-monads-b:eval-formal-expr} % Evaluate formal expressions | |
\linkvideo{spring2021-monads-b:monad-formal-expr} % Monad for formal expressions | |
\linkvideo{spring2021-monads-b:algebra-monad} % Algebras for a monad | |
\linkvideo{spring2021-monads-b:blueprint-monoids} % Blueprinting monoids | |
\linkvideo{spring2021-monads-b:actions-as-algebras} % Actions as M-algebras | |
\linkvideo{spring2021-monads-b:morph-algebras} % Morphisms of M-algebras | |
\linkvideo{spring2021-monads-b:cat-algebras} % Category of M-algebras | |
\linkvideo{spring2021-monads-b:comparing-perspectives} % Comparing the two perspectives | |
\linkvideo{spring2021-profunctors:recap-design} % Recap of design problems | |
\linkvideo{spring2021-profunctors:gen-bool} % Generalizing boolean profunctors | |
\linkvideo{spring2021-profunctors:bool-prof-gen-rel} % Boolean profunctors as generalization of relations | |
\linkvideo{spring2021-profunctors:profunctors} % Profunctors as generalization of boolean profunctors | |
\linkvideo{spring2021-profunctors:from-dpi-to-feas} % From DPI to feasibility relations | |
\linkvideo{spring2021-profunctors:dpi-comp} % DPI composition | |
\linkvideo{spring2021-profunctors:prof-comp} % Profunctor composition | |
\linkvideo{spring2021-profunctors:hom-prof} % The Hom profunctor | |
\linkvideo{spring2021-profunctors:hom-prof-check} % Checking that Hom is a profunctor | |
\linkvideo{spring2021-enrichment:intro-exa-enrich} % Introductory example about routing | |
\linkvideo{spring2021-enrichment:recap-monoidal} % Recap on monoidal categories | |
\linkvideo{spring2021-enrichment:enrich-cat-def} % Definition of enriched category | |
\linkvideo{spring2021-enrichment:set-enriched} % Enrichment in Set | |
\linkvideo{spring2021-enrichment:bool-enriched} % A category enriched in Bool is a preorder | |
\linkvideo{spring2021-enrichment:pos-en-pos} % Pos is enriched in Pos | |
\linkvideo{spring2021-enrichment:cost-en} % Enrichment in cost | |
\linkvideo{spring2021-enrichment:bounded-lat-en} % Enrichment in BoundedLat | |
\linkvideo{spring2021-enrichment:from-dp-to-upos} % A functor from DP to UPos | |
\linkvideo{spring2021-enrichment:enriched-functors} % Enriched functors | |
\linkvideo{spring2021-enrichment:monotone-maps-bool-func} % Monotone maps are Bool functors | |
\linkvideo{spring2021-operads-a:intro-idea-operad} % The basic idea of operad | |
\linkvideo{spring2021-operads-a:terminology-operad} % Terminology | |
\linkvideo{spring2021-operads-a:composition-operad} % Composition | |
\linkvideo{spring2021-operads-a:notation-operad} % Notation | |
\linkvideo{spring2021-operads-a:operad-sets} % Operad of sets (via product) | |
\linkvideo{spring2021-operads-a:operad-disks} % Operad of little disks | |
\linkvideo{spring2021-operads-a:operad-def} % Definition of operad | |
\linkvideo{spring2021-operads-a:operad-multilin-maps} % Operad of multilinear maps | |
\linkvideo{spring2021-operads-a:operad-monoidal-cat} % Operad from a monoidal category | |
\linkvideo{spring2021-operads-a:swiss-cheese-operad} % Swiss cheese operad | |
\linkvideo{spring2021-operads-b:operad-blueprint} % Operads as blueprints | |
\linkvideo{spring2021-operads-b:functors-operads} % Functors between operads | |
\linkvideo{spring2021-operads-b:single-typed-branches} % Single Typed Branches | |
\linkvideo{spring2021-operads-b:network-operad} % Network operads | |
\linkvideo{spring2021-operads-b:actions-recap} % Recap Actions | |
\linkvideo{spring2021-operads-b:operad-algebras} % Algebras for an operad | |
\linkvideo{spring2021-operads-b:sets-algebras} % Sets as algebras | |
\linkvideo{spring2021-operads-b:semigroups-algebras} % Semigroups as algebras | |
\linkvideo{spring2021-operads-b:monoid-act-algebras} % Monoid actions as algebras | |
\linkvideo{spring2021-operads-b:co-span-operad} % Cospan Operad | |
\linkvideo{spring2021-operads-b:wiring-diags-operads} % Wiring diagram operads | |
Error: spring2021-nat-trafos:diagrams has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/80_naturality/10_naturality.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-nat-trafos:natural-trafos has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/80_naturality/10_naturality.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-nat-trafos:natural-trafos:nat-trafo-def has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/80_naturality/10_naturality.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-nat-trafos:natural-trafos:nattrafos-as-mor has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/80_naturality/10_naturality.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-nat-trafos:natural-trafos:double-dual has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/80_naturality/10_naturality.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-nat-trafos:natural-trafos:horizontal-composition has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/80_naturality/10_naturality.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-nat-trafos:natural-trafos:interchange-law has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/80_naturality/10_naturality.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-nat-trafos:natural-trafos:rel-mon-maps has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/80_naturality/10_naturality.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-nat-trafos:natural-trafos:eq-maps-gr-actions has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/80_naturality/10_naturality.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:preorder-as-cat has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/20_preorders_cat.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:preorder-poset has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/20_preorders_cat.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:semi-and-fun:mon-functions:mon-fun-as-func has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/20_preorders_cat.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:semi-and-fun has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/10_functors.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:semi-and-fun:semi-fun-def has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/10_functors.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:semi-and-fun:ex-semigroup-semifun has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/10_functors.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:semi-and-fun:ex-semicat-act-fun has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/10_functors.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:semi-and-fun:embedding-fun has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/10_functors.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:semi-and-fun:fun-def has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/10_functors.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:bigpic has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/50_functors/05_functors_intro.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:semi-and-fun:forgetful-fun has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/60_up-the-ladder/095_functors_types.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functors:semi-and-fun:cat-of-cat has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/25_translation/60_up-the-ladder/096_cat.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functorial-comp-a:solving-queries:or-and-and has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/70_ordering/20_restrictions.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functorial-comp-a:solving-queries:solving-parallel has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/50_parallelism/40_DP-monoidal.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-par-feedback:dualizability has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/50_parallelism/70_dual_objects.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-par-feedback:mon-cat has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/50_parallelism/30_mon-cat.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-par-feedback:mon-cat:mon-pos has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/50_parallelism/30_mon-cat.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-par-feedback:mon-cat:mon-cat-def has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/50_parallelism/30_mon-cat.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-par-feedback:braided-moncat has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/50_parallelism/30_mon-cat.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-par-feedback:symmetric-moncat has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/50_parallelism/30_mon-cat.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:design:abstract-view-dp has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/10_design/30_basic.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:design has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/10_design/10_design.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:design:def-design has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/10_design/10_design.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-par-feedback:feedback has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/60_feedback/10_categorical_trace.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-par-feedback:mon-cat:string-diag has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/60_feedback/10_categorical_trace.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functorial-comp-a:solving-queries:solving-loop has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/60_feedback/20_closing_loop_codesign.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-nat-trafos:natural-trafos:bicategories has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/40_profunctors/40_bicategory.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:design:from-dpi-to-dp has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/30_feasibility/10_boolean.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:design:bool-prof has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/30_feasibility/10_boolean.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functorial-comp-a:solving-queries has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/30_feasibility/15_boolean-querying.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functorial-comp-a:solving-queries:solving-series has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/30_feasibility/20_series.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:design:queries has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/20_design-problems/20_querying.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:design:dpi-comp has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/20_design-problems/30_series.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:design:dpi-semicat has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/20_design-problems/30_series.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:design:dpi-def has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/30_design/20_design-problems/10_design-problems.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functorial-comp-a:solving-queries:complexity has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/40_computation/20_solving/75_complexity.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-functorial-comp-a:solving-queries:multi-loop has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/40_computation/20_solving/30_representations.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-morphisms:morphisms has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/50_morphisms/10_homo.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-semi-mon-gro:summary has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/50_morphisms/10_homo.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-morphisms:morphisms:semigroup-morphisms has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/50_morphisms/10_homo.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-morphisms:morphisms:semigroup-morphisms:semigroup-isomorphisms has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/50_morphisms/10_homo.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-morphisms:morphisms:semigroup-morphisms:ascii has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/50_morphisms/10_homo.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-morphisms:morphisms:semigroup-morphisms:morse has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/50_morphisms/10_homo.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-morphisms:morphisms:monoid-morphisms has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/50_morphisms/10_homo.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-morphisms:morphisms:group-morphisms has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/50_morphisms/10_homo.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-actions:semi-actions has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/80_actions/40_actions.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-actions:matrix-groups has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/80_actions/10_matrix_groups.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-morphisms:functions-nomenclature has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/22_sets/15_functions.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-intro:why-cat-theory has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/20_overview/015_category_overview.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-intro:composition has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/20_overview/015_category_overview.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-semi-mon-gro:groups has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/25_monoids/20_groups.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-semi-mon-gro:monoids has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/25_monoids/10_monoids.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-semi-mon-gro:mag-semi has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/05_pluribus/25_monoids/05_semigroups.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-products:products has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/22_operations/20_combination/10_products.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-products:products:cart-prod has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/22_operations/20_combination/10_products.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-products:products:cat-prod has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/22_operations/20_combination/10_products.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-products:products:cat-prod:def-prof has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/22_operations/20_combination/10_products.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-products:products:cat-prod:example-prod has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/22_operations/20_combination/10_products.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-coproducts:coproducts has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/22_operations/20_combination/20_coproduct.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-coproducts:coproducts:coprod-intro-ex has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/22_operations/20_combination/20_coproduct.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-coproducts:coproducts:cat-prod has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/22_operations/20_combination/20_coproduct.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-coproducts:coproducts:batt-coproduct has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/22_operations/20_combination/20_coproduct.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-semicats-cats:intro_semi_cat has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/10_cats/30_formal.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-semicats-cats:semicats has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/10_cats/30_formal.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-semicats-cats:categories has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/10_cats/30_formal.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-semicats-cats:summary has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/10_cats/30_formal.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations:fun-rel has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/22_relations_and_functions.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations:prop-rel has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/25_relations_properties.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-tradeoffs:relations-properties has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/25_relations_properties.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations:trans-rel has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/25_relations_properties.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations:rel-def has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/20_relations.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations:comp-rel has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/20_relations.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations:cat-rel has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/20_relations.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations:endorel has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/26_endorelations.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations:equivalence-rel has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/26_endorelations.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/10_distribution-networks.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-relations:relations:distr-networks has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/60_relation/10_distribution-networks.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-actions:semi-actions:processes has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/75_processes/30_procedures.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/75_processes/10_intro_processes.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-actions:semi-actions:processes:moore has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/75_processes/10_intro_processes.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-actions:semi-actions:processes:more has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/75_processes/10_intro_processes.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-actions:semi-cat-actions has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/75_processes/10_intro_processes.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-tradeoffs:sequent-notation has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/75_processes/40_propositions.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-tradeoffs:logic-notation has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/10_arrows/75_processes/40_propositions.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
Error: spring2021-design:up-low-closure has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/40_antiupper.tex | |
Error: spring2021-design:up-low-sets has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/30_staring_pareto.tex | |
Error: spring2021-functors:semi-and-fun:mon-functions has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/40_monotonicity/10_monotone_maps.tex | |
Error: spring2021-functors:semi-and-fun:mon-functions:fun-req-mon has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/40_monotonicity/10_monotone_maps.tex | |
Error: spring2021-functors:semi-and-fun:mon-functions:mon-on-pos has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/40_monotonicity/10_monotone_maps.tex | |
Error: spring2021-tradeoffs:tradeoffs has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/10_intro.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/20_tradeoffs.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:composing-posets has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/30_poset-build/10_product.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:composing-posets:disj-poset has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/30_poset-build/20_disjoint-union.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:composing-posets:product-poset has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/30_poset-build/10_product.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:counting-orders has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/20_tradeoffs.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:general-pref has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/20_tradeoffs.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:hasse has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/20_tradeoffs.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:interval-poset has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/30_poset-build/40_intervals.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:lattices has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/50_lattices.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:pre-pos-tot has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/20_tradeoffs.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:set-based-filtering has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/40_monotonicity/10_monotone_maps.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:top-bottom has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/50_lattices.tex | |
Error: spring2021-tradeoffs:tradeoffs:orders:up-low-bounds has been used more than once: | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/00_front/part.tex | |
- /Volumes/work/ETH/2012-DPCAT/volumes/vol1/20_orders/10_tradeoffs/20_tradeoffs.tex |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment