University of California, Berkeley: Philip Stark's SticiGui: "Chapter 15: Categorical Logic"
Chapter 15 is an optional reading as it shows you advanced rules when dealing with sets. Read through this chapter if you would like to experience the entire course as it was presented at University of California, Berkeley. There are several exercises and Java applets embedded in the text that are meant to further reinforce your learning. Do not skip these exercises! For instructions on how to navigate these exercises, see "Special Instructions on SticiGui Exercises and Java Applets” in the "Course Information” section above.