Maths - Category Theory - Adjunctions in Set

I am looking for the simplest example of an adjunction that I can find so lets try to find an adjunction in sets. I haven't seen such an example in the literature so it may be that this is impossible.

As with other examples here, these diagrams look inside the objects and morphisms, this is not really a category theory approach but is intended to help intuition when relating to other approaches.

Lets take a surjective mapping from the set C to the set D: set adjunction diagram

We can't reverse the surjective mapping exactly so what's the nearest we can get?

One possibility is, where multiple arrows come from different elements, is just to choose one element for the reverse mapping. However having to make an arbitary choise of elements dosent seem a ver category theory approach.

So here I have mapped back to a set of sets, where the inner sets are equivilance classes of all the elements that map to each element in D.

See fibre bundle on page here.

set adjunction diagram
Here I have tried to draw the natural transformations at each end. diagram


metadata block
see also:


Adjunctions from Morphisms

Other Pages on this site

  • Category of graphs described on page here.
  • Implementing Graphs in FriCas program is discussed on page here.
  • Implementing Posets in FriCas program is discussed on page here.
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.

flag flag flag flag flag flag Conceptual Mathematics - This is a book about category theory that does not assume an extensive knowledge over a wide area of mathematics. The style of the book is a bit quirky though.


Terminology and Notation

Specific to this page here:


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

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