Філософський енциклопедичний словник
А Б В Г Д Е Є Ж З І Й К [Л] М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я S
логіка категорна
ЛОГІКА КАТЕГОРНА - новий розділ математичної логіки, що базується на такій математичній дисципліні, як алгебраїчна теорія категорій, яка, поряд із теорією множин, застосовується як основа для розбудови усієї математики. Для конструювання Л.к. використовують спеціальні алгебраїчні категорії, які називаються топосами.
Ви можете поставити посилання на це слово:

матиме такий вигляд: логіка категорна


матиме такий вигляд: Що таке логіка категорна