Conceito em teoria de categorias.