Konservativ funktsiya - Conservative functor

Yilda toifalar nazariyasi, filiali matematika, a konservativ funktsiya a funktsiya har qanday kishi uchun morfizm f yilda C, F(f) bo'lish izomorfizm shuni anglatadiki f izomorfizmdir.

Misollar

The unutuvchan funktsiyalar yilda algebra kabi Grp ga O'rnatish, konservativ hisoblanadi. Umuman olganda, har biri monadik funktsiya konservativ hisoblanadi.[1] Aksincha, unutuvchi funktsiya Yuqori ga O'rnatish konservativ emas, chunki har bir kishi emas doimiy biektsiya a gomeomorfizm.

Har bir sodiq funktsiya dan muvozanatli kategoriya konservativ hisoblanadi.[2]

Adabiyotlar

  1. ^ Riehl, Emily (2016). Kontekstdagi toifalar nazariyasi. Courier Dover nashrlari. ISBN  048680903X. Olingan 18 fevral 2017.
  2. ^ Grandis, Marko (2013). Gomologik algebra: Qattiq Abeliya bo'lmagan sharoitlarda. Jahon ilmiy. ISBN  9814425931. Olingan 14 yanvar 2017.

Tashqi havolalar