21 May
2010
21 May
'10
4:35 p.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/ ]