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