AY2010 Final Assignment
Take two non-trivial examples of a logic circuit. Based on Products.nb, try constructing an arrow
in Category Circ for each of the circuits. You have to present two implementations
for each circuit: one is a direct implementation by Mathematica builtin functions and another
a categorical implementation by various operations in Category Circ.
Give two examples of categories. Each one consists of a finite number of objects and a finite
number of arrows. Give a functor between them.