Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I try to learn the theory of category from The Joy of Cats. I got stacked with the first exercise (3A a).

If we have a simple graph with one vertex and 2 nodes all we know is that in category there is 2 objects and one homomorphism (beside identities). Hence:

\[C = (\{\{x, y\}, \{1, 2\}\}, \{f, id\}, id, \cdot), f = \{(x, 1), (y, 2)\}\]

and

\[C = (\{\{x\}, \{1\}, \{f, id\}, id, \cdot), f = \{(x, 1)\}\]

Should have the same graph but are they isomorphic?

Note about notation: I treat category as quadruple $(O, H, id, \cdot)$ where $O$ is class of objects (here is set), $H$ is class of homomorphisms (in example set). $id$ is identity and $\cdot$ is composition of homomorphisms.

share|improve this question
add comment

1 Answer 1

up vote 1 down vote accepted

It is a bit hard to understand your notation. If understand correctly, the isomorphism is realized by the functor $F$ which sends $\{x, y\}$ to $\{ x \}$ and $\{ 1, 2 \}$ to $\{ 1 \}$ (on objects) and send the unique non trivial morphism $f$ to $f$.

share|improve this answer
    
There should be { brackets, but they are lost in the formatting. On MO one can avoid that by using backticks (`) around formulas, but here it does not work. Any other workaround? –  Andrea Ferretti Aug 5 '10 at 15:55
    
Prefix the $\\{$ by two \\ - then you get a single bracket. –  Maciej Piechotka Aug 5 '10 at 16:04
    
As I understend you answer you mean that isomorphism is when there is 'bi-jective' functor $F$ from one category to another. –  Maciej Piechotka Aug 5 '10 at 16:07
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.