User:Michiexile/MATH198/Lecture 10

From HaskellWiki
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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