Вряд ли категория ориентированных графов может оказаться топосом.

(Reply to this) (Thread)

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

(Reply to this) (Parent)