Initial and final compared (category theory)

From Maths
Revision as of 20:25, 15 November 2016 by Alec (Talk | contribs) (Created page with ": This page shows {{link|Initial|category theory}} and {{link|Final|category theory}} side by side, for more details on each see their respective pages. {{Stub page|grade=B|ms...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This page shows Initial and Final side by side, for more details on each see their respective pages.
Stub grade: B
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Fits stub definition

Definition

Let [ilmath]\mathcal{C} [/ilmath] be a category and let [ilmath]S\in\text{Ob}(\mathcal{C})[/ilmath], then we say [ilmath]S[/ilmath] is:

Initial[1] Final[1]
if for each [ilmath]A\in\text{Ob}(\mathcal{C})[/ilmath] there exists a unique morphism:
[ilmath]\xymatrix{S \ar[r] & A} [/ilmath] [ilmath]\xymatrix{A \ar[r] & S} [/ilmath]

References

  1. ↑ 1.0 1.1 An Introduction to Category Theory - Harold Simmons - 1st September 2010 edition

v • d • e
 
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
Primitive constructs
Key constructs
Important examples
Trivial category examples
Common categories
Retrieved from "https://www.maths.kisogo.com/index.php?title=Initial_and_final_compared_(category_theory)&oldid=3641"