- The way to determine the primary constructor for a
given discourse type is to determine the ``default'' constructor for that
type, i.e., the constructor that is assumed to hold when in fact there is no
explicit marking in the text. For narrative, if one sentence follows another,
it is assumed that they are connected by a SEQUENCE
constructor; this is called the narrative presupposition in discourse
- See [7, 6] for relatively gentle introductions to some
basic ideas in category theory, including the use of colimits, and in
particular pushouts, for combining things.
- Here ``order'' refers to the possibility of a coherent
understanding, rather than priorities on morphisms.
19 October 1996
Revised 5 February 2000