Singletó: diferència entre les revisions

Contingut suprimit Contingut afegit
mCap resum de modificació
Línia 32:
{{AP|Teoria de categories}}
Les estructures construïdes en singletons sovint serveixen com a [[Objecte terminal|objectes terminals]] o [[Objecte zero|objectes zero]] de diverses [[Categoria (matemàtiques)|categories]]:
* L'afirmació anterior mostra que els conjunts singletó són precisament els objectes terminals de la [[categoria conjunt]] de [[Conjunt (matemàtiques)|conjunts]]. Cap altre conjunt és terminal.
* The statement above shows that the singleton sets are precisely the terminal objects in the category '''[[category of sets|Set]]''' of [[set (mathematics)|set]]s. No other sets are terminal.
* Qualsevol singletó admet una estructura [[Espai topològic|espacial topològica]] única (tots dos [[Subconjunt|subconjunts]] estan [[Conjunt obert|oberts]]). Aquests espais topològics singletó són objectes terminals en la categoria d'espais topològics i [[Funció contínua|funcions contínues]]. Cap altre espai és terminal en aquesta categoria.
* Any singleton admits a unique [[topological space]] structure (both subsets are open). These singleton topological spaces are terminal objects in the category of topological spaces and [[continuous function]]s. No other spaces are terminal in that category.
* AnyQualsevol singletonsingletó admitsadmet auna estructura uniquede [[groupGrup (mathematicsmatemàtiques)|groupgrup]] structureúnica (the uniquel'únic element servingque asserveix com a [[identity element neutre]]). TheseAquests singletongrups groupssingletó aresón [[InitialObjecte objectinicial|zero objectobjectes]]s inen thela categorycategoria ofde groupsgrups andi [[groupHomomorfisme de grups|homomorfismes de homomorphismgrups]]s. NoCap otheraltre groupsgrup areés terminal inen thataquesta categorycategoria.
 
== Definició per a funcions d'indicador ==