Die Fixpunkte der Adjunktion sind bekanntlich genau die endlichdimensionalen Vektorräume, diese bilden die volle Unterkategorie der endlichdimensionalen Vektorräume und man erhält, dass die Einschränkung von eine Äquivalenz vermittelt.