User:Michiexile/MATH198/Lecture 10
From HaskellWiki
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:
- blah
