Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I edited the old entry projection a little.
There is no real systematics in common use of “projection” as opposed to “projector”, but I think the following makes good sense:
a projection is a canonical map out of a product;
a projector is an idempotent in a suitably abelian category
and then the relation is: A projector is a projection followed by a subobject inclusion.
That’s how I have now put it in the entry.
Nice remark about projector vs. projection.
I find it often as projection, or even projective, operator rather than projector. For example one talks about projective measure, which is projective operator valued.
Indeed, in functional analysis they usually distinguish the self-adjoint case of projector from non-self adjoint of an idempotent. I think that the setup is not limited to abelian categories. For example, one uses the same terminology in Quillen exact categories, so I would at least say additive instead of abelian.
I already had projection operator as a wanted link at idempotent, and now I have made it wanted at projection too, and in both cases I said that it should be self-adjoint since that's how I learnt it. Probably the self-adjoint case should just be discussed in projector, but I'm not sure how to manage the terminology.
1 to 3 of 3