User:Michiexile/MATH198/Lecture 10

From HaskellWiki
Jump to navigation Jump to 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.


Power objects

Classifying objects

Topoi

Internal logic

Exercises

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

  1. blah