Geometry.Net - the online learning center
Home  - Pure_And_Applied_Math - Topos Theory

e99.com Bookstore
  
Images 
Newsgroups
Page 5     81-93 of 93    Back | 1  | 2  | 3  | 4  | 5 

         Topos Theory:     more books (19)
  1. Higher Topos Theory (AM-170) (Annals of Mathematics Studies) by Jacob Lurie, 2009-07-06
  2. The Topos of Music: Geometric Logic of Concepts, Theory, and Performance by Guerino Mazzola, 2003-01-17
  3. Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) (Volume 0) by Saunders MacLane, Ieke Moerdijk, 1992-05-14
  4. Sketches of an Elephant: A Topos Theory Compendium 2 Volume Set (Oxford Logic Guides) by Peter T. Johnstone, 2003-07-17
  5. Topos Theory (London Mathematical Society Monographs, 10) by P.T. Johnstone, 1977-12
  6. Sketches of an Elephant: A Topos Theory Compendium Volume 2 (Oxford Logic Guides, 44) by Peter T. Johnstone, 2002-11-21
  7. Algebra in a Localic Topos With Application to Ring Theory (Lecture Notes in Mathematics 1038) by Francis Borceux, 1983-11
  8. Topos Theory: Grothendieck Topology
  9. Toposes, Triples and Theories (Grundlehren der mathematischen Wissenschaften) by M. Barr, C. Wells, 1984-12-20
  10. Algebra in a Localic Topos with Applications to Ring Theory (Lecture Notes in Mathematics) by F. Borceux, G. Van den Bossche, 1983-11-30
  11. Sketches of an Elephant: A Topos Theory Compendiumm vol. 1 (Oxford Logic Guides, 43) by Peter T. Johnstone, 2002-11-21
  12. An introduction to fibrations, topos theory, the effective topos and modest sets (LFCS report series) by Wesley Phoa, 1992
  13. Sketches of an Elephant: A Topos Theory Compendium. Vol. 1 by Peter T. Johnstone, 2002
  14. First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories (Lecture Notes in Mathematics) (Volume 0) by M. Makkai, G.E. Reyes, 1977-10-05

81. Www.risc.uni-linz.ac.at/research/category/risc/catlist/cont-in-cat
I guess there's a link with topos theory, but I can't make it really clear Iguess there's a link with topos theory, but I can't make it really clear
http://www.risc.uni-linz.ac.at/research/category/risc/catlist/cont-in-cat
Date: Tue, 24 Nov 1998 14:35:47 +0100 From: Matthieu Amiguet

82. International Category Theory Meeting
Duals; Steve Lack On the monadicity of finite monads; FW Lawvere Geneology and Kinship an application of topos theory; G. Rosolini
http://www.pims.math.ca/activities/exthem97.2.html
International Category Theory Meeting (CT97), UBC, Vancouver, July 13-19, 1997
Organizer: John MacDonald One of the founders of the subject, Saunders MacLane gave the keynote address. These meetings take place in the Pacific Northwest for the first time. They have not been held in the Pacific region since the MSRI meetings in 1993. Scientific program: There were 45 talks from all areas of the subject, including applications to computer science, algebra and foundations. The participants are nearly all mathematicians or computer scientists and come from 22 countries. Speakers:
  • Saunders Mac Lane: The Scope of Category Theory
  • Michael Barr: Some questions-and some answers-on *-autonomous categories
  • Heinrich Kleisli: The chu *-algebra of a group
  • Susan Niefield: A Skeletal Topos of Finite Sets: Implementing Finite Structures in Mathematica
  • Robert Dawson: When can a double diagram be composed?
  • John MacDonald: Distributivities and Liftings
  • Art Stone: Soft adjunctions: stacking cubes, co-existence

83. Predmety Online - (MAT044)
Selected parts of topos theory (MAT044). The basic notions of topos theory andtheir relation to the relevant notions of category theory are examined.
http://www.mff.cuni.cz/vnitro/is/sis/predmety/kod.php?kod=MAT044

