This document is available by FTP in various formats. It was converted to HTML using Hyperlatex 2.2.
Subsorted partial first-order logic with sort generation constraints (SubPCFOL), the institution that underlies CASL, is proved to have a cocomplete signature category. Moreover, the model functor is shown to preserve limits, that is, the amalgamation property holds.
The rest of this document has not yet been converted to Hypertext; please refer to the FTP directory indicated above for the full document.