dobbiamo dire cos'è la categoria G? non basta quella di co-Kreisli? comunque c'è qualcosa che nonca con il discorso in generale..