theorem Th28: :: YELLOW20:28

for A, B being category
for C being non empty subcategory of A
for F being FunctorStr over A,B
for a being Object of A
for c being Object of C st c = a holds
(F | C) . c = F . a