Text this: Estudio de semántica categórica para lenguajes Algol-Like