* An arrow category formula_1 (whose objects are the morphisms of formula_2, and whose morphisms are commuting squares in formula_2) is just formula_4, where 2 is the category with two objects and their identity morphisms as well as an arrow from one object to the other (but not another arrow back the other way).
* Категория стрелок formula_1 (объекты — морфизмы "C", морфизмы — коммутативные квадраты) — это категория formula_2, где 2 обозначает категорию из двух объектов, тождественных морфизмов, а также одного морфизма из первого объекта во второй.