Funktor: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m interpunkcja (zamiana cudzysłowów) i przypis(y) |
m lit. |
||
Linia 10:
Ze względu na kategorię semantyczną wyrażenia utworzonego za pomocą danego funktora, wyróżnia się '''[[funktor zdaniotwórczy|funktory zdaniotwórcze]]''' – tworzące zdania, '''funktory nazwotwórcze''' – tworzące nazwy, '''funktory funktorotwórcze''' – tworzące funktory.
Ze względu na liczbę argumentów, z którymi dany funktor tworzy nowe wyrażenie, wyróżnia się funktory '''jednoargumentowe''', '''
Ze względu na kategorię
Pełne scharakteryzowanie funktora wymaga więc podania kategorii wyrażenia tworzonej za pomocą tego funktora, jego ilości argumentów i kategorii tych argumentów. Przedstawia się ją według schematu "funktor x-twórczy od y argumentów z-owych" dla funktorów jednorodnych i "funktor x-twórczy dla y<sub>1</sub> argumentów z<sub>1</sub>-owych, y<sub>2</sub> argumentów z<sub>2</sub>-owych itd."
|