29 июл. 2024 г. · There are various different perspectives on the notion of topos. One is that a topos is a category that looks like a category of spaces that sit ... nLab model topos · nLab locally connected topos · nLab sheaf and topos theory

29 июл. 2024 г. · Topos theory is the part of category theory that studies categories which are toposes. This includes in particular Grothendieck toposes, i.e. ...

30 апр. 2024 г. · Being an elementary topos, a Grothendieck topos has an internal logic that can be taken to be higher-order logic or a form of dependent type ...

27 окт. 2022 г. · In other words, a classifying topos is a representing object for the functor which sends a topos E E to the category of structures of the ...

25 мар. 2024 г. · Definition 1.3. A topos is said to have enough points if isomorphy can be tested stalkwise, i.e. if the inverse image functors from all of its ...

A Boolean topos is a topos that is also a Boolean category. There are several conditions on a topos that are necessary and sufficient to be Boolean.

28 сент. 2024 г. · A general object of the topos can be thought of as being like a subsequential space, but such that a given sequence can converge to a given ...

27 июн. 2024 г. · The fact that the slice T / X \mathcal{T}/X is a topos, and particularly the construction of power objects above, can be deduced from a more ...

15 февр. 2023 г. · A model topos is a model category that presents an (∞,1)-topos. Definition 1.1. A model category ...

11 июл. 2021 г. · nLab.OpenTapioca takes text and annotates it by identifying categorical concepts. The concepts are WikiData entities, and each is linked to an ...