6 Matching Annotations
  1. Jul 2023
  2. Dec 2022
  3. May 2022
  4. Apr 2022
  5. Sep 2021
  6. Aug 2016
    1. You have another function g that takes a B and returns a C. You can compose them by passing the result of f to g. You have just defined a new function that takes an A and returns a C.

      That clears that. Arrow A->B and arrow B->C are not necessarily the same arrow (function).

      Okay, so what are we doing here? Category is a set (?) of objects with arbitrary functions between them. The only property that this needs to satisfy is one of transitivity.