10 Dec
2002
10 Dec
'02
6:34 a.m.
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 11-Dec-2002 19:20:36 -0400,4997;000000000001-00000000