моменту виникнення простого слідства - простим функціональним актом.
Залежно від того, наявність скількох простих умов необхідно для здійснення одного простого функціонального акту, наприклад, одного, двох або взагалі кінцевого (фінітного) числа простих умов, будемо називати простий функціональний акт унарним, бінарним або фінітарним.
У простому випадку функтор може бути примітивним, якщо під примітивністю розуміти здатність функтора виробляти єдиним чином один і той же простий наслідок при певних, повторюваних умовах. При цьому, залежно від числа простих умов, необхідних для здійснення простого функціонального акту, функтор може бути унарним, бінарним і взагалі фінітарним.
Якщо ж розглянути непрімітівний (для початку унарний) функтор, то його функціонування забезпечує зв'язок деяких (зокрема - будь-якого) з переліку простих умов з деяким цілком певним простим наслідком з переліку простих наслідків даного функтора, так що утворюється мережа, структура переходів від переліку простих умов до переліку простих наслідків. Саме ця мережа переходів має пряме відношення до математичного поняттю функції.
2. Підведення поняття функції системи під математичне поняття функції
Мабуть, якщо ми маємо на увазі унарний непрімітівний функціональний об'єкт (функтор), про який ми можемо сказати, що він В«функціонує нормальноВ», то в числі обов'язкових показників нормальності ми будемо мати на увазі і той факт, що функтор завжди В«Знає, що робитиВ», тобто при будь-якому простому умови він забезпечує появу єдиного, цілком визначеного для даної умови, слідства. У цьому випадку, оскільки забезпечення зв'язку кожного слідства з певною умовою - це функція В«нормальногоВ» примітивного функтора, унарний В«нормальнийВ» непрімітівний функтор являє собою особливе поєднання ряду примітивних: це сукупність переходів від елементарних умов до елементарних наслідків, утворює таку схему, таку структуру, при якій виключені випадки, коли деякого простому умові відповідає неєдиний простий наслідок (Хоча відсутність слідства не заборонено). p> Тепер легко переконатися, що така схема переходів від простих умов до простих наслідків Унарні непрімітівного функтора повністю відповідає математичному визначенню унарною функції як структури відображення елементів однієї множини - елементів області відправлення - на елементи іншого безлічі - елементи області прибуття, - при якому через структуру переходу з будь-якого елемента області відправлення можна потрапити не більше ніж в один елемент області прибуття (Або не потрапити взагалі, якщо даний елемент області відправлення не пов'язаний ні з одним елементом області прибуття) Визначення математичного поняття функції дивись, наприклад, в роботі
Грунтуючись на цьому паралелізм, ми можемо тепер зробити висновок, що перелік простих умов непрімітівного Унарні функтора відповідає переліку значень єдиною незалежної змінної (аргументу) функції в математиці...
