Difference between revisions of "User:Michiexile/MATH198/Lecture 10"

From HaskellWiki
Jump to navigation Jump to search
 
Line 1: Line 1:
 
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.
 
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:
  +
  +
# blah

Revision as of 18:44, 17 November 2009

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