Рисунок 1 - Пример применения логического типа «Boolean»:

а — морфизмы, поступающие на вход некоторого алгоритма; б — «вычислимые функции», состоящие из, например, нулей и единиц, или ответов «да» и «нет», или значений морфизмов «false» и «true»; в — пример объекта с композицией морфизмов как на а); г — аналогичный объект, который может иметь ту же композицию морфизмов