Home  Pure_And_Applied_Math  Topos Theory 
Page 1 120 of 93 1  2  3  4  5  Next 20 
1. Topos topos theory in a Nutshell January 3, 2001 Okay, you wanna know what a topos is? First I'll give you a handwavy vague explanation, then an actual definition, then a few consequences of this definition, and then some examples. http://math.ucr.edu/home/baez/topos.html  

2. An Introduction To Fibrations, Topos Theory, The Effective Topos And Modest Sets An introduction to fibrations, topos theory, the effective topos and modest sets Abstract A topos is a categorical model of constructive set theory. In particular, the effective topos is the categorical `universe' of recursive mathematics. http://www.lfcs.informatics.ed.ac.uk/reports/92/ECSLFCS92208  

3. OUP: Sketches Of An Elephant: A Topos Theory Compendium: Johnstone topos theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and http://www.oup.co.uk/isbn/019852496X  

4. Topos Theory And Quantum Theory topos theory and Quantum Theory. Chris In Section 2, we introducetopos theory, especially the idea of a topos of presheaves. In http://www.mmsysgrp.com/QIS/topos.htm  

5. Steven Vickers Imperial College, London Geometric logic, topos theory, quantales and semantics of programming languages. http://mcs.open.ac.uk/puremaths/pmd_department/pmd_vickers/pmd_vickers.html  

6. Topos Theory Quantum Gravity and The Theory of Everything topos theory and Quantum Theory. Chris Isham (Imperial College, London) Quantum Theory and Reality http://www.mmsysgrp.com/QuantumGravity/topos.htm  

7. The Theory Of Everything Algebra.MacMillan, 1967; MacLane, Saunders and Moerdijk,I. Sheaves inGeometry and Logic A First Introduction to topos theory. Springer http://www.mmsysgrp.com/QIS/category.htm  

8. Week68 False. Let's call the set of truth values Omega, just to make it soundimpressive and because it's traditional in topos theory. So http://math.ucr.edu/home/baez/week68.html  

9. Topos Theory And Constructive Logic Papers Of Andreas R. Blass topos theory and Constructive Logic Papers. Andreas Blass. We begin witha brief outline of the history and basic concepts of topos theory. http://www.math.lsa.umich.edu/~ablass/cat.html  

10. Ktheory Preprint Archives Accepts submissions of preprints and offers a search tool for users to access its large archive of papers on Ktheory. With links to related topics. 579 July 2, 2002, Homotopical Algebraic Geometry I topos theory, by Bertrand Toen and Gabriele Vezzosi. http://www.math.uiuc.edu/Ktheory  

11. Re: Topos Theory For Physicists Re topos theory for physicists. Subject Re topos theory for physicists;From baez@galaxy.ucr.edu (John Baez); Date Mon, 1 Jan 2001 054218 GMT; http://www.lns.cornell.edu/spr/200101/msg0030351.html  

12. Re: Topos Theory For Physicists Index Re topos theory for physicists. Subject Re topos theoryfor physicists; From Chris Hillman hillman@math.washington.edu ; http://www.lns.cornell.edu/spr/200101/msg0030379.html  

13. On Branched Covers In Topos Theory (ResearchIndex) On Branched Covers In topos theory (2000) (Make Corrections) http://citeseer.nj.nec.com/funk00branched.html  

14. PhilSci Archive: Topos Theory As A Framework For Partial Truth PhilSci Archive, topos theory as a Framework for Partial Truth. Butterfield,Jeremy (2000) topos theory as a Framework for Partial Truth. http://philsciarchive.pitt.edu/documents/disk0/00/00/01/92/  

15. Theory And Applications Of Categories 1. On branched covers in topos theory. Jonathon Funk, 122 http://www.tac.mta.ca/tac  

16. Course In Topos Theory topos theory, spring term 1999. synthetic differential geometry. This graduatecourse offers an introduction to topos theory and categorical logic. http://www.math.uu.se/~palmgren/toposeng.html  

17. Kurs I Toposteori Springer 1992. Referenslitteratur PT Johnstone. topos theory. Academic Press 1977.J. Lambek and PJ Scott An introduction to Higher Order Categorical Logic. http://www.math.uu.se/~palmgren/topos.html  

18. Natures New Math( Topos Theory?) Natures New Math( topos theory?). Follow Ups (Reload page to see mostrecent) Re Natures New Math( topos theory?) DickT 7/18/02 (4) http://superstringtheory.com/forum/philboard/messages13/193.html  

19. A Link On Topos Theory (not Too Hard) A link on topos theory (not too hard). In Reply to Re Natures New Math(topos theory?) posted by DickT on July 19, 2002 at 111618 sol,. http://superstringtheory.com/forum/philboard/messages13/202.html  

20. Lars Birkedal / Teaching / Topos Theory Seminar  Spring 2003 topos theory Seminar Spring 2003. This is a Ph.D. seminar in whichwe study aspects of topos theory relevant to computer science. http://www.itc.dk/people/birkedal/teaching/topostheorySpring2003/  

Page 1 120 of 93 1  2  3  4  5  Next 20 