Praporządek: Różnice pomiędzy wersjami

Przyporządkowanie <math>F</math> określmy także dla funkcji (tj. przypisując funkcji <math>f</math> między praporządkami odpowiadającą funkcję <math>g</math> między porządkami częściowymi). Wtedy <math>F</math> jest [[funktor (teoria kategorii)|funktorem]] z kategorii '''Pre''' praporządków w kategorię '''Pos''' posetów. Jest to funktor lewy sprzężony do funktora zapominania (włożenia) ''G'' : '''Pos''' → '''Pre'''.

 

 

== Zobacz też ==