The result of the move request was: No consensus no active discussion on this topic, nom appears to have abandoned the discussion. Closing editor also believe t
| This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||
| |||||||||||
| Text or other creative content from this version of Topos was copied or moved into Elementary topos with this edit. The former page's history now serves to provide attribution for that content in the latter page, and it must not be deleted as long as the latter page exists. |
The result of the move request was: No consensus no active discussion on this topic, nom appears to have abandoned the discussion. Closing editor also believe the comment from Ozob to be valid and should be answered before moving. A quick review supports not moving without further explanation. Tiggerjay (talk) 19:34, 22 October 2015 (UTC) Tiggerjay (talk) 19:34, 22 October 2015 (UTC)
– The category theoretic definition should not be the primary topic. GeoffreyT2000 (talk) 21:15, 7 October 2015 (UTC) --Relisted. Natg 19 (talk) 00:56, 15 October 2015 (UTC)
I'm going to perform a WP:BOLD WP:SPLIT of this article by moving the section on elementary toposes to its own article and renaming this article to "Grothendieck topos". The two sections are already pretty much separate in this article, each having its own introduction and practically not referring to each other. Moreover, the material about elementary toposes is currently in bad shape but it would be nice to extend it (I hope to get to that eventually), in particular with information about the internal language of an elementary topos, and this would make it quite a bit longer. Note that the idea of a split was already mentioned multiple times on this talk page, here and here and here. Jean Abou Samra (talk) 19:06, 6 July 2026 (UTC)
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.