Difference between revisions of "Isomorphism (category theory)"

From Maths
Jump to: navigation, search
(Created page with "{{Stub page|Needs proof-reading and checking, created to reduce the clutter in the "wanted pages" list}} __TOC__ ==Definition== Given a pair of arrows, {{M|A\mathop{...")
(No difference)

Revision as of 14:17, 13 March 2016

(Unknown grade)
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:
Needs proof-reading and checking, created to reduce the clutter in the "wanted pages" list

Definition

Given a pair of arrows, [ilmath]A\mathop{\longrightarrow}^fB[/ilmath] and [ilmath]B\mathop{\longrightarrow}^g A[/ilmath] in a category [ilmath]\mathscr{C} [/ilmath], we say that [ilmath]f[/ilmath] and [ilmath]g[/ilmath] are isomorphisms[1] if:

  • [ilmath]g\circ f=\text{Id}_A[/ilmath] and [ilmath]f\circ g=\text{Id}_B[/ilmath]

We may also call [ilmath]f[/ilmath] and [ilmath]g[/ilmath] an inverse pair of isomorphisms. For clarity I say again: both [ilmath]f[/ilmath] and [ilmath]g[/ilmath] are themselves isomorphisms

See also

References

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