F-kömür cürufu

Gelen matematik ve daha özel olarak Kategori teorisi , bir -coalgebra bir göre tanımlanan bir yapıdır funktor . -Coalgebra kavramı, bilgisayar bilimlerinde , özellikle de tembel değerlendirme , akışlar gibi sonsuz veri yapıları veya geçiş sistemleri için uygulamalara sahiptir . F{\ displaystyle F} F{\ displaystyle F}F{\ displaystyle F}

-Coalgèbres ikili biçimidir F-cebir (tr) . F{\ displaystyle F} 

Tanım

Biz diyoruz -coalgebra bir de endofunctorF{\ displaystyle F}

F:VS⟶VS{\ displaystyle F: {\ mathcal {C}} \ longrightarrow {\ mathcal {C}}}

herhangi bir nesne arasında bir olan - morfizmalarAT{\ displaystyle A}VS{\ displaystyle {\ mathcal {C}}}VS{\ displaystyle {\ mathcal {C}}}

α:AT⟶FAT{\ displaystyle \ alpha: A \ longrightarrow FA}.

Homomorfizmalar ait -coalgebras morfizimler vardır F{\ displaystyle F}

f:AT⟶B{\ displaystyle f: A \ longrightarrow B}

içinde öyle ki: VS{\ displaystyle {\ mathcal {C}}}

Ff∘α=β∘f{\ displaystyle Ff \ circ \ alpha = \ beta \ circ f}.

Bir functor ile ilişkili bir -kömürgebir bir kategori oluşturur. F{\ displaystyle F}F{\ displaystyle F}

Örnekler

Başvurular

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">