Categoria - linguagem computacional