Uso e sviluppo di concetti categoriali nell'informatica teorica