Categorical Methods in Computer Science

A categorical concept of constraints for algebraic specifications.- The integration of logical and algebraic types.- Colimits as parameterized data types.- Empty carriers: The categorical burden on logic.- Monads, matrices and generalized dynamic algebra.- Foundations are rich institutions, but institutions are poor foundations.- Development of algebraic specifications with constraints.- Revised ACT ONE: Categorical constructions for an algebraic specification language.- Objects, object types, and object identification.- Categories for the development of algebraic module specifications.- Parameterized data type and process specifications using projection algebras.- Parameterized algebraic domain equations.- Semantical constructions for categories of behavioural specifications.- Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing.- On declarations.- Cauchy sequences in quasi-uniform spaces: Categorical aspects.- The construct PRO of projection spaces: its internal structure.- Categories and mathematical morphology.- Topological spaces for cpos.- On the topological structures of nets.- Description of the topological universe hull.- On residuated approximations.- On convergence of filters and ultrafilters to subsets.