Kategorická logika
Kategorická logika je odvětví matematiky, v němž jsou nástroje a koncepty z teorie kategorií aplikovány na studium matematické logiky. Je pozoruhodná svými vazbami na teoretickou informatiku. V širším smyslu představuje kategorická logika syntaxi i sémantiku kategorií a interpretaci pomocí funktorů. Kategorická logika poskytuje bohaté koncepční pozadí pro konstrukce v logice a teorii typů. Obor je rozpoznatelný v tomto rámci přibližně od roku 1970.
Odkazy
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.