Yikes! is everything these days `twisted' some even refer to a simple regrading as a twist .oooO Jim Stasheff jds@math.unc.edu (UNC) Math-UNC (919)-962-9607 \ ( Chapel Hill NC FAX:(919)-962-2568 \*) 27599-3250 http://www.math.unc.edu/Faculty/jds On Tue, 10 Dec 2002, Fred E J Linton wrote:
The "twisted morphism category" arising from the category B is the category of "elements of" the set-valued hom-functor B^op x B ---> Sets of B . Its objects are the morphisms f: X ---> Y of B ; a map from f to g: X' ---> Y' is a pair of B-morphisms, x: X' ---> X , y: Y ---> Y' satisfying g = yfx . I certainly used that name in the mid or late '60s, in work I'm not able to cite you from here, sorry.
Cheers,
-- FEJ Linton
12-Dec-2002 17:36:34 -0400,1959;000000000001-00000000