Inside the Logic of “Products” and Equality in Set Theory
Table Of Links Abstract Acknowledgements & Introduction 2. Universal properties 3. Products in practice 4. Universal properties in algebraic geometry 5. The problem with Grothendieck’s use of equality. 6. More on “canonical” maps 7. Canonical isomorphisms in more advanced mathematics 8. Summary And References Universal Properties I am aware of three reasonable classes of foundations … Read more