catecories universal objects: topics in pure mathematics units 20 and 22 - "0, . " (uk : open university, 1973)