AY2010 Final Assignment

Task 1

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.

Task 2

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.