Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "category" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    Filozoficznie prowokująca teoria kategorii
    A philosophically provoking category theory
    Autorzy:
    Heller, Michał
    Powiązania:
    https://bibliotekanauki.pl/articles/691046.pdf
    Data publikacji:
    2018
    Wydawca:
    Copernicus Center Press
    Tematy:
    category theory
    philosophy
    Opis:
    Recenzja książki: Elaine Landry (red.), Categories for the Working Philosopher, Oxford University Press, Oxford, 2017, ss. xiv+471.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2018, 65
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    “Is logic a physical variable?” Introduction to the Special Issue
    Autorzy:
    Eckstein, Michał
    Skowron, Bartłomiej
    Powiązania:
    https://bibliotekanauki.pl/articles/1047603.pdf
    Data publikacji:
    2020-12-30
    Wydawca:
    Copernicus Center Press
    Tematy:
    category theory
    physics
    logic
    Opis:
    “Is logic a physical variable?” This thought-provoking question was put forward by Michael Heller during the public lecture “Category Theory and Mathematical Structures of the Universe” delivered on 30th March 2017 at the National Quantum Information Center in Sopot. It touches upon the intimate relationship between the foundations of physics, mathematics and philosophy. To address this question one needs a conceptual framework, which is on the one hand rigorous and, on the other hand capacious enough to grasp the diversity of modern theoretical physics. Category theory is here a natural choice. It is not only an independent, well-developed and very advanced mathematical theory, but also a holistic, process-oriented way of thinking.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2020, 69; 7-13
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Category Theory in the hands of physicists, mathematicians, and philosophers
    Autorzy:
    Stopa, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/1047610.pdf
    Data publikacji:
    2020-12-29
    Wydawca:
    Copernicus Center Press
    Tematy:
    category theory
    physics
    mathematics
    philosophy
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2020, 69; 283-293
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A critical analysis of the philosophical motivations and development of the concept of the field of rationality as a representation of the fundamental ontology of the physical reality
    Autorzy:
    Grygiel, Wojciech
    Powiązania:
    https://bibliotekanauki.pl/articles/2140673.pdf
    Data publikacji:
    2022-11-08
    Wydawca:
    Copernicus Center Press
    Tematy:
    ontology
    mathematics
    platonism
    category theory
    Roger Penrose
    Alfred North Whitehead
    Opis:
    The unusual applicability of mathematics to the description of the physical reality still remains a major investigative task for philosophers, physicists, mathematicians and cognitive scientists. The presented article offers a critical analysis of the philosophical motivations and development of a major attempt to resolve this task put forward by two prominent Polish philosophers: Józef Życiński and Michał Heller. In order to explain this particular property of mathematics Życiński has first introduced the concept of the field of rationality together with the field of potentiality to be followed by Heller’s formal field and the field of categories. It turns out that these concepts are fully intelligible once located within philosophical stances on the relations between mathematics and physical reality. It will be argued that in order to achieve more extended conceptual clarification of the precise meaning of the field of rationality, further advancements in the understanding of the nature of the human mind are required.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2022, 72; 87-108
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    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-6 z 6

      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