Хорошо обозначенная категория

В теории категорий категория с конечным объектом $1$ является точным , если для каждой пары стрелок $f,g:A\to B$ такой, что $f\neq g$ , есть стрелка $p:1\to A$ такой, что $f\circ p\neq g\circ p$ . (Стрелки $p$ называются глобальными элементами или точками категории; Таким образом, четко обозначенная категория — это категория, у которой «достаточно точек», чтобы различать неравные стрелки.)