Стереотипний простір

Оскільки Ste — предабелева категорія, всякий морфізм ${\displaystyle \varphi :X\to Y}$ в ній має ядро, коядро, образ і кообраз. Ці об'єкти задовольняють наступним природним тотожностям:[1]

${\displaystyle ({\text{ker}}\varphi )^{\star }={\text{coker}}(\varphi ^{\star }),\qquad ({\text{coker}}\varphi )^{\star }={\text{ker}}(\varphi ^{\star }),}$

${\displaystyle ({\text{im}}\varphi )^{\star }={\text{coim}}(\varphi ^{\star }),\qquad ({\text{coim}}\varphi )^{\star }={\text{im}}(\varphi ^{\star }),}$

${\displaystyle ({\text{Ker}}\varphi )^{\perp \vartriangle }={\text{Im}}(\varphi ^{\star }),\qquad ({\text{Im}}\varphi )^{\perp \vartriangle }={\text{Ker}}(\varphi ^{\star }),}$

${\displaystyle {\text{Ker}}\varphi =({\text{Im}}(\varphi ^{\star }))^{\perp \vartriangle },\qquad {\text{Im}}\varphi =({\text{Ker}}(\varphi ^{\star }))^{\perp \vartriangle }.}$

Справедливі наступні природні тотожності:[1][3]

${\displaystyle {\Big (}\bigoplus _{i\in I}X_{i}{\Big )}^{\star }\cong \prod _{i\in I}X_{i}^{\star }}$

${\displaystyle {\Big (}\prod _{i\in I}X_{i}{\Big )}^{\star }\cong \bigoplus _{i\in I}X_{i}^{\star }}$

${\displaystyle Y\oslash {\Big (}\bigoplus _{i\in I}X_{i}{\Big )}\cong \prod _{i\in I}(Y\oslash X_{i})}$

${\displaystyle {\Big (}\prod _{j\in J}Y_{j}{\Big )}\oslash X\cong \prod _{j\in J}(Y_{j}\oslash X)}$

${\displaystyle {\Big (}\bigoplus _{i\in I}X_{i}{\Big )}\circledast {\Big (}\bigoplus _{j\in J}Y_{j}{\Big )}\cong \bigoplus _{i\in I,j\in J}(X_{i}\circledast Y_{j})}$

${\displaystyle {\Big (}\prod _{i\in I}X_{i}{\Big )}\odot {\Big (}\prod _{j\in J}Y_{j}{\Big )}\cong \prod _{i\in I,j\in J}(X_{i}\odot Y_{j})}$

${\displaystyle {\Big (}\lim _{i\to \infty }X_{i}{\Big )}^{\star }\cong \lim _{\infty \gets i}X_{i}^{\star }}$

${\displaystyle {\Big (}\lim _{\infty \gets i}X_{i}{\Big )}^{\star }\cong \lim _{i\to \infty }X_{i}^{\star }}$

${\displaystyle Y\oslash {\Big (}\lim _{i\to \infty }X_{i}{\Big )}\cong \lim _{\infty \gets i}(Y\oslash X_{i})}$

${\displaystyle {\Big (}\lim _{\infty \gets j}Y_{j}{\Big )}\oslash X\cong \lim _{\infty \gets j}(Y_{j}\oslash X)}$

${\displaystyle {\Big (}\lim _{i\to \infty }X_{i}{\Big )}\circledast {\Big (}\lim _{j\to \infty }Y_{j}{\Big )}\cong \lim _{i,j\to \infty }(X_{i}\circledast Y_{j})}$

${\displaystyle {\Big (}\lim _{\infty \gets i}X_{i}{\Big )}\odot {\Big (}\lim _{\infty \gets j}Y_{j}{\Big )}\cong \lim _{\infty \gets i,j}(X_{i}\odot Y_{j})}$

(тут ${\displaystyle \lim _{i\to \infty }}$ — пряма границя а ${\displaystyle \lim _{\infty \gets i}}$ — обернена границя в категорії Ste).

Якщо ${\displaystyle X}$ і ${\displaystyle Y}$ — стереотипні простори, то для будь-яких елементів ${\displaystyle x\in X}$ і ${\displaystyle y\in Y}$ формула

${\displaystyle (x\circledast y)(\varphi )=\varphi (y)(x),\qquad \varphi \in X^{\star }\oslash Y}$

визначає елементарний тензор ${\displaystyle x\circledast y\in X\circledast Y=(X^{\star }\oslash Y)^{\star }}$, а формула

${\displaystyle (x\odot y)(f)=f(x)\cdot y,\qquad f\in X^{\star }}$ — елементарний тензор ${\displaystyle x\odot y\in X\odot Y=Y\oslash X^{\star }}$

Теорема.[1] Для будь-яких стереотипних просторів ${\displaystyle X}$ і ${\displaystyle Y}$ існує єдине лінійне неперервне відображення ${\displaystyle \Gamma _{X,Y}:X\circledast Y\to X\odot Y}$, що переводить елементарні тензори ${\displaystyle x\circledast y}$ в елементарні тензори ${\displaystyle x\odot y}$:

${\displaystyle \Gamma _{X,Y}(x\circledast y)=x\odot y,\qquad x\in X,\ y\in Y.}$

Сімейство відображень ${\displaystyle \Gamma _{X,Y}:X\circledast Y\to X\odot Y}$ визначає природне перетворення біфунктора ${\displaystyle \circledast }$ в біфунктор ${\displaystyle \odot }$.

Відображення ${\displaystyle \Gamma _{X,Y}}$ називається перетворенням Гротендика.