# Difference between revisions of "User:Michiexile/MATH198/Lecture 2"

Michiexile (talk | contribs) |
Michiexile (talk | contribs) |
||

Line 35: | Line 35: | ||

===Monomorphisms=== |
===Monomorphisms=== |
||

+ | |||

+ | We say that an arrow <math>f</math> is ''left cancellable'' if for any arrows <math>g_1,g_2</math> we can show <math>fg_1 = fg_2 \Rightarrow g_1=g_2</math>. In other words, it is left cancellable, if we can remove it from the far left of any equation involving arrows. |
||

+ | |||

+ | We call a left cancellable arrow in a category a ''monomorphism''. |
||

====In concrete categories==== |
====In concrete categories==== |
||

+ | |||

+ | Left cancellability means that if, when we do first <math>g_1</math> and then <math>f</math> we get the same as when we do first <math>g_2</math> and then <math>f</math>, then we had equality already before we followed with <math>f</math>. |
||

+ | |||

+ | In other words, when we work with functions on sets, <math>f</math> doesn't introduce relations that weren't already there. Anything non-equal before we apply <math>f</math> remains non-equal in the image. This, translated to formulae gives us the well-known form for ''injectivity'': |
||

+ | ::<math>x\neq y\Rightarrow f(x)\neq f(y)</math> or moving out the negations, |
||

+ | ::<math>f(x)=f(y) \Rightarrow x=y</math>. |
||

====Subobjects==== |
====Subobjects==== |
||

===Epimorphisms=== |
===Epimorphisms=== |
||

+ | |||

+ | ''Right cancellability'', by analogy, is the implication |
||

+ | :<math>g_1f = g_2f \Rightarrow g_1 = g_2</math> |
||

+ | The name, here comes from that we can remove the right cancellable <math>f</math> from the right of any equation it is involved in. |
||

+ | |||

+ | A right cancellable arrow in a category is an ''epimorphism''. |
||

====In concrete categories==== |
====In concrete categories==== |
||

+ | |||

+ | For epimorphims the interpretation in set functions is that whatever <math>f</math> does, it doesn't hide any part of the things <math>g_1</math> and <math>g_2</math> do. So applying <math>f</math> first doesn't influence the total available scope <mamth>g_1</math> and <math>g_2</math> have. |
||

===Terminal objects=== |
===Terminal objects=== |
||

Line 51: | Line 69: | ||

===Zero objects=== |
===Zero objects=== |
||

+ | |||

+ | ===Internal and external hom=== |
||

* Isomorphisms and existence of inverses. |
* Isomorphisms and existence of inverses. |

## Revision as of 22:54, 22 September 2009

IMPORTANT NOTE: THESE NOTES ARE STILL UNDER DEVELOPMENT. PLEASE WAIT UNTIL AFTER THE LECTURE WITH HANDING ANYTHING IN, OR TREATING THE NOTES AS READY TO READ.

## Contents

### Morphisms and objects

Some morphisms and some objects are special enough to garner special names that we will use regularly.

In morphisms, the important properties are

- cancellability - the categorical notion corresponding to properties we use when solving, e.g., equations over :

- existence of inverses - which is stronger than cancellability. If there are inverses around, this implies cancellability, by applying the inverse to remove the common factor. Cancellability, however, does not imply that inverses exist: we can cancel the 3 above, but this does not imply the existence of .

Thus, we'll talk about isomorphisms - which have two-sided inverses, monomorphisms and epimorphisms - which have cancellability properties, and split morphisms - which are mono's and epi's with correspodning one-sided inverses. We'll talk about what these concepts - defined in terms of equationsolving with arrows - apply to more familiar situations. And we'll talk about how the semantics of some of the more wellknown ideas in mathematics are captured by these notions.

For objects, the properties are interesting in what happens to homsets with the special object as source or target. An empty homset is pretty boring, and a *large* homset is pretty boring. The real power, we find, is when *all* homsets with the specific source or target are singleton sets. This allows us to formulate the idea of a 0 in categorical terms, as well as capturing the roles of the empty set and of elements of sets - all using only arrows.

### Isomorphisms

An arrow in a category is an *isomorphism* if it has a twosided inverse . In other words, we require the existence of a such that and .