84. CT95
Canadian Mathematical Society Annual Seminar. Dalhousie University, Halifax, Canada; 915 July 1995.Category Science Math Algebra Category Theory Events Past Events...... Fifty years after the paper which founded Category Theory and twentyfive yearsafter the discovery of Elementary topos theory, the Category Theory community
http://www.mta.ca/~cat-dist/ct95.html
INTERNATIONAL CATEGORY THEORY MEETING (CT95)
Canadian Mathematical Society Annual Seminar
July 9-15, 1995
Dalhousie University, Halifax, Canada
Fifty years after the paper which founded Category Theory and twenty-five years after the discovery of Elementary Topos Theory, the Category Theory community met in Halifax. The meeting was also an Annual Seminar of the Canadian Mathematical Society (which celebrates its 50th anniversary in 1995). The meeting took place on the campus of Dalhousie University in Halifax. The scientific program ran from Monday, July 10 to Saturday, July 15 inclusive. The conference social events included an excursion to Point Pleasant Park followed by a boat tour of Halifax harbour and lobster dinner, and a conference banquet on the Thursday evening. About 107 mathematicians participated in the conference. Their names and email addresses (where known) are listed. Here is the conference picture - thanks to Bob Walters for scanning. During the two weeks preceding CT95 a Category Theory Summer School was held at Dalhousie. Professors F. W. Lawvere and S. Schanuel presented a series of lectures to an enthusiastic audience of graduate students from around the world.

85. Algebraic Topology Resources
theory, research, exams, history, handbooks and much more Introduction Sheaves inGeometry and Logic A First Introduction to topos theory (Universitext) by I
http://futuresedge.org/mathematics/Algebraic_Topology_.html
Algebraic Topology resources.
Recommended References. [see index for total category]
for your convenience: Best Retirement Spots Web Hosting ULTRAToolBox Resources on Diet and Nutrition Pain Relief Allergies Tech Refresh , and finally - a must check - Mediterranean diet Discovery. Algebraic Topology applications, theory, research, exams, history, handbooks and much more
Introduction:

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
by I. Moerdijk
A Combinatorial Introduction to Topology
by Michael Henle
Topology: An Introduction to the Point-Set and Algebraic Areas
by Donald W. Kahn
Homology Theory: An Introduction to Algebraic Topology (Graduate Texts in Mathematics)
by James W. Vick
Introduction to Algebraic Topology
by Springer Verlag
Introduction to Combinatorial Torsions
by Vladimir Tuarev
Algebraic Topology: An Introduction (Graduate Texts in Mathematics, Vol 56)
by William S. Massey Introduction to the Baum-Connes Conjecture by Alain Valette Introduction to Algebraic Topology (Graduate Texts in Mathematics, Vol 119) by Joseph J. Rotman An Introduction to K-Theory for C*-Algebras (London Mathematical Society Student Texts, No 49)

86. MainFrame:Definitions Of Pure Categories And Functors.
vocabulary. Perhaps the most common approach to categorical foundationsfollows this line, usually through topos theory. The idea
http://www.rbjones.com/rbjpub/pp/gst/pcf-defns-m.html
loadstylesheet("xl002","../../../common/") Definitions of pure categories and functors. Overview This document defines the concepts "pure category" and "pure functor" as a preliminary to developing a foundation system whose domains of discourse are the pure categories and functors. Introduction Pure functors and categories are the concrete functors and categories which can be constructed by an iterative process starting from the empty category. Functor Functions A functor function is a graph together with its domain and codomain. Application and Composition Application and composition of functor functions is very similar to ordinary function application and composition. Concrete Categories A concrete category is (in our special world) just a set of functor functions which is closed under composition and has left and right identities. Concrete Functors A concrete functor is a functor function whose domain and codomains are sets of functor functions and which respects composition. Category-Functors and Functor-Categories A category-functor (ccat_cfunc) is a concrete functor whose domain and codomain are concrete categories (not just sets) while a functor-category (cfunc_ccat) is a concrete category whose elements are concrete functors (not just functor functions). Hereditary Properties Hereditary properties are those which are inherited as new (concrete) functors and categories are constructed from old.

