| Arabic |
| has gloss | ara: في الرياضيات : توبوس topos (تجمع بالانكليزية على "topoi" أو "toposes") أحد انماط التي تسلك سلوك تصنيف من الحزم sheaves لمجموعات على فضاء طوبولوجي. تفصيلات نظرية التوبوس ستناقش في خلفية ونشأة نظرية التوبوس. |
| lexicalization | ara: توبوس |
| German |
| has gloss | deu: Topos (pl. Topoi, griech. Ort) ist ein Begriff der , der in zwei engverwandten Ausprägungen vorkommt, nämlich * als Grothendieck-Topos, der ein verallgemeinerter topologischer Raum ist und Anwendungen in der algebraischen Geometrie findet. * als Elementartopos, der eine verallgemeinerte Kategorie aller Mengen ist, mit dem Ziel einer nicht-mengentheoretischen Grundlegung der Mathematik. |
| lexicalization | deu: Topos |
| French |
| lexicalization | fra: Topos |
| Italian |
| has gloss | ita: Topos in matematica (plurale topoi) è un tipo di categoria che si comporta come la categoria dei fasci di insiemi su uno spazio topologico. |
| lexicalization | ita: topos |
| Japanese |
| has gloss | jpn: 数学におけるトポス(topos)とは、位相空間上の層のなす圏を一般化した概念である。アレクサンドル・グロタンディークによるヴェイユ予想解決に向けた代数幾何学の変革の中で、数論的な図形(スキーム)の上で有意義なホモトピー・コホモロジー的量が定義できる細かい「位相」を考えるために導入された。 その後数理論理学者たちによる更なる公理化を経て、集合論のモデルを与える枠組みとしても認識されるようになった。 |
| lexicalization | jpn: トポス |
| Russian |
| has gloss | rus: В теории категорий элемента́рный то́пос — это , в некотором смысле похожая на категорию множеств. В рамках теории элементарных топосов может быть описана аксиоматика как самой теории множеств, так и альтернативных теорий и логик, например, интуиционистская логика. |
| lexicalization | rus: элементарный топос |
| Castilian |
| has gloss | spa: En matemática, un topos (plural: topos, topoi o toposes - asunto en disputa) es un tipo de categoría que proporciona cierto "concepto" que nos permite formular la matemática clásica "en su interior". |
| lexicalization | spa: topos |
| Swedish |
| has gloss | swe: Toposteorin har två ursprung, dels som en generalisering av begreppet topologiskt rum som blev nödvändigt vid utvecklandet av kohomologiteorier inom algebraisk geometri, dels som en kategoriteoretisk motsvarighet till mängdteori. |
| lexicalization | swe: Toposteori |