Good Functors... are Those Preserving Philosophy

  • Gilles Bernot
  • Published 1987 in Category Theory and Computer Science


The aim of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis functor when dealing with so-called loose semantics in a hierarchical approach. All our results and counter-examples are very simple, nevertheless they shed light on many common… (More)
DOI: 10.1007/3-540-18508-9_26


  • Presentations referencing similar topics