22 May
2010
22 May
'10
2:35 a.m.
The term "projective limit" contrasts with "inductive limit", so I have sometimes felt like saying "inductive object". However, I've never actually done so; besides having no precedent, the term "inductive object" already has an established meaning: an inductive object is an initial algebra of a polynomial endofunctor. (Example: A natural-numbers object is an initial algebra of X + 1. The dual to this concept is unimaginatively called "coinductive".) This is used in logic and computer science. --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]