Re: "injective" terminology

Timothy Porter wrote:

I always thought that ind-object in the work of Grothendieck and the SGA seminars was short for inductive object.

The "ind-" in "ind-object" does stand for "inductive", which is dual to "projective" for the "pro-" in "pro-object", but an ind-object is not the same thing as an injective object (and also a pro-object is not the same thing as a projective object). http://ncatlab.org/nlab/show/ind-object http://ncatlab.org/nlab/show/injective+object http://ncatlab.org/nlab/show/pro-object http://ncatlab.org/nlab/show/projective+object --Toby [For admin and other information see: http://www.mta.ca/~cat-dist/ ]