Proper maps of toposes
Beck-Chevalley conditionsdescent theoremsdirect image functorseffective lax descent morphismsfiltered categoriesfiltered inverse limitsGalois theory of Grothendieckinternal sites in toposlocalesMakkai-Zawadowski descent theorem for coherent toposespointed connected atomic toposesproper mapsstability under pullbacktidy maps
Categorical logic, topoi (03G30) Frames, locales (06D22) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) Topological groupoids (including differentiable and Lie groupoids) (22A22) Special maps on topological spaces (open, closed, perfect, etc.) (54C10)
- Local Maps of Toposes
- scientific article; zbMATH DE number 4211038
- Towards a general theory of topological maps
- Mapping stacks of topological stacks
- scientific article; zbMATH DE number 1263765
- Images of collections of proper maps which determine a topology
- On topologies in a topos
- scientific article; zbMATH DE number 1444767
- Topographs; Conway and otherwise
- Représentation de topos par des espaces topologiques
- Proper maps of locales
- Pitts monads and a lax descent theorem
- Étale stacks as prolongations
- Properness for scaled gauged maps
- Complemented sublocales and open maps
- scientific article; zbMATH DE number 4208343 (Why is no real title available?)
- scientific article; zbMATH DE number 3941764 (Why is no real title available?)
- On toposes generated by cardinal finite objects
- Completely regular proper reflection of locales over a given locale
- A note on proper maps of locales
- Measure theory over Boolean toposes
- Homotopic pullbacks, lax pullbacks, and exponentiability
- Semi-Galois categories. I: The classical Eilenberg variety theory
- Smooth and proper maps with respect to a fibration
- On the Weihrauch degree of the additive Ramsey theorem
- Hilbert's tenth problem for term algebras with a substitution operator
- Complemented subsets and Boolean-valued, partial functions
- Defining long words succinctly in FO and MSO
- On the first-order parts of problems in the Weihrauch degrees
- Algorithmically random series
- Ideal presentations and numberings of some classes of effective quasi-Polish spaces
- Lower bounds on () and other properties of -register machines
- Reifying dynamical algebra: maximal ideals in countable rings, constructively
This page was built for publication: Proper maps of toposes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4516344)
