CoFI Semantics Note S-7 (Cocompleteness of the CASL signature category)

["Don Sannella" <dts@dcs.ed.ac.uk>]

The following CoFI semantics note (S-7) has been installed at
    http://www.brics.dk/Projects/CoFI/Notes/S-7/index.html
    ftp://ftp.brics.dk/Projects/CoFI/Notes/S-7/


Cocompleteness of the CASL signature category
by Till Mossakowski1 

Abstract: 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.