Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "categorical logic" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Teoria kategorii i niektóre jej logiczne aspekty
Category theory and some of its logical aspects
Autorzy:
Stopa, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/690940.pdf
Data publikacji:
2018
Wydawca:
Copernicus Center Press
Tematy:
category theory
topos theory
categorical logic
propositional logic
intuitionistic logic
non-classical logic
Opis:
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.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2018, 64; 7-58
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the validity of the definition of a complement-classifier
Autorzy:
Stopa, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/1047622.pdf
Data publikacji:
2020-12-29
Wydawca:
Copernicus Center Press
Tematy:
category theory
topos theory
categorical logic
Heyting algebras
co-Heyting algebras
intuitionistic logic
dual to intuitionistic logic
complement-classifier
Opis:
It is well-established that topos theory is inherently connected with intuitionistic logic. In recent times several works appeared concerning so-called complement-toposes (co-toposes), which are allegedly connected to the dual to intuitionistic logic. In this paper I present this new notion, some of the motivations for it, and some of its consequences. Then, I argue that, assuming equivalence of certain two definitions of a topos, the concept of a complement-classifier (and thus of a co-topos as well) is, at least in general and within the conceptual framework of category theory, not appropriately defined. For this purpose, I first analyze the standard notion of a subobject classifier, show its connection with the representability of the functor Sub via the Yoneda lemma, recall some other properties of the internal structure of a topos and, based on these, I critically comment on the notion of a complement-classifier (and thus of a co-topos as well).
Źródło:
Zagadnienia Filozoficzne w Nauce; 2020, 69; 111-128
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies