Le direzioni della ricerca logica in Italia: teoria delle categorie e logica categoriale