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

    When used for foundational work a topos will be defined axiomatically; set theory is then treated as a special case of topos theory. Building from category theory, there are multiple equivalent definitions of a topos. The following has the virtue of being concise: A topos is a category that has the following two properties:

  4. Category:Topos theory - Wikipedia

    en.wikipedia.org/wiki/Category:Topos_theory

    This page was last edited on 17 September 2019, at 05:32 (UTC).; Text is available under the Creative Commons Attribution-ShareAlike 4.0 License; additional terms may apply.

  5. Generalized space - Wikipedia

    en.wikipedia.org/wiki/Generalized_space

    A locale is a sort of a space but perhaps not with enough points. [3] The topos theory is sometimes said to be the theory of generalized locales. [4]Jean Giraud's gros topos, Peter Johnstone's topological topos, [5] or more recent incarnations such as condensed sets or pyknotic sets.

  6. ∞-topos - Wikipedia

    en.wikipedia.org/wiki/%E2%88%9E-topos

    A theorem of Lurie [2] states that an ∞-category is an ∞-topos if and only if it satisfies an ∞-categorical version of Giraud's axioms in ordinary topos theory. A "topos" is a category behaving like the category of sheaves of sets on a topological space. In analogy, Lurie's definition and characterization theorem of an ∞-topos says that ...

  7. 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 ...

  8. Fundamental theorem of topos theory - Wikipedia

    en.wikipedia.org/wiki/Fundamental_theorem_of...

    In mathematics, The fundamental theorem of topos theory states that the slice / of a topos over any one of its objects is itself a topos. Moreover, if there is a morphism f : A → B {\displaystyle f:A\rightarrow B} in E {\displaystyle \mathbf {E} } then there is a functor f ∗ : E / B → E / A {\displaystyle f^{*}:\mathbf {E} /B\rightarrow ...

  9. Classifying topos - Wikipedia

    en.wikipedia.org/wiki/Classifying_topos

    The classifying topos for linear orders with distinct largest and smallest elements of a topos is the topos of simplicial sets. If G is a discrete group, the classifying topos for G-torsors over a topos is the topos BG of G-sets. The classifying space of topological groups in homotopy theory.