He estado presentó a la categoría de teoría. I comprender las definiciones básicas, y estoy tratando de conseguir algo de intuición sobre cómo las categorías de la garrapata. Me pregunto: ¿existe una categoría $C$ tal forma que:
- Sus objetos son los números enteros, los números enteros positivos, o los números enteros no negativos (yo estoy muy bien con cualquiera de estos)
- Su categoría de la teoría de producto es el mismo que el habitual del producto
- Su subproducto es el mismo que el de costumbre, además?
Intuitivamente, creo que la respuesta es sí, pero no puedo venir para arriba con una construcción.
