Teoria kategorii i niektóre jej logiczne aspekty

• Authors: Mariusz Stopa

Title variants

EN

Category theory and some of its logical aspects

• Languages of publication: PL

Abstracts

PL

This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies.

Keywords

PL

category theory; topos theory; categorical logic; propositional logic; intuitionistic logic; non-classical logic

• Publisher: Copernicus Center Press
• Journal: Zagadnienia Filozoficzne w Nauce
• Year: 2018
• Issue: 64
• Pages: 7-58

Dates

published

2018-07-10

Contributors

author

Mariusz Stopa