87. IC Theory Group Postdoc List
Theoretical Physics Group Research Interests Professor Chris Isham Professor Chris Isham My primary research interests are (i) all aspects of quantum gravity; (ii) the general problem of quantum theory, both technical and conceptual. set theory ('topoi') in the context of the consistent histories programme where the internal logic of a topos seems to
http://theory.ic.ac.uk/staffresearch.html
Theoretical Physics Group Research Interests
Staff Members: Professor Chris Isham Professor Chris Isham My primary research interests are: (i) all aspects of quantum gravity; (ii) the general problem of quantum theory, both technical and conceptual. My main current research programme is partly motivated by the 'problem of time' in quantum gravity which, in turn, is a special manifestation of the general questions in quantum gravity that have intrigued me for many years: (a) to what extent are standard space-time ideas (both mathematical and conceptual) applicable in quantum gravity; and (b) to what extent is the formalism (both mathematical and conceptual) of standard quantum theory applicable in quantum gravity. In particular, I have been developing a new approach to quantum gravity based on a quantum-logic extension of the consistent-histories version of quantum theory. This enables the standard ideas of quantum theory to be extended to situations where there is no normal notion of time, including the possibility that a variety of non-metrical aspects of space-time may also be subject to quantisation. I have become particularly interested in the use of generalised set theory ('topoi') in the context of the consistent histories programme where the internal logic of a topos seems to play an important role. I am also planning to use topos ideas in the development of new models for spacetime; in particular, there may be important links with topological quantum field theory, expecially the recent work involving ideas coming from the loopspace approach to the Ashtekar programme of canonical quantisation of gravity.

88. Topos In Architectural Theory
Translate this page TU WIEN. unikat, 251.071 Seminar topos in architectural theory SS'03 3,0 Std. ECTS-PunktekA. Name, E-Mail, Telefon, Sprechstunde. JORMAKKA Kari Juhani, Dipl.-Ing.
http://www.lzk.ac.at/lva/tuwien/251071
251.071 Seminar Topos in architectural theory SS'03 3,0 Std. ECTS-Punkte: k.A. Name E-Mail Telefon Sprechstunde JORMAKKA Kari Juhani, Dipl.-Ing. Dr.phil. nach Vereinbarung E251 Inst.f.Baukunst, Bauaufnahmen u.Architekturtheorie an der TU Wien Alle Lehrveranstaltungen des Instituts Fachtyp Studienplan Semester/Abschnitt
Daten-Quellen:
TUWIS
letzte Aktualisierung: 07.05.02
Redaktion: Lehner E.
WWW:
Web-Hits (seit 1.8.01): 00000
graphic design: by planetweb graFX

89. Topos In Architectural Theory
TU VIENNA. unikat, 251.071 Seminar topos in architectural theory SS'03 3,0 Std.ECTSPoints Name, E-Mail, Phone, Office hours. JORMAKKA Kari Juhani, Dipl.-Ing.
http://www.lzk.ac.at/lecture/tuwien/251071
251.071 Seminar Topos in architectural theory SS'03 3,0 Std. ECTS-Points: k.A. Name E-Mail Phone Office hours JORMAKKA Kari Juhani, Dipl.-Ing. Dr.phil. nach Vereinbarung E251 Architectural History and Historic Building Survey at the Vienna University of Technology All Courses of the Institute Type of Subject Curriculum Semester/Part
Data-Sources:
TUWIS
last update: 07.05.02
Redaktion: Lehner E.
WWW:
Web-Hits (since 1.8.01): 00000
graphic design: by planetweb graFX

