Initial Object¶ Reference¶ Video Series: Category Theory wikipedia Backlinks¶ The Empty Category It is the initial object in Cat, the category of all small categories.