mi sto rendendo conto che la mia intuizione su cosa sia o meno concreto è scarsa..
Benvenuto c'è chi ha dovuto scrivere un paper apposta per capirla meglio.
Per Freyd-Mitchell, mi rendo conto di aver fatto un discorso poco coeso. Volevo dire una cosa del tipo: trovami una categoria abeliana che non sia una categoria di moduli, che non ne sia una localizzazione, che non sia $\alpha$-accessibile per un certo cardinale, che non sia concreta e che sia localmente piccola. Auguri. studiare cose così patologiche e trovare dei teoremi che funzionano per embeddare una generica categoria piccola in una categoria di moduli su un anello sono dei fatti utili in teoria delle categorie, dove si studia la classe delle categorie abeliane nella sua totalità, e non una sua porzione ristretta.