Maths - Category Theory - Equivalence

Equivalence As an Isomorphism upto Isomorphism

Equivalence is a relationship between two objects in a similar way to equality and isomorphism but weaker and more general. So isomorphism is weaker than equality and equivalence is weaker (more general) still. equivalence
Given two mathematical objects 'C' and 'D' that we want to compare, we construct two morphisms between them 'F' and 'G' as shown in this diagram: isomorphism
'F' and 'G' must be chosen such that, by applying them one after the other (composing them), we get back to somewhere isomorphic to where we started, That is:  
GF≡1C isomorphism
FG≡1D isomorphism

Equivalence and Subobjects

The concept of a subobject is related to the concept of equivalence.

set partition We can see this in set. If elements are equivalent to some elements and not to others then this partitions the set.

We need to generalise this concept from sets to any category. So we need to externalise the diagram so we have arrows between whole objects.

equivalence and subobjects As a first step (but still in sets at this stage) we factor set 'A' through set 'B'.
Here I have externalised the diagram so that it is general to any category. The 'dimond' on the head of the arrow indicates that it is monic (never maps distinct objects to the same object). equivalence external

Symmetric

This diagram shows that equivalence is symmetric.

equivalence symmetric

Transative

This diagram shows that equivalence is transative.

equivalence transitive

Reflexive

This diagram shows that equivalence is reflexive.

equivalence reflective

Equivalence and Natural Transformations

This raises some questions:

One way to define an isomorphism between two morphisms might be to have two natural transformations going each way between them. We will call these natural transformations α and β. That is raise the definitions up a layer. equivalence
and again for the other isomorphism. This time with natural transformations γ and δ. equivalence

This gives 4 equalities:

So we start with 1 equivalence, this is defined by 2 isomorphisms, these are defined by 4 equalities.

Equivalence

Better explanation of equivalence on this site.

Example Sets

Sets are don't have duplicate elements, so two different enlements of the same set can't be equal to each other. However we can add an equivalence relation to a set.

equivalence

Here we have a set with 4 elements: A,B,C and D. Suppose we have the following equivalences:

  • A~B
  • C~D
equivalent set This is a bit like sets within a set, but where the outside set can 'see' the inside elements.
equivalent set There is also a more categorical approach to this. We could look at the external properties rather than the internal properties. We could construct a morphism to the equivalence classes.
equivalent set We can't construct an inverse to the above morphism (So there is not an isomorphism between these two sets). However we can map back to a set of equivalent values.

The above argument is not quite correct because an equivalence should map back to somewhere isomorphic to the starting point, not equivalent, so its not a proof of the categorical definition of equivalence.

Example Groups

Imagine a group whose structure we will show as a permutation. We will permute 4 elements with two possible permutations (one shown in blue and one in red like this) like this: equivalence
The category 'C' essentially represents the same group as 'D' (that is Z2) so, from the point of view of category theory they are equivalent. That is they have the same behavior. However they are not isomorphic because they have a different number of elements.
The mapping 'F' of the elements from C to D is many (2) to one so when defining the inverse mapping 'G' we have to choose what elements we map back to like this: equivalence

So the round trip GF gives us a copy of C in D.

Equivalence As a Division

If we take function composition as being like multiplication, then the inverse function is like division, and this example does seem to divide C up into parts that are copies of each other.


metadata block
see also:

Adjunctions from Morphisms

Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

 

Terminology and Notation

Specific to this page here:

 

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2017 Martin John Baker - All rights reserved - privacy policy.