Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: topos theory

Sortuj według:

Ogranicz wyniki do:

Teoria kategorii i niektóre jej logiczne aspekty

100%

Stopa M.

nr 64

7-58

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.

On the validity of the definition of a complement-classifier

84%

Stopa M.

Zagadnienia Filozoficzne w Nauce

2020

nr 69

111-128

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).

Nad twórczością polityczną Stanisława Orzechowskiego

67%

Waltoś M.

Rocznik Przemyski

2014

tom 50

nr 2: Literatura i Język

177-183

This article is a report from the academic conference “Stanisław Orzechowski – political writer. On his 500th birth anniversary” which took place on 17 and 18 October 2013 in Przemyśl, Żurawica and Orzechowce. The aim of that conference initiated by the TPN (Society of the Friends of Learning) in Przemyśl, was to honor the 500th birth anniversary of Stanisław Orzechowski, a former canon of Przemyśl, Renaissance humanist, author of political writings, originator of philosophical concepts. The conference participants were academics from universities and colleges from Kraków, Lublin, Łódź, Przemyśl, Rzeszów and Warsaw and the proceedings were of interdisciplinary nature, which created an opportunity for concrete analysis and confrontation with the cultural and literary legacy of Stanisław Orzechowski. The basic plenary part of the conference involved the papers by eight speakers and contributions of the debate’s participants.