1 Matching Annotations
  1. Jun 2018
  2. ocw.mit.edu ocw.mit.edu
    1803.05316.pdf
    1
    1. bbarker 04 Jun 2018
      Example1.40 (Product poset).Given posetsπP;∫andπQ;∫, we may define a posetstructure on the product setPQby settingπp;q∫  πp0;q0∫if and only ifpp0andqq0. We call this theproduct poset. This is a basic example of a more generalconstruction known as the product of categories
      product category poset category theory
    Visit annotations in context

    Tags

    Annotators

    URL

    ocw.mit.edu/courses/mathematics/18-s097-applied-category-theory-january-iap-2019/lecture-videos-and-readings/18-s097iap19textbook.pdf