\xymatrix{
	\k \ar[d]^{i_n} \ar[r] & X \ar[d]^p \\
	T(n) \ar[r]^g & Y
}
