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

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

Line 4: | Line 4: | ||

Some morphisms and some objects are special enough to garner special names that we will use regularly. |
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 <math>\mathbb N</math>: |
||

+ | ::<math>3x = 3y \Rightarrow x = y</math> |
||

+ | * 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 <math>1/3\in\mathbb N</math>. |
||

+ | |||

+ | 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 <math>f:A\to B</math> in a category <math>C</math> is an ''isomorphism'' if it has a twosided inverse <math>g</math>. In other words, we require the existence of a <math>g:B\to A</math> such that <math>fg=1_B</math> and <math>gf=1_A</math>. |
||

+ | |||

+ | ====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=== |
||

+ | |||

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

+ | |||

+ | ====Subobjects==== |
||

+ | |||

+ | ===Epimorphisms=== |
||

+ | |||

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

+ | |||

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

+ | |||

+ | ====Pointless sets and global constants==== |
||

+ | |||

+ | ===Initial objects=== |
||

+ | |||

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

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

## Revision as of 10:25, 14 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

#### In concrete categories

#### Subobjects

### Epimorphisms

#### In concrete categories

### Terminal objects

#### Pointless sets and global constants

### Initial objects

### Zero objects

- 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.