H6: Examples of Categorical Constructions
Due Nov 4th Monday 12noon
Find an example for each of the
following categorical constructions:
- A natural transformation that
is javac. That is, find me two functors F:C->D and G:C->D where a
natural transformation (a D-object-to-D-object mapping nt:D->D)
corresponds to Javac. I can provide hints to help you.
- A natural functor
javac is the (core part) of the answer. That is, take the
definition of a natural transformation and lift it to a
category-to-category mapping, where categories are the objects to be
mapped. The object-to-object mapping of this "natural functor"
should be javac.
What to Submit
- a PDF with your answers
- your PDF must have your name on