enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. History of topos theory - Wikipedia

    en.wikipedia.org/wiki/History_of_topos_theory

    The theory was rounded out by establishing that a Grothendieck topos was a category of sheaves, where now the word sheaf had acquired an extended meaning, since it involved a Grothendieck topology. The idea of a Grothendieck topology (also known as a site ) has been characterised by John Tate as a bold pun on the two senses of Riemann surface .

  3. Topos - Wikipedia

    en.wikipedia.org/wiki/Topos

    In mathematics, a topos (US: / ˈ t ɒ p ɒ s /, UK: / ˈ t oʊ p oʊ s, ˈ t oʊ p ɒ s /; plural topoi / ˈ t ɒ p ɔɪ / or / ˈ t oʊ p ɔɪ /, or toposes) is a category that behaves like the category of sheaves of sets on a topological space (or more generally: on a site).

  4. Category:Topos theory - Wikipedia

    en.wikipedia.org/wiki/Category:Topos_theory

    Download as PDF; Printable version; In other projects Wikidata item; ... Pages in category "Topos theory" The following 17 pages are in this category, out of 17 total.

  5. Higher Topos Theory - Wikipedia

    en.wikipedia.org/wiki/Higher_Topos_Theory

    Higher Topos Theory covers two related topics: ∞-categories and ∞-topoi (which are a special case of the former). The first five of the book's seven chapters comprise a rigorous development of general ∞-category theory in the language of quasicategories, a special class of simplicial set which acts as a model for ∞-categories.

  6. Higher category theory - Wikipedia

    en.wikipedia.org/wiki/Higher_category_theory

    Alternative PDF with hyperlinks) Lurie, Jacob (2009). Higher Topos Theory. Princeton University Press. arXiv: math.CT/0608040. ISBN 978-0-691-14048-3. As PDF. nLab, the collective and open wiki notebook project on higher category theory and applications in physics, mathematics and philosophy

  7. Peter Johnstone (mathematician) - Wikipedia

    en.wikipedia.org/wiki/Peter_Johnstone...

    His thesis, completed at the University of Cambridge in 1974, was entitled "Some Aspects of Internal Category Theory in an Elementary Topos". [ 3 ] Peter Johnstone is a choral singer, having sung for over thirty years with the Cambridge University Musical Society and since 2004 with the (London) Bach Choir .

  8. Effective topos - Wikipedia

    en.wikipedia.org/wiki/Effective_topos

    Kleene, S. C. (1945). "On the interpretation of intuitionistic number theory". Journal of Symbolic Logic. 10 (4): 109–124. doi:10.2307/2269016. JSTOR 2269016. S2CID 40471120. Phoa, Wesley (1992). An introduction to fibrations, topos theory, the effective topos and modest sets (Technical report). Laboratory for Foundations of Computer Science ...

  9. Synthetic differential geometry - Wikipedia

    en.wikipedia.org/wiki/Synthetic_differential...

    In mathematics, synthetic differential geometry is a formalization of the theory of differential geometry in the language of topos theory.There are several insights that allow for such a reformulation.