#### In concrete categories

In a category of sets with structure with morphisms given by functions that respect the set structure, isomorphism are bijections respecting the structure. In the category of sets, the isomorphisms are bijections.

#### Representative subcategories

Very many mathematical properties and invariants are interesting because they hold for objects regardless of how, exactly, the object is built. As an example, most set theoretical properties are concerned with how large the set is, but not what the elements really are.

If all we care about are our objects up to isomorphisms, and how they relate to each other - we might as well restrict ourselves to one object for each isomorphism class of objects.

Doing this, we get a *representative subcategory*: a subcategory such that every object of the supercategory is isomorphic to some object in the subcategory.

#### Groupoids

A *groupoid* is a category where *all* morphisms are isomorphisms. The name originates in that a groupoid with one object is a bona fide group; so that groupoids are the closest equivalent, in one sense, of groups as categories.

### Monomorphisms

We say that an arrow is *left cancellable* if for any arrows we can show . In other words, it is left cancellable, if we can remove it from the far left of any equation involving arrows.

We call a left cancellable arrow in a category a *monomorphism*.

#### In concrete categories

Left cancellability means that if, when we do first and then we get the same as when we do first and then , then we had equality already before we followed with .

In other words, when we work with functions on sets, doesn't introduce relations that weren't already there. Anything non-equal before we apply remains non-equal in the image. This, translated to formulae gives us the well-known form for *injectivity*:

- or moving out the negations,
- .

#### Subobjects

### Epimorphisms

*Right cancellability*, by analogy, is the implication

The name, here comes from that we can remove the right cancellable from the right of any equation it is involved in.

A right cancellable arrow in a category is an *epimorphism*.

#### In concrete categories

For epimorphims the interpretation in set functions is that whatever does, it doesn't hide any part of the things and do. So applying first doesn't influence the total available scope <mamth>g_1</math> and have.

### Terminal objects

#### Pointless sets and global constants

### Initial objects

### Zero objects

### Internal and external hom

- Isomorphisms and existence of inverses.
- Epi- and mono-morphisms and cancellability.
- Examples in concrete categories.
- Monomorphisms and subobjects:
- Factoring through. Equivalence relation by mutual factoring.
- Subobjects as equivalence classes of monomorphisms.

- Splitting and the existence of inverses.

- Terminal and initial objects.
- Constants. Pointless sets.

## Morphisms

The arrows of a category are called *morphisms*. This is derived from *homomorphisms*.

Some arrows have special properties that make them extra helpful; and we'll name them:

- Endomorphism
- A morphism with the same object as source and target.
- Monomorphism
- A morphism that is left-cancellable. Corresponds to injective functions. We say that
*f*is a monomorphism if for any , the equation implies . In other words, with a concrete perspective,*f*doesn't introduce additional relations when applied. - Epimorphism
- A morphism that is right-cancellable. Corresponds to surjective functions. We say that
*f*is an epimorphism if for any , the equation implies .

Note, by the way, that cancellability does not imply the existence of an inverse. Epi's and mono's that have inverses realizing their cancellability are called *split*.

- Isomorphism
- A morphism is an isomorphism if it has an inverse. Split epi and split mono imply isomorphism. Specifically, is an isomorphism if there is a such that and .
- Automorphism
- An automorphism is an endomorphism that is an isomorphism.

## Objects

In a category, we use a different name for the vertices: *objects*. This comes from the roots in describing concrete categories - thus while objects may be actual mathematical objects, but they may just as well be completely different.

Just as with the morphisms, there are objects special enough to be named. An object *v* is

*Initial*- if
*[v,w]*has exactly one element for all other objects*w*. *Terminal*- if
*[w,v]*has exactly one element for all other objects*w*. *A Zero object*- if it is both initial and terminal.

All initial objects are isomorphic. If are both initial, then there is exactly one map and exactly one map . The two possible compositions are maps and . However, the initiality condition holds even for the morphism set *[v,v]*, so in these, the only existing morphism is and respectively. Hence, the compositions have to be this morphism, which proves the statement.

## Dual category

The same proof carries over, word by word, to the terminal case. This is an illustration of a very commonly occurring phenomenon - dualization.