Simple category theory isomorphism

[farleyknight]

Hey all,

Okay, let me give this a wack. I want to show that $A \times 1$ is isomorphic to $A$. I'm aware that this is trivial, even for a category theory style. However, sticking to the defs and conventions is tricky if you aren't aware of the subtleties, which is why I'm posting this. So here goes:

Consider objects $A$ and $A \times 1$. From the object $A \times 1$ we have the arrows $\pi_1 : A \times 1 \to 1$ and $\pi_A : A \times 1 \to A$. Now we will also consider $A$ as a product in the following way: let $\rho_1 : A \to 1$ be the projection from A to 1, since this will always exists. Also, let $\rho_{A \times 1} : A \to A \times 1$ be the "projection" (really just a 'Cartesian inclusion'?) from A to $A \times 1$

To the expert: this last step I'm unsure about. It is obvious what it is from a set theory POV but from the category perspective it's not clear how the arrow might arise naturally (or legally).

The rest of the proof is pretty straight forward: Since we have two products $A$ and $A \times 1$ we can compose $\rho_{A \times 1} \circ \pi_A$, which is a round trip on $A \times 1$, so it must be the identity. Similarly for $\pi_A \circ \rho_{A \times 1}$ must be the identity on A. And since these maps are unique and in opposite directions, they must be inverses, so we have a bijection between the two.

Thanks,
- Farley

 

[matt grime]

You need to explain your hypotheses. What does x mean? Direct product - well that means you're not talking about a generic category? And what is 1? A category does not have an object that one calls '1' in general. Are you assuming an abelian category? Serre category? Grothendieck cateory?

 

[farleyknight]

Sorry about that.. I shouldn't have tried to post late at night.

Anyways, I'm just working with a vanilla category. However, as far as I've read, products are assumed, when they exist. And '1' is just a terminal object. So, instead, I would proceed:

Let $\mathcal{C}$ be a category with $1 \in Obj(\mathcal{C})$ a terminal object and both $A \times 1, A \in Obj(\mathcal({C}))$ as products in this category. (Can you do that?)

BTW this is proved on this guy's blog: http://unapologetic.wordpress.com/2007/06/27/categorification/ but he doesn't quite explain how f is both a projection and the unique map required by the product.. I thought I'd try a slightly different proof, hoping I didn't make a mistake.

 

[matt grime]

By the definition of direct product, there is a map A -> Ax1 as defined and it is unique (and it is not cartesian inclusion since there is no reason to suppose A and 1 are sets).