Algebraically complete categories

• 1 January 1991
• book chapter
• Published by Springer Nature in Lecture Notes in Mathematics
• p. 95-104
• https://doi.org/10.1007/bfb0084215

Abstract

Keywords

• UNIQUE FIXED POINT
• PRODUCT THEOREM
• INVARIANT OBJECT
• INITIAL ALGEBRA
• DATA CONSTRUCTOR