Theoretical Computer Science PhD Seminar (Hauptseminar)

Messages

2006/07

Talks

Exercises

  1. For talk 1 here is the list of alluded exercises (referring to the handout version):
    1. page 7: show the three basic properties
    2. page 11: show the two main properties
    3. page 21: show that cat(G) is a category
    4. page 29: show that cat(X) is a category and that qos(C) is a quasi-ordered set
    5. page 33: show the two basic properties
    6. page 35: show the two basic properties
    7. page 36: show that cat(f) is a functor
    8. page 38: show the two statements
    9. page 40: show the two statements
    10. page 52: show that we have a meta-category
    11. page 53: show that the 16 categories are actually categories
    12. page 59: check that the three cat-functors are functors, and that dgg and qos are also functors
    13. page 64: show that the product category is actually a category
    14. page 65: show that the two V-functors (in the first two displayed equations) are functors, and show the (displayed) equation
    15. page 67: two free exercises
    16. page 68: show that the dual category is a category
    17. page 69: show that characterisation of the dual of categories of correspondences
    18. page 70: show the (displayed) equivalences
    19. page 71: fully specify the Hom-functor, and show that it is a functor
    20. page 73: show the assertion under point 2
    21. page 75: show that Fun(C, D) is a category
    22. page 76: "Exam"

  2. For talk 2 : Special morphisms in categories: Cancellation and Inversion


Oliver Kullmann
Last modified: Mon Apr 23 18:49:44 BST 2007