Initial (category theory)

From Maths
Revision as of 20:30, 15 November 2016 by Alec (Talk | contribs) (Created page with ": See initial and final compared (category theory) for this definition and its dual side by side {{Stub page|grade=A*|msg=Created to move towards nets and generalised conv...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
See initial and final compared (category theory) for this definition and its dual side by side
Stub grade: A*
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:
Created to move towards nets and generalised convergence/limits.
  • Demote once examples and co are added

Definition

Let [ilmath]\mathcal{C} [/ilmath] be a category and let [ilmath]S\in\text{Ob}(\mathcal{C})[/ilmath] be any object of [ilmath]\mathcal{C} [/ilmath]. Then [ilmath]S[/ilmath] is initial in [ilmath]\mathcal{C} [/ilmath] if[1]:

  • For all [ilmath]A\in\text{Ob}(\mathcal{C})[/ilmath]
    • there exists a unique morphism: [ilmath]\xymatrix{S \ar[r] & A} [/ilmath]

Examples

See also

References

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