This is an old revision of the document!
Canonical injection
Definition
| $X,Y$ |
| $X\subseteq Y$ |
| $ \{\iota\} $ |
|---|
| $ \iota:X\to Y $ |
| $ \iota=\text{id}_X $ |
|---|
Ramifications
Reference
Wikipedia: Inclusion map
Context
Refinement of
Parents
This is an old revision of the document!
| $X,Y$ |
| $X\subseteq Y$ |
| $ \{\iota\} $ |
|---|
| $ \iota:X\to Y $ |
| $ \iota=\text{id}_X $ |
|---|
Wikipedia: Inclusion map
