Publication

Filter quotients and non-presentable (∞,1)-toposes

Nima Rasekh
2021
Journal Articles

Résumé

We define filter quotients of -categories and prove that filter quotients preserve the structure of an elementary -topos and in particular lift the filter quotient of the underlying elementary topos. We then specialize to the case of filter products of -categories and prove a characterization theorem for equivalences in a filter product. Then we use filter products to construct a large class of elementary -toposes that are not Grothendieck -toposes. Moreover, we give one detailed example for the interested reader who would like to see how we can construct such an -category, but would prefer to avoid the technicalities regarding filters.

Source officielle

https://infoscience.epfl.ch/entities/publication/35a78646-e874-422d-813c-b3aa9ab54238

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Nima Rasekh
2021
Journal Articles

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/35a78646-e874-422d-813c-b3aa9ab54238

À propos de ce résultat

Concepts associés (32)

Filters in topology

Filters in topology, a subfield of mathematics, can be used to study topological spaces and define all basic topological notions such as convergence, continuity, compactness, and more. Filters, which are special families of subsets of some given set, also provide a common framework for defining various types of limits of functions such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called have many useful technical properties and they may often be used in place of arbitrary filters.

Topos (mathématiques)

En mathématiques, un topos (au pluriel topos ou topoï) est un type particulier de catégorie. La théorie des topoï est polyvalente et est utilisée dans des domaines aussi variés que la logique, la topologie ou la géométrie algébrique. Un topos peut être défini comme une catégorie pourvue : de limites et colimites finies ; d'exponentielles ; d'un . D'autres définitions équivalentes sont données plus bas.

Quasi-catégorie

En mathématiques, plus précisément en théorie des catégories, une quasi-catégorie est une généralisation de la notion de catégorie. L'étude de telles généralisations est connue sous le nom de théorie des catégories supérieures. Les quasi-catégories ont été introduites par et Vogt en 1973. André Joyal a fait beaucoup progresser l'étude des quasi-catégories en montrant qu’il existe un analogue pour les quasi-catégories de la plupart des notions de base de la théorie des catégories et même de certaines notions et théorèmes d’un niveau plus avancé.

Afficher plus

Publications associées (20)

Afficher plus

Filter quotients and non-presentable (∞,1)-toposes

Chattez avec Graph Search

Conditional Flatness, Fiberwise Localizations, And Admissible Reflections

Correspondence functors and duality

Biomaterial devices on Arecanut palm leaf for microwave applications