[L4] ================================================ AMAST Links 02 07

          Update to (and correction of) Complexity Doctrines

  *Update* of information in [AL0206L8].

   The full version of this information is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207L4.txt

  James Otto has made available an update and correction of his thesis
Complexity Doctrines via a _note_ at URL: 
ftp://triples.math.mcgill.ca/pub/otto/otto.html

  The note
 1. points out an (annoying) error (of ours) in background material on
    G"odel's system T, and thus poses a question,
 2. improves the definition of tier 0,
 3. improves the definition (and name) of sketches theories,
 4. reduces presheaves to (Makkai) sketches, and
 5. proposes a definition of resolutions.