missing links

gistfile1.txt

\linkvideo{spring2021-intro:why-cat-theory} % Why category theory?
\linkvideo{spring2021-intro:composition} % Composition
\linkvideo{spring2021-semi-mon-gro:summary} % Summary
\linkvideo{spring2021-morphisms:functions-nomenclature} % Functions nomenclature
\linkvideo{spring2021-morphisms:morphisms} % Morphisms
\linkvideo{spring2021-morphisms:morphisms:semigroup-morphisms} % Semigroup morphisms
\linkvideo{spring2021-morphisms:morphisms:semigroup-morphisms:semigroup-isomorphisms} % Semigroup isomorphisms
\linkvideo{spring2021-morphisms:morphisms:semigroup-morphisms:ascii} % ASCII encoding
\linkvideo{spring2021-morphisms:morphisms:semigroup-morphisms:morse} % Morse encoding
\linkvideo{spring2021-morphisms:morphisms:monoid-morphisms} % Monoid morphisms
\linkvideo{spring2021-morphisms:morphisms:group-morphisms} % Group morphisms
\linkvideo{spring2021-semicats-cats:intro_semi_cat} % Introduction for Semicategories and Categories
\linkvideo{spring2021-semicats-cats:semicats} % Semicategories
\linkvideo{spring2021-semicats-cats:categories} % Categories
\linkvideo{spring2021-semicats-cats:summary} % Summary
\linkvideo{spring2021-relations:relations} % Relations
\linkvideo{spring2021-relations:relations:distr-networks} % Distribution networks
\linkvideo{spring2021-relations:relations:rel-def} % Definition of relation
\linkvideo{spring2021-relations:relations:comp-rel} % Composing relations
\linkvideo{spring2021-relations:relations:cat-rel} % Category of relations
\linkvideo{spring2021-relations:relations:fun-rel} % Functions and relations
\linkvideo{spring2021-relations:relations:prop-rel} % Properties of relations
\linkvideo{spring2021-relations:relations:trans-rel} % Transposition of relations
\linkvideo{spring2021-relations:relations:endorel} % Endorelations
\linkvideo{spring2021-relations:relations:equivalence-rel} % Equivalence relations
\linkvideo{spring2021-actions:matrix-groups} % Matrix groups
\linkvideo{spring2021-actions:semi-actions} % Semigroup actions
\linkvideo{spring2021-actions:semi-actions:processes} % Signals and processes
\linkvideo{spring2021-actions:semi-actions:processes:moore} % Moore machines
\linkvideo{spring2021-actions:semi-actions:processes:more} % More machines
\linkvideo{spring2021-actions:semi-cat-actions} % Semi-category action
\linkvideo{spring2021-tradeoffs:logic-notation} % Logic Notation
\linkvideo{spring2021-tradeoffs:sequent-notation} % Sequent Notation
\linkvideo{spring2021-tradeoffs:relations-properties} % Recap of relations
\linkvideo{spring2021-tradeoffs:tradeoffs} % Trade-offs
\linkvideo{spring2021-tradeoffs:tradeoffs:orders} % Orders
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:pre-pos-tot} % Pre-orders, partial orders, and total orders
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:general-pref} % More general preference structures
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:preorder-as-cat} % Pre-order as a category
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:preorder-poset} % The skeleton of a pre-order is a poset
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:hasse} % Hasse diagrams
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:counting-orders} % Counting orders
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:top-bottom} % Top and bottom
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:set-based-filtering} % Set-based filtering
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:interval-poset} % Poset of intervals
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:composing-posets} % Composing posets
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:composing-posets:product-poset} % Product of posets
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:composing-posets:disj-poset} % Disjoint union of posets
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:up-low-bounds} % Upper and lower bounds
\linkvideo{spring2021-tradeoffs:tradeoffs:orders:lattices} % Lattices
\linkvideo{spring2021-products:products} % Products
\linkvideo{spring2021-products:products:cart-prod} % Cartesian product
\linkvideo{spring2021-products:products:cat-prod} % Categorical product
\linkvideo{spring2021-products:products:cat-prod:example-prod} % Examples of products
\linkvideo{spring2021-products:products:cat-prod:def-prof} % Definition of categorical product
\linkvideo{spring2021-coproducts:coproducts} % Coproducts
\linkvideo{spring2021-coproducts:coproducts:coprod-intro-ex} % Introductory examples of coproduct
\linkvideo{spring2021-coproducts:coproducts:cat-prod} % Categorical coproduct
\linkvideo{spring2021-coproducts:coproducts:batt-coproduct} % Extended coproduct example
\linkvideo{spring2021-functors:bigpic} % Big picture, zipping
\linkvideo{spring2021-functors:semi-and-fun} % Semifunctors and functors
\linkvideo{spring2021-functors:semi-and-fun:semi-fun-def} % Definition of semi-functor
\linkvideo{spring2021-functors:semi-and-fun:fun-def} % Definition of functor
\linkvideo{spring2021-functors:semi-and-fun:ex-semigroup-semifun} % Semigroup morphisms as semi-functors
\linkvideo{spring2021-functors:semi-and-fun:ex-semicat-act-fun} % Semi-category actions as functors
\linkvideo{spring2021-functors:semi-and-fun:mon-functions} % Monotone functions
\linkvideo{spring2021-functors:semi-and-fun:mon-functions:fun-req-mon} % Functionalities and requirements
\linkvideo{spring2021-functors:semi-and-fun:mon-functions:mon-on-pos} % Monotone functions on posets
\linkvideo{spring2021-functors:semi-and-fun:mon-functions:mon-fun-as-func} % Monotone functions as functors
\linkvideo{spring2021-functors:semi-and-fun:cat-of-cat} % A category of categories
\linkvideo{spring2021-functors:semi-and-fun:forgetful-fun} % Forgetful functors
\linkvideo{spring2021-functors:semi-and-fun:embedding-fun} % Embedding functors
\linkvideo{spring2021-nat-trafos:diagrams} % Diagrams
\linkvideo{spring2021-nat-trafos:natural-trafos} % Natural transformations
\linkvideo{spring2021-nat-trafos:natural-trafos:nat-trafo-def} % Definition of natural transformation
\linkvideo{spring2021-nat-trafos:natural-trafos:double-dual} % Double dual
\linkvideo{spring2021-nat-trafos:natural-trafos:eq-maps-gr-actions} % Equivariant maps between group actions
\linkvideo{spring2021-nat-trafos:natural-trafos:rel-mon-maps} % Relating monotone maps
\linkvideo{spring2021-nat-trafos:natural-trafos:nattrafos-as-mor} % Natural transformations are morphisms between functors
\linkvideo{spring2021-nat-trafos:natural-trafos:horizontal-composition} % Horizontal composition
\linkvideo{spring2021-nat-trafos:natural-trafos:interchange-law} % Interchange law
\linkvideo{spring2021-nat-trafos:natural-trafos:bicategories} % Bicategories
\linkvideo{spring2021-par-feedback:mon-cat} % Monoidal categories
\linkvideo{spring2021-par-feedback:mon-cat:mon-pos} % Monoidal posets
\linkvideo{spring2021-par-feedback:mon-cat:mon-cat-def} % Definition of monoidal categories
\linkvideo{spring2021-par-feedback:mon-cat:string-diag} % String diagrams
\linkvideo{spring2021-par-feedback:braided-moncat} % Braided monoidal categories
\linkvideo{spring2021-par-feedback:symmetric-moncat} % Symmetric monoidal categories
\linkvideo{spring2021-par-feedback:dualizability} % Dualizability
\linkvideo{spring2021-par-feedback:feedback} % Feedback
\linkvideo{spring2021-design:up-low-sets} % Upper and lower sets
\linkvideo{spring2021-design:up-low-closure} % Upper and lower closure
\linkvideo{spring2021-design:design} % Design
\linkvideo{spring2021-design:design:def-design} % What is design?
\linkvideo{spring2021-design:design:abstract-view-dp} % An abstract view of design problems
\linkvideo{spring2021-design:design:dpi-def} % Design problems with implementation (DPIs)
\linkvideo{spring2021-design:design:dpi-comp} % Composing DPIs
\linkvideo{spring2021-design:design:dpi-semicat} % Semi-category DPI
\linkvideo{spring2021-design:design:queries} % Design queries
\linkvideo{spring2021-design:design:from-dpi-to-dp} % From DPI to DP
\linkvideo{spring2021-design:design:bool-prof} % Boolean profunctors
\linkvideo{spring2021-functorial-comp-a:solving-queries} % Solving DP queries
\linkvideo{spring2021-functorial-comp-a:solving-queries:solving-series} % Series composition
\linkvideo{spring2021-functorial-comp-a:solving-queries:solving-parallel} % Parallel composition
\linkvideo{spring2021-functorial-comp-a:solving-queries:solving-loop} % Loop composition
\linkvideo{spring2021-functorial-comp-a:solving-queries:multi-loop} % Canonical form
\linkvideo{spring2021-functorial-comp-a:solving-queries:complexity} % Complexity
\linkvideo{spring2021-functorial-comp-a:solving-queries:or-and-and} % Join and Meet in DP