View source for SP20:Lecture 7 'Jectivity and inverse functions

= Function equality =

{{:Equality (functions)}}

= Inverse functions =

Inverse functions capture the idea of "flipping a [[function]] over".  To give the formal definition of an inverse, we start with some preliminary tools for putting functions together:

{{:Composition}}

{{:Identity functions}}

== Left inverses ==

{{:Left inverse}}

== Right inverses ==

{{:Right inverse}}

== Two-sided inverses ==

{{:Two-sided inverse}}

= Inverses and 'jectivity =

{{:Inverses and 'jectivity}}