Funktor: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m disambigR -> inne znaczenia, Wikiprojekt:Sprzątanie metastron |
|||
Linia 1:
{ola{inne znaczenia|funktorów jako kategorii semantycznej|[[funktor (teoria kategorii)|Funktor w teorii kategorii]]}}
'''Funktor''' – w teorii [[kategoria semantyczna|kategorii semantycznych]] [[wyrażenie]], które nie jest [[nazwa|nazwą]] ani [[zdanie]]m, służące do konstrukcji wyrażeń bardziej złożonych – nazw, zdań lub bardziej złożonych funktorów. Wyrażenie, wraz z którym dany funktor tworzy wyrażenie bardziej złożone, to '''argument funktora'''.
| |||