TransWikia.com

Right adjoint to the forgetful functor $text{Ob}$

Mathematics Asked by alf262 on November 29, 2021

Let $text{Ob}:textbf{Cat}rightarrowtextbf{Set}$ be the forgetful functor mapping a small category to its set of objects. Consider the functor $R:mathbf{Set}rightarrowtextbf{Cat}$ mapping a set $X$ to the category having $X$ as its set of objects and a single morphism between each pair of objects. I am trying to show that $R$ is right adjoint to $text{Ob}$.

For $x,yin X$, should the single morphism between $x$ and $y$ in $R(X)$ be unique? Or, can I use the same morphism for each pair of objects in $R(X)$?–Does it matter?

Edit:

Giving unique arrows would complicate the matter because I would have to specify the composition for each pair; whereas, in giving a constant morphism $*$, I can merely specify $*circ*:=*$. Right?

One Answer

All that matters is that the hom-set $R(X)(x, y)$ is a singleton for each $x, y in X$. Identities and composition are therefore trivial, because there's only a single choice. It doesn't matter exactly what the singleton sets are (e.g. whether they are equal or not). You should try to avoid thinking of sets up to equality, and instead consider them only up to isomorphism.

Answered by varkor on November 29, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP