theorem :: CAT_8:36

for C, D being initial category holds C ~= D