Personal tools

User:Michiexile/MATH198/Lecture 2

From HaskellWiki

< User:Michiexile | MATH198(Difference between revisions)
Jump to: navigation, search
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

1 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 \mathbb N:
3x = 3y \Rightarrow x = y
  • 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 1/3\in\mathbb N.

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.

2 Isomorphisms

An arrow f:A\to B in a category C is an isomorphism if it has a twosided inverse g. In other words, we require the existence of a g:B\to A such that fg = 1B and gf = 1A.

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

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

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

3 Monomorphisms

3.1 In concrete categories

3.2 Subobjects

4 Epimorphisms

4.1 In concrete categories

5 Terminal objects

5.1 Pointless sets and global constants

6 Initial objects

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




8 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 g1,g2, the equation fg1 = fg2 implies g1 = g2. 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 g1,g2, the equation g1f = g2f implies g1 = g2.

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, f:v\to w is an isomorphism if there is a g:w\to v such that fg = 1w and g = 1v.
Automorphism
An automorphism is an endomorphism that is an isomorphism.

9 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 i1,i2 are both initial, then there is exactly one map i_1\to i_2 and exactly one map i_2\to i_1. The two possible compositions are maps i_1\to i_1 and i_2\to i_2. However, the initiality condition holds even for the morphism set [v,v], so in these, the only existing morphism is 1_{i_1} and 1_{i_2} respectively. Hence, the compositions have to be this morphism, which proves the statement.

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