Skip to content

Instantly share code, notes, and snippets.

@AndreaCensi
Last active June 7, 2021 11:34
Show Gist options
  • Save AndreaCensi/382629bd07f98798f1bf5fd2db4e9b3b to your computer and use it in GitHub Desktop.
Save AndreaCensi/382629bd07f98798f1bf5fd2db4e9b3b to your computer and use it in GitHub Desktop.
unused
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