90. Topos In Architectural Theory
Translate this page Navigation topos in architectural theory (251.071). Seminar SS 3,0. Im Lehrzielkataloggibt es eine ausführliche Beschreibung zu dieser Lehrveranstaltung.
http://www.tuwien.ac.at/histu/lehr/251071.html
Topos in architectural theory (251.071)
Seminar SS 3,0
Im Lehrzielkatalog Die Lehrveranstaltung wird am Inst.f.Baukunst, Bauaufnahmen u.Architekturtheorie (E 251) abgehalten.
Orte und Zeiten
Die Lehrveranstaltung wird im Sommersemester 2003 gelesen:
Vortragende(r):
O.Univ.Prof. Dipl.-Ing. Dr.phil. JORMAKKA Kari Juhani
Im Lehrzielkatalog
Hilfe LVA-Suchen Suchen TU-Wien ... Kritik-Lob
Quellen:
TUWIS
Last update March 15th, 2003 Only to report a technical problem, e.g. dangling links or if you have technical questions regarding this information system, you may use the following mail address HISTU-team

91. Categorical Logic And Type Theory
of PERs and omegasets over the effective topos 4. Natural numbers in the effectivetopos and some associated principles Chapter 7 Internal category theory.
http://www.cs.kun.nl/~bart/CLT/bookinfo.html
Categorical Logic and Type Theory
B. Jacobs, Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics 141, North Holland, Elsevier, 1999. ISBN 0-444-50170-3 BibTex entry
This book gives a survey of categorical logic and type theory starting from the unifying concept of a fibration. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists. To get an impression, the prospectus from the book is made available.
Reviews
  • By Peter Johnstone, in the Zentralblatt fur Mathematik , vol. 905, 1999.
  • By Robert Seely, to appear in The Bulletin of Symbolic Logic available on the web).
  • By Andreas Blass, in Mathematical Reviews
How to order
This book can be ordered directly via the publisher Elsevier , or via Amazon , or (possibly) via your local bookstore.
Contents
Chapter 0: Prospectus
1. Logic, type theory and fibred category theory
2. The logic and type theory of sets
Chapter 1: Introduction to fibred category theory
1. Fibrations
2. Some concrete examples: sets, omega-sets and PERs

92. [math/0207028] Homotopical Algebraic Geometry I: Topos Theory
Oct 2002 114917 GMT (88kb) Homotopical Algebraic Geometry I Topostheory. Authors Bertrand Toen, Gabriele Vezzosi Comments 104
http://arxiv.org/abs/math/0207028
Mathematics, abstract
math.AG/0207028
): Tue, 2 Jul 2002 20:44:00 GMT (86kb) Date (revised v2): Tue, 8 Oct 2002 11:49:17 GMT (88kb)
Homotopical Algebraic Geometry I: Topos theory
Authors: Bertrand Toen Gabriele Vezzosi
Comments: 104 pages, Table of Contents; some typos corrected and references added
Subj-class: Algebraic Geometry; Algebraic Topology
MSC-class:
Full-text: PostScript PDF , or Other formats
References and citations for this submission:
CiteBase
(autonomous citation navigation and analysis)
Links to: arXiv math find abs

93. Abstract:011010bunge
The fundamental group of a (universal) branched covering in topostheory. Marta Bunge (10/10/01). Background Branched coverings in
http://www.maths.usyd.edu.au:8000/u/stevel/auscat/abstracts/011010bunge.html
The fundamental group of a (universal) branched covering in topos theory
Marta Bunge (10/10/01)
  • Background Branched coverings in topos theory [BN] [Fu] may be described (in several ways with varying degrees of abstraction) in terms of the more general notion of a complete spread [BF]. The goal of this talk is to establish a theorem relating the fundamental group of a (universal) branched covering of a topos with that of the (universal) covering of its unbranched part.
  • Motivation. The main motivation comes from theorem of R.H. Fox [Fox] (Section 7) for locally finite complexes, where, however, the fundamental group of a branched covering is directly given in terms of paths rather than by exploiting the Galois theory that is inherent in the given (branched and unbranched) coverings. I set out to prove one key ingredient of this theorem in the general context of an admissible KZ-doctrine in the sense of [BF2], satisfying an additional axiom of "interior" (or "density").
  • Definitions. Context: an admissible KZ-doctrine M satisfying an axiom of interior on a 2-category K.

Page 5     81-93 of 93    Back | 1  | 2  | 3  | 4  | 5 

free hit counter