Conceptos centrales de la categoría: definición, objetos y morfismos