Закон сокращения для $T$-форм

Доказано, что закон сокращения выполняется для невырожденных $T$-форм на объектах категорий (даже если нельзя делить морфизмы на 2). Библ. – 2 назв.