Ist da die Anforderung "Einbettung" nicht zu stark bzw. die Folgerung "T(C) ist eine volle Unterkategorie" nicht zu schwach? Wenn C eine Einbettung ist, ist doch C=T(C). Und ist T(C) nicht auch dann eine volle Unterkategorie, wenn T ein beliebiger voller Funktor ist? -- 20:00, 6. Mär. 2012 (CET)