Objects and classes, coalgebraically. Manuscript, available from ftp.cwi.nl in /pub/bjacobs (1995)

by B Jacobs