双対的に、始対象は空図式∅→''C''の余極限であり余積あるいは圏論的和と考えることができる.
∅→''C''