\xycompiled{thesis-23}{2000/10/15:31 [thesis:680]}{Xy-pic 3.7}% {\xymatrixnocompile { H[I_f] \ar @{^(->}[r]\ar @{^(->}[d] & H \ar @{->>}[r]\ar @{^(->}[d] & \alp (H)\ar [d]\ar @{^(->}[d]\\ \Hom _\C (S,\C )[I_f]\ar @{^(->}[r]\ar @{->>}[d] & \Hom _\C (S,\C )\ar @{->>}[r]\ar @{->>}[d] &\Hom _\C (S[I_f],\C )\ar @{->>}[d]\\ A_f^{\vee }(\C )\ar @{^(->}[r]\ar @/_2pc/_{\theta _A}[rr] & J(\C ) \ar @{->>}[r] & A_f(\C ) \\ }}\relax \xy@{\xymatrix }{\enter@ {\def \noexpand \xy@minX@@ {\xy@minX@@ }\def \noexpand \xy@maxX@@ {\xy@maxX@@ }\def \noexpand \xy@minY@@ {\xy@minY@@ }\def \noexpand \xy@maxY@@ {\xy@maxY@@ }\edef \noexpand \xymatrixprefix@@ {\codeof \xymatrixprefix@@ }}}% \xy@{}{\save@ \edef \matrixorigin@ {\X@c =\the \X@c \Y@c =\the \Y@c }\edef \xy@minX@@ {\the \X@c }\edef \xy@maxX@@ {\the \X@c }\edef \xy@minY@@ {\the \Y@c }\edef \xy@maxY@@ {\the \Y@c }}% \xy@{""}{\edef \xymatrixprefix@@ {}}% \xy@{}{\matrixorigin@ }% \xy@{}{\L@c =16.17697pt\R@c =16.17699pt\D@c =8.77597pt\U@c =8.77597pt\Edge@c ={\rectangleEdge }\idfromc@ {1,1}}% \xy@{}{\dimen@ =\X@c \advance \dimen@ -\L@c \ifdim \dimen@ <\xy@minX@@ \edef \xy@minX@@ {\the \dimen@ }\fi \dimen@ =\X@c \advance \dimen@ +\R@c \ifdim \dimen@ >\xy@maxX@@ \edef \xy@maxX@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ -\D@c \ifdim \dimen@ <\xy@minY@@ \edef \xy@minY@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ +\U@c \ifdim \dimen@ >\xy@maxY@@ \edef \xy@maxY@@ {\the \dimen@ }\fi }% \xy@{}{\dimen@ =9.65376pt\R@ =\xy@cotabs@@ \dimen@ \dimen@ =40.9838pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =9.65376pt\B@ =\xy@cotabs@@ \dimen@ \dimen@ =32.80275pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@cosabs@@ \dimen@ \advance \R@ \dimen@ \advance \X@c \xy@cossign@@ \R@ }% \xy@{}{\dimen@ =40.9838pt\R@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =32.80275pt\B@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@sinabs@@ \dimen@ \advance \R@ \dimen@ \advance \Y@c \xy@sinsign@@ \R@ }% \xy@{}{\L@c =7.99593pt\R@c =7.99593pt\D@c =6.74124pt\U@c =6.74124pt\Edge@c ={\rectangleEdge }\idfromc@ {1,2}}% \xy@{}{\dimen@ =\X@c \advance \dimen@ -\L@c \ifdim \dimen@ <\xy@minX@@ \edef \xy@minX@@ {\the \dimen@ }\fi \dimen@ =\X@c \advance \dimen@ +\R@c \ifdim \dimen@ >\xy@maxX@@ \edef \xy@maxX@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ -\D@c \ifdim \dimen@ <\xy@minY@@ \edef \xy@minY@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ +\U@c \ifdim \dimen@ >\xy@maxY@@ \edef \xy@maxY@@ {\the \dimen@ }\fi }% \xy@{}{\dimen@ =9.65376pt\R@ =\xy@cotabs@@ \dimen@ \dimen@ =32.80275pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =9.65376pt\B@ =\xy@cotabs@@ \dimen@ \dimen@ =41.28796pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@cosabs@@ \dimen@ \advance \R@ \dimen@ \advance \X@c \xy@cossign@@ \R@ }% \xy@{}{\dimen@ =32.80275pt\R@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =41.28796pt\B@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@sinabs@@ \dimen@ \advance \R@ \dimen@ \advance \Y@c \xy@sinsign@@ \R@ }% \xy@{}{\L@c =15.7769pt\R@c =15.7769pt\D@c =8.47499pt\U@c =8.47499pt\Edge@c ={\rectangleEdge }\idfromc@ {1,3}}% \xy@{}{\dimen@ =\X@c \advance \dimen@ -\L@c \ifdim \dimen@ <\xy@minX@@ \edef \xy@minX@@ {\the \dimen@ }\fi \dimen@ =\X@c \advance \dimen@ +\R@c \ifdim \dimen@ >\xy@maxX@@ \edef \xy@maxX@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ -\D@c \ifdim \dimen@ <\xy@minY@@ \edef \xy@minY@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ +\U@c \ifdim \dimen@ >\xy@maxY@@ \edef \xy@maxY@@ {\the \dimen@ }\fi }% \xy@{}{\cfromid@ {1,1}}% \xy@{}{\dimen@ =8.77597pt\R@ =\xy@tanabs@@ \dimen@ \dimen@ =41.28796pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =8.77597pt\B@ =\xy@tanabs@@ \dimen@ \dimen@ =41.28796pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixrowsep@ \dimen@ =\xy@sinabs@@ \dimen@ \advance \R@ \dimen@ \advance \X@c \xy@sinsign@@ \R@ }% \xy@{}{\dimen@ =41.28796pt\R@ =\xy@cotabs@@ \dimen@ \dimen@ =8.77597pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =41.28796pt\B@ =\xy@cotabs@@ \dimen@ \dimen@ =8.77597pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixrowsep@ \dimen@ =\xy@cosabs@@ \dimen@ \advance \R@ \dimen@ \advance \Y@c -\xy@cossign@@ \R@ }% \xy@{}{\L@c =40.9838pt\R@c =40.98381pt\D@c =8.77597pt\U@c =8.77597pt\Edge@c ={\rectangleEdge }\idfromc@ {2,1}}% \xy@{}{\dimen@ =\X@c \advance \dimen@ -\L@c \ifdim \dimen@ <\xy@minX@@ \edef \xy@minX@@ {\the \dimen@ }\fi \dimen@ =\X@c \advance \dimen@ +\R@c \ifdim \dimen@ >\xy@maxX@@ \edef \xy@maxX@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ -\D@c \ifdim \dimen@ <\xy@minY@@ \edef \xy@minY@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ +\U@c \ifdim \dimen@ >\xy@maxY@@ \edef \xy@maxY@@ {\the \dimen@ }\fi }% \xy@{}{\dimen@ =9.65376pt\R@ =\xy@cotabs@@ \dimen@ \dimen@ =40.9838pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =9.65376pt\B@ =\xy@cotabs@@ \dimen@ \dimen@ =32.80275pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@cosabs@@ \dimen@ \advance \R@ \dimen@ \advance \X@c \xy@cossign@@ \R@ }% \xy@{}{\dimen@ =40.9838pt\R@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =32.80275pt\B@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@sinabs@@ \dimen@ \advance \R@ \dimen@ \advance \Y@c \xy@sinsign@@ \R@ }% \xy@{}{\L@c =32.80275pt\R@c =32.80275pt\D@c =8.47499pt\U@c =8.47499pt\Edge@c ={\rectangleEdge }\idfromc@ {2,2}}% \xy@{}{\dimen@ =\X@c \advance \dimen@ -\L@c \ifdim \dimen@ <\xy@minX@@ \edef \xy@minX@@ {\the \dimen@ }\fi \dimen@ =\X@c \advance \dimen@ +\R@c \ifdim \dimen@ >\xy@maxX@@ \edef \xy@maxX@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ -\D@c \ifdim \dimen@ <\xy@minY@@ \edef \xy@minY@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ +\U@c \ifdim \dimen@ >\xy@maxY@@ \edef \xy@maxY@@ {\the \dimen@ }\fi }% \xy@{}{\dimen@ =9.65376pt\R@ =\xy@cotabs@@ \dimen@ \dimen@ =32.80275pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =9.65376pt\B@ =\xy@cotabs@@ \dimen@ \dimen@ =41.28796pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@cosabs@@ \dimen@ \advance \R@ \dimen@ \advance \X@c \xy@cossign@@ \R@ }% \xy@{}{\dimen@ =32.80275pt\R@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =41.28796pt\B@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@sinabs@@ \dimen@ \advance \R@ \dimen@ \advance \Y@c \xy@sinsign@@ \R@ }% \xy@{}{\L@c =41.28796pt\R@c =41.28798pt\D@c =8.77597pt\U@c =8.77597pt\Edge@c ={\rectangleEdge }\idfromc@ {2,3}}% \xy@{}{\dimen@ =\X@c \advance \dimen@ -\L@c \ifdim \dimen@ <\xy@minX@@ \edef \xy@minX@@ {\the \dimen@ }\fi \dimen@ =\X@c \advance \dimen@ +\R@c \ifdim \dimen@ >\xy@maxX@@ \edef \xy@maxX@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ -\D@c \ifdim \dimen@ <\xy@minY@@ \edef \xy@minY@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ +\U@c \ifdim \dimen@ >\xy@maxY@@ \edef \xy@maxY@@ {\the \dimen@ }\fi }% \xy@{}{\cfromid@ {2,1}}% \xy@{}{\dimen@ =8.77597pt\R@ =\xy@tanabs@@ \dimen@ \dimen@ =41.28796pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =9.65376pt\B@ =\xy@tanabs@@ \dimen@ \dimen@ =41.28796pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixrowsep@ \dimen@ =\xy@sinabs@@ \dimen@ \advance \R@ \dimen@ \advance \X@c \xy@sinsign@@ \R@ }% \xy@{}{\dimen@ =41.28796pt\R@ =\xy@cotabs@@ \dimen@ \dimen@ =8.77597pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =41.28796pt\B@ =\xy@cotabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixrowsep@ \dimen@ =\xy@cosabs@@ \dimen@ \advance \R@ \dimen@ \advance \Y@c -\xy@cossign@@ \R@ }% \xy@{}{\L@c =18.99524pt\R@c =18.99524pt\D@c =9.65376pt\U@c =9.65376pt\Edge@c ={\rectangleEdge }\idfromc@ {3,1}}% \xy@{}{\dimen@ =\X@c \advance \dimen@ -\L@c \ifdim \dimen@ <\xy@minX@@ \edef \xy@minX@@ {\the \dimen@ }\fi \dimen@ =\X@c \advance \dimen@ +\R@c \ifdim \dimen@ >\xy@maxX@@ \edef \xy@maxX@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ -\D@c \ifdim \dimen@ <\xy@minY@@ \edef \xy@minY@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ +\U@c \ifdim \dimen@ >\xy@maxY@@ \edef \xy@maxY@@ {\the \dimen@ }\fi }% \xy@{}{\dimen@ =9.65376pt\R@ =\xy@cotabs@@ \dimen@ \dimen@ =40.9838pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =9.65376pt\B@ =\xy@cotabs@@ \dimen@ \dimen@ =32.80275pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@cosabs@@ \dimen@ \advance \R@ \dimen@ \advance \X@c \xy@cossign@@ \R@ }% \xy@{}{\dimen@ =40.9838pt\R@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =32.80275pt\B@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@sinabs@@ \dimen@ \advance \R@ \dimen@ \advance \Y@c \xy@sinsign@@ \R@ }% \xy@{}{\L@c =15.36815pt\R@c =15.36816pt\D@c =8.47499pt\U@c =8.47499pt\Edge@c ={\rectangleEdge }\idfromc@ {3,2}}% \xy@{}{\dimen@ =\X@c \advance \dimen@ -\L@c \ifdim \dimen@ <\xy@minX@@ \edef \xy@minX@@ {\the \dimen@ }\fi \dimen@ =\X@c \advance \dimen@ +\R@c \ifdim \dimen@ >\xy@maxX@@ \edef \xy@maxX@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ -\D@c \ifdim \dimen@ <\xy@minY@@ \edef \xy@minY@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ +\U@c \ifdim \dimen@ >\xy@maxY@@ \edef \xy@maxY@@ {\the \dimen@ }\fi }% \xy@{}{\dimen@ =9.65376pt\R@ =\xy@cotabs@@ \dimen@ \dimen@ =32.80275pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =9.65376pt\B@ =\xy@cotabs@@ \dimen@ \dimen@ =41.28796pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@cosabs@@ \dimen@ \advance \R@ \dimen@ \advance \X@c \xy@cossign@@ \R@ }% \xy@{}{\dimen@ =32.80275pt\R@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \R@ >\dimen@ \R@ =\dimen@ \fi \dimen@ =41.28796pt\B@ =\xy@tanabs@@ \dimen@ \dimen@ =9.65376pt\relax \ifdim \B@ >\dimen@ \B@ =\dimen@ \fi \advance \R@ \B@ }% \xy@{}{\dimen@ =\xymatrixcolsep@ \dimen@ =\xy@sinabs@@ \dimen@ \advance \R@ \dimen@ \advance \Y@c \xy@sinsign@@ \R@ }% \xy@{}{\L@c =18.64452pt\R@c =18.64453pt\D@c =8.77597pt\U@c =8.77597pt\Edge@c ={\rectangleEdge }\idfromc@ {3,3}}% \xy@{}{\dimen@ =\X@c \advance \dimen@ -\L@c \ifdim \dimen@ <\xy@minX@@ \edef \xy@minX@@ {\the \dimen@ }\fi \dimen@ =\X@c \advance \dimen@ +\R@c \ifdim \dimen@ >\xy@maxX@@ \edef \xy@maxX@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ -\D@c \ifdim \dimen@ <\xy@minY@@ \edef \xy@minY@@ {\the \dimen@ }\fi \dimen@ =\Y@c \advance \dimen@ +\U@c \ifdim \dimen@ >\xy@maxY@@ \edef \xy@maxY@@ {\the \dimen@ }\fi }% \xy@{}{\ifx \xymatrixsavedCOORD@ \relax \enter@ {\noexpand \let \noexpand \COORD@ \noexpand \xymatrixsavedCOORD@ }\let \xymatrixsavedCOORD@ =\COORD@ \let \COORD@ =\xymatrixCOORD@ \else \enter@ {}\fi }% \xy@{ENTRY "1,1"}{\Row =1 \Col =1\relax \cfromid@ {1,1}\pfromc@ }% \xy@@ix@{{\entrybox }{H[I_f] \ar @{^(->}[r]\ar @{^(->}[d] }}\relax \xy@{}{\expandafter \dropentry@ \the \toks 9}% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir ^{(}}}{}% \xy@{~>{|>*h\dir {>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[r]}{\def \thematrixCOORD@@ {[r]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@1,2\endcsname \ifx \next@ \relax \xyerror@RC {1,2}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir ^}{(}}\relax \xy@{\drop !Ch\dir ^{(}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>}}\relax \xy@{\drop !Ch\dir {>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir ^{(}}}{}% \xy@{~>{|>*h\dir {>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[d]}{\def \thematrixCOORD@@ {[d]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@2,1\endcsname \ifx \next@ \relax \xyerror@RC {2,1}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir ^}{(}}\relax \xy@{\drop !Ch\dir ^{(}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>}}\relax \xy@{\drop !Ch\dir {>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{ENTRY "1,2"}{\Row =1 \Col =2\relax \cfromid@ {1,2}\pfromc@ }% \xy@@ix@{{\entrybox }{H \ar @{->>}[r]\ar @{^(->}[d] }}\relax \xy@{}{\expandafter \dropentry@ \the \toks 9}% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir {}}}{}% \xy@{~>{|>*h\dir {>>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[r]}{\def \thematrixCOORD@@ {[r]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@1,3\endcsname \ifx \next@ \relax \xyerror@RC {1,3}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{}}\relax \xy@{\drop !Ch\dir {}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>>}}\relax \xy@{\drop !Ch\dir {>>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir ^{(}}}{}% \xy@{~>{|>*h\dir {>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[d]}{\def \thematrixCOORD@@ {[d]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@2,2\endcsname \ifx \next@ \relax \xyerror@RC {2,2}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir ^}{(}}\relax \xy@{\drop !Ch\dir ^{(}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>}}\relax \xy@{\drop !Ch\dir {>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{ENTRY "1,3"}{\Row =1 \Col =3\relax \cfromid@ {1,3}\pfromc@ }% \xy@@ix@{{\entrybox }{\alpha (H)\ar [d]\ar @{^(->}[d]}}\relax \xy@{}{\expandafter \dropentry@ \the \toks 9}% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir {}}}{}% \xy@{~>{|>*h\dir {>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[d]}{\def \thematrixCOORD@@ {[d]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@2,3\endcsname \ifx \next@ \relax \xyerror@RC {2,3}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{}}\relax \xy@{\drop !Ch\dir {}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>}}\relax \xy@{\drop !Ch\dir {>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir ^{(}}}{}% \xy@{~>{|>*h\dir {>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[d]}{\def \thematrixCOORD@@ {[d]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@2,3\endcsname \ifx \next@ \relax \xyerror@RC {2,3}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir ^}{(}}\relax \xy@{\drop !Ch\dir ^{(}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>}}\relax \xy@{\drop !Ch\dir {>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{ENTRY "2,1"}{\Row =2 \Col =1\relax \cfromid@ {2,1}\pfromc@ }% \xy@@ix@{{\entrybox }{\protect \Hom _\C (S,\C )[I_f]\ar @{^(->}[r]\ar @{->>}[d] }}\relax \xy@{}{\expandafter \dropentry@ \the \toks 9}% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir ^{(}}}{}% \xy@{~>{|>*h\dir {>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[r]}{\def \thematrixCOORD@@ {[r]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@2,2\endcsname \ifx \next@ \relax \xyerror@RC {2,2}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir ^}{(}}\relax \xy@{\drop !Ch\dir ^{(}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>}}\relax \xy@{\drop !Ch\dir {>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir {}}}{}% \xy@{~>{|>*h\dir {>>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[d]}{\def \thematrixCOORD@@ {[d]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@3,1\endcsname \ifx \next@ \relax \xyerror@RC {3,1}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{}}\relax \xy@{\drop !Ch\dir {}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>>}}\relax \xy@{\drop !Ch\dir {>>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{ENTRY "2,2"}{\Row =2 \Col =2\relax \cfromid@ {2,2}\pfromc@ }% \xy@@ix@{{\entrybox }{\protect \Hom _\C (S,\C )\ar @{->>}[r]\ar @{->>}[d] }}\relax \xy@{}{\expandafter \dropentry@ \the \toks 9}% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir {}}}{}% \xy@{~>{|>*h\dir {>>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[r]}{\def \thematrixCOORD@@ {[r]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@2,3\endcsname \ifx \next@ \relax \xyerror@RC {2,3}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{}}\relax \xy@{\drop !Ch\dir {}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>>}}\relax \xy@{\drop !Ch\dir {>>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir {}}}{}% \xy@{~>{|>*h\dir {>>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[d]}{\def \thematrixCOORD@@ {[d]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@3,2\endcsname \ifx \next@ \relax \xyerror@RC {3,2}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{}}\relax \xy@{\drop !Ch\dir {}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>>}}\relax \xy@{\drop !Ch\dir {>>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{ENTRY "2,3"}{\Row =2 \Col =3\relax \cfromid@ {2,3}\pfromc@ }% \xy@@ix@{{\entrybox }{\protect \Hom _\C (S[I_f],\C )\ar @{->>}[d]}}\relax \xy@{}{\expandafter \dropentry@ \the \toks 9}% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir {}}}{}% \xy@{~>{|>*h\dir {>>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[d]}{\def \thematrixCOORD@@ {[d]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@3,3\endcsname \ifx \next@ \relax \xyerror@RC {3,3}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{}}\relax \xy@{\drop !Ch\dir {}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>>}}\relax \xy@{\drop !Ch\dir {>>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{ENTRY "3,1"}{\Row =3 \Col =1\relax \cfromid@ {3,1}\pfromc@ }% \xy@@ix@{{\entrybox }{A_f^{\vee }(\C )\ar @{^(->}[r]\ar @/_2pc/_{\theta _A}[rr] }}\relax \xy@{}{\expandafter \dropentry@ \the \toks 9}% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir ^{(}}}{}% \xy@{~>{|>*h\dir {>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[r]}{\def \thematrixCOORD@@ {[r]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@3,2\endcsname \ifx \next@ \relax \xyerror@RC {3,2}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir ^}{(}}\relax \xy@{\drop !Ch\dir ^{(}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>}}\relax \xy@{\drop !Ch\dir {>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\save @(,\xy@ {**{} ?+/_2pc/+/_2pc/ @+c}{\setupDirection@ \vfromslide@ {_2pc}\X@c =2\X@c \advance \X@c \X@p \advance \X@c .5\d@X \Y@c =2\Y@c \advance \Y@c \Y@p \advance \Y@c .5\d@Y \czeroEdge@ \spushc@ }\restore \preconnect \crvi {-}}}{}% \xy@{~/{\POS @i @) }}{}% \xy@{~<{|<*h\dir {}}}{}% \xy@{~>{|>*h\dir {>}}}{}% \xy@{~+{_{\theta _A}}}{}% \xy@{}{\pfromc@ }% \xy@{[rr]}{\def \thematrixCOORD@@ {[rr]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@3,3\endcsname \ifx \next@ \relax \xyerror@RC {3,3}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\save @(,\xy@ {**{} ?+/_2pc/+/_2pc/ @+c}{\setupDirection@ \vfromslide@ {_2pc}\X@c =2\X@c \advance \X@c \X@p \advance \X@c .5\d@X \Y@c =2\Y@c \advance \Y@c \Y@p \advance \Y@c .5\d@Y \czeroEdge@ \spushc@ }\restore \preconnect \crvi {-}}}{}% \xy@{\save }{\save@ }% \xy@{@(}{\senter@ }% \xy@{,}{\comma@@ }% \xy@{**{} ?+/_2pc/+/_2pc/ @+c}{\setupDirection@ \vfromslide@ {_2pc}\X@c =2\X@c \advance \X@c \X@p \advance \X@c .5\d@X \Y@c =2\Y@c \advance \Y@c \Y@p \advance \Y@c .5\d@Y \czeroEdge@ \spushc@ }% \xy@{\restore }{\leave@ }% \xy@@ix@{{\crvi }{-}}\relax \xy@{\connect \crvi {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{}}\relax \xy@{\drop !Ch\dir {}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{_}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@{}{\enter@ \DirectionfromtheDirection@ }% \xy@@ix@{\labelbox {\theta _A}}\relax \xy@{}{\setbox \z@ =\expandafter \object \the \toks 9 \advance \L@c \labelmargin@ \advance \R@c \labelmargin@ \advance \D@c \labelmargin@ \advance \U@c \labelmargin@ \setboxz@h {\kern \labelmargin@ \boxz@ \kern \labelmargin@ }\A@ =\X@c \B@ =\Y@c \aboveDirection@ \xydashl@ \the \Edge@c \thr@@ \advance \A@ -\X@c \advance \B@ -\Y@c \advance \X@c 2\A@ \advance \Y@c 2\B@ \ht \z@ =\U@c \dp \z@ =\D@c \dimen@ =\L@c \advance \dimen@ \R@c \wd \z@ =\dimen@ \setbox \lastobjectbox@ =\hbox {\X@c =\L@c \Y@c =\z@ \Drop@@ }\drop@ {\box \lastobjectbox@ }{}\leave@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>}}\relax \xy@{\drop !Ch\dir {>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{\POS @i @) }}{}% \xy@{@i}{\sinit@ }% \xy@{@)}{\sleave@ }% \xy@{\restore }{\leave@ }% \xy@{ENTRY "3,2"}{\Row =3 \Col =2\relax \cfromid@ {3,2}\pfromc@ }% \xy@@ix@{{\entrybox }{J(\C ) \ar @{->>}[r] }}\relax \xy@{}{\expandafter \dropentry@ \the \toks 9}% \xy@{\save }{\save@ }% \xy@{\afterPATH {\afterar@@ }}{\def \PATHslide@@ {\z@ }}% \xy@{~={\preconnect \dir {-}}}{}% \xy@{~/{}}{}% \xy@{~<{|<*h\dir {}}}{}% \xy@{~>{|>*h\dir {>>}}}{}% \xy@{~+{}}{}% \xy@{}{\pfromc@ }% \xy@{[r]}{\def \thematrixCOORD@@ {[r]}}% \xy@{}{\expandafter \let \expandafter \next@ \csname Q@3,3\endcsname \ifx \next@ \relax \xyerror@RC {3,3}\else \next@ \fi }% \xy@{}{\setupDirection@ \dimen@ =\PATHslide@@ \dimen@ii =-\sinDirection \dimen@ \ifPATHomitslide@@ \else \advance \X@p \dimen@ii \fi \advance \X@c \dimen@ii \dimen@ii = \cosDirection \dimen@ \ifPATHomitslide@@ \else \advance \Y@p \dimen@ii \fi \advance \Y@c \dimen@ii \PATHomitslide@@false \resetupDirection@ }% \xy@{PATHaction={\preconnect \dir {-}}}{}% \xy@@ix@{{\dir }{-}}\relax \xy@{\connect \dir {-}}{\expandafter \preconnect@ \the \toks 9 }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{<}{\def \PLACEf@ {{0}}\PLACEedgep@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{}}\relax \xy@{\drop !Ch\dir {}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{|}{}% \xy@{}{\enter@ {\pfromthep@ }\Creset@@ \def \PLACEf@ {{.5}}\let \PLACEedgep@@ =\PLACEedgep@ \let \PLACEedgec@@ =\PLACEedgec@ }% \xy@{>}{\def \PLACEf@ {{1}}\PLACEedgec@@ }% \xy@{}{\expandafter \Calong@@ \PLACEf@ \czeroEdge@ }% \xy@{}{\leave@ }% \xy@@ix@{{!Ch\dir }{>>}}\relax \xy@{\drop !Ch\dir {>>}}{\expandafter \drop@ \the \toks 9 }% \xy@{}{\Cbreak@@ }% \xy@{}{\Clast@@ }% \xy@{}{\setupDirection@ }% \xy@{PATHaction/{}}{}% \xy@{\restore }{\leave@ }% \xy@{ENTRY "3,3"}{\Row =3 \Col =3\relax \cfromid@ {3,3}\pfromc@ }% \xy@@ix@{{\entrybox }{A_f(\C ) }}\relax \xy@{}{\expandafter \dropentry@ \the \toks 9}% \xy@{}{\leave@ }% \xy@{}{}% \xy@{\restore }{\leave@ }% \xy@{}{\edef \nextii@ {{\xy@minX@@ }{\xy@maxX@@ }{\xy@minY@@ }{\xy@maxY@@ }}\expandafter \xymatrix@insert@ \nextii@ }% \xy@{}{\leave@ }% \xyendcompiled