Geometry.Net - Pure_And_Applied

Literaturliste Q:\diss\disstopo
2 Saunders Mac Lane and Ieke Moerdijk Sheaves in Geometry and Logic A FirstIntroduction to topos theory , 1992. 15 Johnstone, PT topos theory , 1977.
http://fsmat.at/~weppens/p/disstopos.html
ISM Category Theory
After a brief selected introduction to topos theory we will discussdistributions, complete spreads, and the symmetric topos. Special
http://www.math.uqam.ca/ISM/english/ecat.html

Extractions: Category Theory and Applications Category theory is a mathematical discipline that is characterized by its role in unifying mathematics as well as its foundational vocation. Since it was created by Eilenberg and MacLane, its influence has grown both in breadth and depth. The history of its development is intimately linked to that of contemporary mathematics. Montreal has been an important research centre in category theory for more than 20 years. The ISM offers a complete program of applications of category theory in the following areas: The program includes training in general category theory and in the history of contemporary mathematics. Topics in Algebra III : Covering toposes with singularities The title of this course paraphrases that of a landmark 1957 paper by R.H. Fox, "Covering spaces with singularities''. The course will be centered around the connection which exists between complete spreads (with a locally connected domain) over a topos and distributions on the topos, and with a related factorization theorem for geometric morphisms. After a brief selected introduction to topos theory we will discuss distributions, complete spreads, and the symmetric topos. Special topics will be selected from the following: branched coverings and knot groupoids, exponentiable complete spreads, admissible KZ-doctrines, single universes for functions and distributions, categories of cosheaves. Notes of a preliminary version of a book in preparation by Marta Bunge and Jonathon Funk will be distributed as a basis for the course.
Sheaves In Geometry And Logic: A First Introduction To Topos Theory (Universitex
Sheaves in Geometry and Logic A First Introduction to topos theory (Universitext),Sheaves in Geometry and Logic A First Introduction to topos theory
http://www.wkonline.com/a/Sheaves_in_Geometry_and_Logic_A_First_Introduction_to_

Extractions: This book is written in the best Mac Lane style, very clear and very well organized. It also benefits from Moerdijks extensive work organizing the theory of Grothendieck toposes by elementary means. The reader should have basic graduate knowledge of algebra and topology. The book is long because it gives very explicit descriptions of many advanced topicsyou can learn a great deal from this book that, before it was published, you could only learn by knowing researchers in the field.
Siberian Toposes
The topos theory was created by Lawvere. Topos is a category that hasmany properties of category Set, which is known as theory of sets.
http://www.univer.omsk.su/omsk/Sci/topoi/

Extractions: The Topos Theory was created by Lawvere. Topos is a category that has many properties of category Set, which is known as theory of sets. Development of topos-theoretic mathematics is conjugated with many technical complexities. The bulky diagrams that are used in category theory is one of them. The construction of formal theory models of which are toposes implies an intuitionistic logic instead of classical one. The Synthetic Differential Geometry of Kock-Lawvere is such formal theory. The topos-theoretic mathematics open new perspectives in Theoretical Physics, and in theory of space-time in particular. This site contains scientific and educational materials, important links that can be useful for Russian students who are wishing to study the Topos Theory and its applications. Web-master: guts@univer.omsk.su Omsk State University, Auguest 30, 1999
?
? . Isham, CJ topos theory and Consistent HistoriesThe Internal Logic of the Set of all cosistent sets // Int. Jour. Theor.
http://www.univer.omsk.su/omsk/Sci/topoi/appl.html
TCD CS Foundations And Methods Group
Robert, BA (Mod) Postgraduate Student (Ph.D. by research) Research Areas Foundationsof Computing, Formal Methods, Category Theory, topos theory Research Group
http://www.cs.tcd.ie/dept/personnel/fmg.html
Web Pages/ME_FEIN/references.html
ISBN 1871408-05-9. (Johnstone 1977), PT Johnstone topos theory Academic Press,London, 1977 ISBN 0-12-387850-0 Definitely not for the faint-hearted.
http://www.cs.tcd.ie/Micheal.MacanAirchinnigh/Web Pages/ME_FEIN/references.html

Extractions: REFERENCES (Allen 1990) Robert Edward Allen (ed). The Concise Oxford Dictionary of Current English (Eighth Edition), Clarendon Press, Oxford, [1911] 1990. ISBN 19 861200 1. (Barr and Wells 1995) Barr, Michael and Wells, Charles. Category Theory for Computing Science, Second ed., Prentice Hall, London, 1995. (Biggs 1989) Norman L. Biggs. Discrete Mathematics (Revised Edition), Clarendon Press, Oxford, [1985] 1989. ISBN 19 853427 2. This is the primary text for the discrete mathematics of 1ICT5. (Bird and de Moor 1997) Richard Bird and Oege de Moor. Algebra of Programming, Prentice Hall, London, 1997. ISBN 0-13-507245-X, EAN 9 780135 072455. (Boyer 1990) Ernest L. Boyer. Scholarship Reconsidered, Priorities of the Professoriate, Josey-Bass, Inc., Publishers, 350 Sansome Street, San Francisco, California 94104, 1990. ISBN 0-7879-4069-0. This is the seminal work/report on the re-evaluating and re-structuring of the concept of research (narrowly the Scholarship of Discovery) in the (Research) Universities (initially in the United States of America, and consequently world-wide). (Courant and Robbins 1996) Richard Courant and Herbert Robbins What is Mathematics? An Elementary Approach to Ideas and Methods
LECTURE NOTES ON TOPOI AND QUASITOPOI
Fuzzy Sets and Systems, 1991. The present book is the first coherent account ofthe theory of quasitoposes, stressing the similarity with topos theory; in fact
http://www.wspc.com/books/mathematics/1047.html

Extractions: Quasitopoi generalize topoi, a concept of major importance in the theory of Categoreis, and its applications to Logic and Computer Science. In recent years, quasitopoi have become increasingly important in the diverse areas of Mathematics such as General Topology and Fuzzy Set Theory. These Lecture Notes are the first comprehensive introduction to quasitopoi, and they can serve as a first introduction to topoi as well.
RE: Applied Vs. Theoretical
clear in some of my earlier posts on this, mostly this past summer, I'm not makingany grandiose claims for category theory and topos theory as being the
http://www.mail-archive.com/everything-list@eskimo.com/msg04178.html
Constructive Topology (L24)
theory (as provided by the Michaelmas Term Part III course) is therefore desirable,although no previous knowledge of sheaf theory or topos theory will be
http://www.maths.cam.ac.uk/CASM/courses/descriptions/node28.html

Extractions: Next: Number Theory Up: Logic Previous: Set Theory (M24) P.T. Johnstone Desirable Previous Knowledge The course will concentrate on the constructive nature of locale theory, and in particular on the equivalence between locales over a given base locale X and internal locales in the category of sheaves on X . Some previous knowledge of category theory (as provided by the Michaelmas Term Part III course) is therefore desirable, although no previous knowledge of sheaf theory or topos theory will be assumed. The only other prerequisites are some acquaintance with the basic notions of general topology (compactness, connectedness and so on), and with the basic ideas of (classical) propositional logic. Level: General Appropriate Books A good idea of the flavour of the subject is given by [1], which is recommended for preliminary reading. [2] has been the standard textbook on locales for the past two decades, but the approach taken in the course will be closer in spirit to Part C of [3]. (However, [3] is not recommended for preliminary reading.)
Category Theory
This expository article is an entry in the Stanford Encyclopedia of Philosophy.Category Science Math Algebra Category Theory geometry. The 1970s saw the development and application of the concept.(For more on the history of topos theory, see McLarty 1992.).
http://plato.stanford.edu/entries/category-theory/

Extractions: JUL Category theory is a general mathematical theory of structures and sytems of structures. It allows us to see, among other things, how structures of different kinds are related to one another as well as the universal components of a family of structures of a given kind. The theory is philosophically relevant in more than one way. For one thing, it is considered by many as being an alternative to set theory as a foundation for mathematics. Furthermore, it can be thought of as constituting a theory of concepts. Finally, it sheds a new light on many traditional philosophical questions, for instance on the nature of reference and truth. Category theory is a generalized mathematical theory of structures. One of its goals is to reveal the universal properties of structures of a given kind via their relationships with one another. Formally, a category C can be described as a collection Ob , the objects of C , which satisfy the following conditions: For every pair a b of objects, there is a collection
References
As for topos theory there is, Johnstone, PT Sketches of an Elephanta topos theory Compendium. Oxford Univ. Press, to appear, 2002,.
http://mcs.open.ac.uk/cft36/References.htm

Extractions: References Introductory A very good introductory reference for locale theory is Peter Johnstone's account: This book is remarkable as it exposes the story of the subject while at the same time containing all the required proofs in detail. As for topos theory there is, which I have not yet fully reviewed but am confident will provide an excellent and rigorous introduction to the subject. The standard reference for category theory, which you may see referred to as CWM, is still probably the best introductory account for category theory. This subject is now quite standard and so a number of texts are available. A good check as to whether a particular text really 'goes the distance' is to see whether an adjoint functor theorem (not just definition) is included. Key Papers A number of papers stand out in the literature as being of particular importance to our area of research.
Logics For Uncertainty
category theory and topos theory;; constructive and substructural logics;;expert systems and diagnostic reasoning;; robotics applications.
http://www.ladseb.pd.cnr.it/infor/logic/logic.html

Extractions: ISIB-CNR , Padova, Italy People involved: Gaetano Chemello , Research Scientist, ISIB-CNR Claudio Sossai , Research Scientist, ISIB-CNR Interest Areas: category theory and topos theory; constructive and substructural logics; expert systems and diagnostic reasoning; robotics applications. Current research: application of category theory and topos theory to the representation of uncertainty using a generalized set theory called U-Sets; algebraic description of conditional events in evidence theory, in collaboration with F. Esteva and L. Godo of IIIA-CSIC representation of space and uncertainty in intelligent systems, in collaboration with D. Dubois and H. Prade of IRIT-CNRS , Toulouse, France; applicability to robotics, with emphasis on the integration of different uncertainty models (stochastic, fuzzy); mathematical foundations of fuzzy control, in collaboration with D. Driankof and A. Saffiotti of the Center for Applied Autonomous Sensor Systems (AASS) Publications:
PLT Online
(link). Wesley Phoa. An introduction to fibrations, topos theory, the effectivetopos and modest sets. gzipped PS. Andrew M. Pitts. Lecture Notes on Types.
http://www.cs.uu.nl/people/franka/ref

Extractions: This is a collection of programming language theory texts and resources, all of which are freely available over the Internet. Many valuable reference texts on programming language theory, previously only available in paper form, have in recent years become publicly accessible from the net. I list here the ones I know of; below that you will also find a much broader list of lecture notes and tutorials other interesting reading , plus a collection of related resources An editable version of this page is now available here on the Utrecht University Software Technology Group WikiWiki server , as part of The Software Technologist , which is intended to become an electronic magazine. For now, both versions will coexist and I will probably add any updates to that page to this page as well, and vice versa. If the Wiki version sees a lot of activity and takes off, and does not evolve too far from my original purpose (outlined in the guidelines below), then I may trash this page and redirect page views to the Wiki. If you know of any other texts or resources which might belong here, please
News Letter Vol.5 No.3
a more general interpretation of fuzzy logic within the environment of other propercategories of fuzzy sets stemming either from the topos theory, or even
http://www.erudit.de/erudit/newsletters/news_53/page10.htm

Extractions: provides a systematic study of the formal theory of fuzzy logic. The book is based on logical formalism demonstrating that fuzzy logic is a well-developed logical theory. It includes the theory of functional systems in fuzzy logic, providing an explanation of what, and how it can be represented by formulas of fuzzy logic calculi. It also presents a more general interpretation of fuzzy logic within the environment of other proper categories of fuzzy sets stemming either from the topos theory, or even generalizing the latter. This book presents fuzzy logic as the mathematical theory of vagueness as well as the theory of the common-sense human reasoning, which is based on the use of natural language, the distinguishing feature is vagueness of its semantics. MATHEMATICAL PRINCIPLES OF FUZZY LOGIC will be of interest to all researchers of fuzzy logic, including mathematicians and computer scientists interested in the mathematical aspects of fuzzy logic. It may be used as a text in advanced level courses on various fuzzy logic applications, artificial and computational intelligence, decision-making and more.
Abstracts
The general mathematician, who regards category theory as `generalized abstractnonsense,' tends to regard topos theory as generalized abstract category theory
http://grad.math.arizona.edu/~gradcolloq/fll01abs.html

Extractions: Title - Von Neumann Regular Rings In this talk, I will give some classical examples of Von Neumann Regular Rings (VNRR) and discuss some interesting properties that such rings have. In particular, I will give a sufficient condition for a VNRR to be a division ring. Undergraduates with some background in Algebra are encouraged to attend. September 5 Title - Outreach Opportunities for Graduate Students Outreach activities are a fun, rewarding way to add some spark to your resume during graduate school. We will present a variety of ways that you can get involved in outreach activities with local high school students through a developing program coordinated by graduate students in the department. Two types of outreach activities, the development and presentation of weekday mathematics workshops for high school students and "special guest" visits to local calculus classes, will be discussed. Students with VIGRE support are especially encouraged to get involved this year. Come and learn how you can get involved! September 12 Title - How to Draw Pictures of 4-Manifolds This is partly designed as an introduction to some upcoming talks I will give in the geometry seminar, but it should also be entertaining all by itself. I will discuss "Kirby calculus", a technique for drawing pictures of 4-manifolds using knots and links; this is old-fashioned topology (no PDE's, no moduli spaces, no connections on weird bundles) but it continues to be a useful tool in modern work on 4-manifolds. I will also talk about how to add a little extra structure and use Kirby calculus to think about symplectic 4-manifolds.
Fields Institute Audio - Bunge
Covering Morphisms in topos theory Marta Bunge McGill University.This web presentation contains the audio of a lecture given at
http://www.fields.utoronto.ca/audio/02-03/galois_and_hopf/bunge/

Extractions: McGill University This web presentation contains the audio of a lecture given at the Fields Institute on September 23, 2002 as part of the Workshop on Categorical Structures for Descent and Galois Theory, Hopf Algebras and Semiabelian Categories . RealPlayer 7 or later, or other software capable of playing streaming audio, is required. Start audio presentation
PSSL 79
is a locale 16.45 Sabine Koppelberg (Berlin) A lattice of isomorphism types ofBoolean algebras Sunday 09.45 Richard Josza (Oxford) topos theory in physics
http://www.wraith.u-net.com/PSSL/1979.html
Sets, Logic And Categories
Further references. For topos theory S. MacLane I. Moerdijk, Sheaves inGeometry and Logic A first introduction to topos theory, Springer 1990.
http://www.maths.qmw.ac.uk/~pjc/slc/

Extractions: This book is published by Springer-Verlag , in the Springer Undergraduate Mathematics Series , in February 1999. Another book in the series is Geoff Smith's Introductory Mathematics: Algebra and Analysis A PDF file of the preface and table of contents is available. Solutions to the exercises (PDF files): Others to be added! Here is a list of known misprints, together with comments and improvements from various readers. From the review by A. M. Coyne in The text is clearly written. It would make an excellent first course in foundational issues in mathematics at the undergraduate level. Sheaves in Geometry and Logic: A first introduction to topos theory , Springer 1990. (Suggested by Steve Awodey A computer scientist's view: Paul Taylor, Practical Foundations of Mathematics , Cambridge University Press, 1999. A book about how our brains are wired to do mathematics: Brian Butterworth, The Mathematical Brain , Macmillan, London, 1999.
Past Category Theory Seminars
Autumn term 1996. 15 October Peter Johnstone The nonclassifying topos of a first-ordertheory. 16 October Peter Johnstone Open/compact duality in topos theory.
http://www.ihes.fr/~leinster/pastsems.html

Extractions: This is roughly speaking a list of the Category Theory seminars held at the Department of Pure Mathematics and Mathematical Statistics in Cambridge when I was there (October 1996 to September 2002). More exactly, it's a list of the ones at which I took notes and where these notes ended up in a file rather than a pile. Jump down to: My home page is here . Information on current Category Theory seminars in Cambridge is here Autumn term 1996 15 October

61-80 of 93 Back | 1 | 2 | 3 | 4 | 5 | Next 20