|
|
| Line 29: |
Line 29: |
| | [[Category:Navboxes]] | | [[Category:Navboxes]] |
| | [[Category:Category Theory]] | | [[Category:Category Theory]] |
| − | {{Todo|fill this out}} | + | {{ProjectTodo|Navbox project|fill this out}} |
| | </noinclude> | | </noinclude> |
Revision as of 11:44, 19 February 2016
| Category Theory
|
|
|
| Overview of the concepts of Category Theory
|
|
|
| Key objects
|
|
[ilmath]\xymatrix{ & \text{Arrow} \\ \text{Monic} \ar@{^{(}->}[ur] & & \text{Epic} \ar@{^{(}->}[ul] \\ & \text{Bimorphism} \ar@{^{(}->}[ur] \ar@<-0.5ex>@{^{(}->}[ul] \\ {\begin{array}{c}\text{Section}\\ \text{(Split monic)} \end{array} } \ar@{^{(}->}[uu] & & {\begin{array}{c}\text{Retraction}\\ \text{(Split epic)} \end{array} } \ar@<-0.75ex>@{^{(}->}[uu] \\ & \text{Isomorphism} \ar@{^{(}->}[ur] \ar@<-0.5ex>@{^{(}->}[ul] \ar@{^{(}->}[uu] }[/ilmath]
|
|
|
Typical morphism types
(see diagram on right)
|
|
|
|
| Key objects
|
|
|
|
| Key constructs
|
|
|
|
| Important examples
|
|
|
|
| Trivial category examples
|
|
|
|
| Common categories
|
|
|
Todo (Navbox project): fill this out
