Give a possible intuitive interpretation of an
**NMY**-category.

Consider a directed graph. Suppose we are a traveler that has to move in this graph and that only has partial knowledge about the graph itself. We ask ourselves which nodes can be reached from our starting point, given our knowledge of the graph. In some cases the answer will be "Yes! I can go from to ." (cmp. ); in other cases, the answer will be "No! I can’t go from to ." (cmp. ); but, more commonly, the answer will just be "I don’t know know if I can go from to ." (cmp. ).

Logically, if we know that there exist a path and a path, there must exist a path. Suppose we know there exists a path and suppose we don’t know whether there is a path . Then, we can only conclude that there might be a path, but we are not sure. The answer to the question "Is there a path?" is "I don’t know." even if we know that no path exists and that there is no path either, as there might be a path that does not involve . I’ll leave it to the reader to speculate about the other possibilities.

The presence of such uncertainty can be rigorously modeled using a
**NMY**-category
: the objects of
will be the nodes of the graph and
will be the answer to the question "Is the a path that
links
to
?". The two axioms of **NMY**-categories will
have the following meaning:

implies that every node is connected to itself;

implies the logical deductions stated above (and the unstated ones, obviously).

The asymmetry of
is very interesting and is absolutely necessary to model
uncertainty. Knowing the relation between
and
, and between
and
can only give us positive information about the relation
between
and
, but it cannot be used to show that
and
are not connected. In other words, *absence of evidence
is not evidence of absence*.