Categoría (matemáticas): Diferenzas entre revisións
Contido eliminado Contido engadido
→Historia: Referencia |
→Exemplos: Máis de en.wiki |
||
Liña 21:
== Exemplos ==
* A categoría '''Con''' é aquela que ten como obxectos todos os conxuntos e se A e B son conxuntos, entón '''Con'''(A,B) é o conxunto de funcións con dominio A e codominio B. Esta é a categoría máis comunmente empregada nas matemáticas.
* Calquera clase pode ser vista como unha categoría que so ten como morfismos os morfismos identidade. Chámanse categorías discretas e son o tipo máis simple de categoría.
* Carquer [[preorde|conxunto preordenado]] (''P'', ≤) forma unha categoría na que os obxectos son os elementos de ''P'' e os morfismos as frechas que van de ''x'' a ''y'' cando ''x'' ≤ ''y''.
* Calquera [[monoide]], [[grupo (matemáticas)|grupo]] e [[grupoide]] poden considerarse categorías.
[[Ficheiro:Directed.svg|125px|miniatura|Grafo orientado]]
* Un [[grafo orientado]] xera unha categoría: os obxectos son os vértices do grafo e os morfismos os camiños do grafo. A composición dos morfismos é a concatenación de camiños.
== Notas ==
| |||