global element

**topos theory** * Toposes ## Background * category theory * category * functor ## Toposes ## * (0,1)-topos, Heyting algebra, locale * pretopos * topos * Grothendieck topos * category of presheaves * presheaf * representable presheaf * category of sheaves * site * sieve * coverage, pretopology, topology * sheaf * sheafification * quasitopos * base topos, indexed topos ## Internal Logic * categorical semantics * internal logic * subobject classifier * natural numbers object ## Topos morphisms * logical morphism * geometric morphism * direct image/inverse image * global sections * geometric embedding * surjective geometric morphism * essential geometric morphism * locally connected geometric morphism * connected geometric morphism * totally connected geometric morphism * étale geometric morphism * open geometric morphism * proper geometric morphism, compact topos * separated geometric morphism, Hausdorff topos * local geometric morphism * bounded geometric morphism * base change * localic geometric morphism * hyperconnected geometric morphism * atomic geometric morphism ## Extra stuff, structure, properties * topological locale * localic topos * petit topos/gros topos * locally connected topos, connected topos, totally connected topos, strongly connected topos * local topos * cohesive topos * classifying topos * smooth topos ## Cohomology and homotopy * cohomology * homotopy * abelian sheaf cohomology * model structure on simplicial presheaves ## In higher category theory * higher topos theory * (0,1)-topos * (0,1)-site * 2-topos * 2-site * 2-sheaf, stack * (∞,1)-topos * (∞,1)-site * (∞,1)-sheaf, ∞-stack, derived stack ## Theorems * Diaconescu's theorem * Barr's theorem

Edit this sidebar

*** **category theory** ## Concepts * category * functor * natural transformation * Cat ## Universal constructions * universal construction * representable functor * adjoint functor * limit/colimit * weighted limit * end/coend * Kan extension ## Theorems * Yoneda lemma * Isbell duality * Grothendieck construction * adjoint functor theorem * monadicity theorem * adjoint lifting theorem * Tannaka duality * Gabriel-Ulmer duality * small object argument * Freyd-Mitchell embedding theorem * relation between type theory and category theory ## Extensions * sheaf and topos theory * enriched category theory * higher category theory ## Applications * applications of (higher) category theory

Edit this sidebar

Global elements


One striking difference between set theory and category theory is that, while objects of a category need not have any other structure, a set comes equipped with the notion of element, identifying other sets which belong to it. Sometimes, a category turns out to possess a similar structure, designating certain morphisms as global elements (or global points in geometric contexts) of an object.


If a category CC has a terminal object 11, a global element of another object xx is a morphism 1x1 \to x-

So a global element is a generalized element at “stage of definition” 11.

For example:

  • In Set, global elements are just elements: a function from a one-element set into xx picks out a single element of xx.

  • In Cat, global elements are objects: the terminal category 11 is the discrete category with one object, and a functor from 11 into a category CC singles out an object of CC.

  • In a topos, a global element of the subobject classifier is called a truth value.

  • Working in a slice category C/bC/b, a global element of the object π:eb\pi: e \to b is a map into it from the terminal object 1 b:bb1_b: b \to b; i.e., a right inverse for π\pi. In the context of bundles, a global element of a bundle is called a global section.


Many (but not all) of the examples above are cartesian closed categories. In a more general closed category, a morphism from the unit object to xx can be called an element of xx. For example, an element of an abelian group xx is a morphism from the group Z\mathbf{Z} of integers to xx, and of course this is equivalent to the usual notion of elment of xx. But here the adjective ‘global’ is not used.

In contrast to a global element, a morphism to xx from any object ii whatsoever may be seen as a generalized element of xx. For example, if ii is the unit interval (in topology, chain complexes, etc), then a map from ii to xx is a path (rather than a point) in xx. Or in a slice category C/bC/b, if ρ:ab\rho: a \to b is an embedding, then a morphism from ρ\rho to π\pi is a local section of π\pi.

Revised on April 13, 2012 17:02:24 by Cameron Smith (