In category theory, an abstract branch of mathematics, an initial object of a category C is an object "I" in C such that for every object "X" in C, there exists precisely one morphism "I" → "X".
В теории категорий начальный (отталкивающий) объект категории "C" — это её объект "I", такой что для любого объекта "X" в "C" существует единственный морфизм "I" → "X".