Footnotes

  1. 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 analysis.

  2. 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.

  3. Here ``order'' refers to the possibility of a coherent understanding, rather than priorities on morphisms.



Joseph Goguen
19 October 1996
Revised 5 February 2000