Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a series of self-contained lectures on the philosophy of mathematics, given at Oxford University in Michaelmas term 2019. We will be meeting in the Radcliffe Humanities Lecture Room at | |
| | | | |
inquiryintoinquiry.com
|
|
| | | | | Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore... | |
| | | | |
www.thebigquestions.com
|
|
| | | | | ||
| | | | |
www.jeremykun.com
|
|
| | | Previously in this series we've seen the definition of a category and a bunch of examples, basic properties of morphisms, and a first look at how to represent categories as types in ML. In this post we'll expand these ideas and introduce the notion of a universal property. We'll see examples from mathematics and write some programs which simultaneously prove certain objects have universal properties and construct the morphisms involved. | ||
