Что значит — может оказаться?
Категория ориентированных графов — это топос
предпучков множеств на категории, состоящей
из двух объектов и двух параллельных стрелок между ними.

(Reply to this) (Parent)