Kovariant funktorga misol. 1) fazoning n o‘lchovli fundamental gruppasi va X fazoning n o‘lchovli gomologiyasi ni olsak, bu va lar ham kovariant funktorlar bo‘ladi.
2) G gruppalar kategoriyasini olaylik. Har bir G gruppaga uning kommutanti bo‘yicha olingan faktor gruppasini mos qo‘yaylik. faktor gruppa, bizga ma’lumki, abel gruppasini tashkil
qiladi. Har bir gomeomorfizmga, f gomeomorfizm orqali vujudga kelgan, formula bilan aniqlangan gomeomorfizmni mos qo‘yaylik. Natijada, gruppalar kategoriyasi G ni abel gruppalar kategoriyasi AG ga akslantiruvchi kovariant funktorga ega bo’ldik. Ko‘p hollarda bu funktor kommutirlangan funktor deb yuritiladi.
Do'stlaringiz bilan baham: |