Re: product functor, abstractly

On 1/21/12, Fred E.J. Linton <fejlinton@usa.net> wrote:

Does this help you at all? Cheers -- Fred

This is very helpful to improve my understanding, thank you. However the reply by Todd was the one I was longing for: On 1/21/12, Todd Trimble <trimble1@optonline.net> wrote:

The question makes better sense in the context of 2-categories with 2-products, where a right adjoint to a diagonal map, if one exists, can rightfully be called a "product". This gives what you are after when applied to the 2-category Cat. One also finds this sort of thing in the context of cartesian bicategories, for example.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]