Personal tools

User:Michiexile/MATH198/Lecture 10

From HaskellWiki

Jump to: navigation, search

IMPORTANT NOTE: THESE NOTES ARE STILL UNDER DEVELOPMENT. PLEASE WAIT UNTIL AFTER THE LECTURE WITH HANDING ANYTHING IN, OR TREATING THE NOTES AS READY TO READ.


Contents

1 Power objects

2 Classifying objects

3 Topoi

4 Internal logic

5 Exercises

No homework at this point. However, if you want something to think about, a few questions and exercises:

  1. blah