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-9 z 9
    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ł:
    ChR: Dynamic Functional Constraints Checking in R
    Autorzy:
    Grzanek, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/108643.pdf
    Data publikacji:
    2017
    Wydawca:
    Społeczna Akademia Nauk w Łodzi
    Tematy:
    formal software verification
    software quality
    dynamic type-checking
    functional programming
    category theory
    R
    Opis:
    Dynamic typing of R programming language may issue some quality problems in large scale data-science and machine-learning projects for which the language is used. Following our efforts on providing gradual typing library for Clojure we come with a package chR - a library that offers functionality of run-time type-related checks in R. The solution is not only a dynamic type checker, it also helps to systematize thinking about types in the language, at the same time offering high expressivenes and full adherence to functional programming style.
    Źródło:
    Journal of Applied Computer Science Methods; 2017, 9 No. 1; 65-78
    1689-9636
    Pojawia się w:
    Journal of Applied Computer Science Methods
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Low-Cost Dynamic Constraint Checking for the JVM
    Autorzy:
    Grzanek, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/108744.pdf
    Data publikacji:
    2016
    Wydawca:
    Społeczna Akademia Nauk w Łodzi
    Tematy:
    formal software verification
    software quality
    dynamic type-checking
    functional programming
    category theory
    Clojure
    Opis:
    Using formal methods for software verification slowly becomes a standard in the industry. Overall it is a good idea to integrate as many checks as possible with the programming language. This is a major cause of the apparent success of strong typing in software, either performed on the compile time or dynamically, on runtime. Unfortunately, only some of the properties of software may be expressed in the type system of event the most sophisticated programming languages. Many of them must be performed dynamically. This paper presents a flexible library for the dynamically typed, functional programming language running in the JVM environment. This library offers its users a close to zero run-time overhead and strong mathematical background in category theory.
    Źródło:
    Journal of Applied Computer Science Methods; 2016, 8 No. 2; 115-136
    1689-9636
    Pojawia się w:
    Journal of Applied Computer Science Methods
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Apofatyzm filozoficzny a Michała Hellera idea matematyczności przyrody
    Philosophical Apophatism and Michał Heller’s Idea of Mathematicity of the Universe
    Autorzy:
    Grygiel, Wojciech P.
    Powiązania:
    https://bibliotekanauki.pl/articles/2097321.pdf
    Data publikacji:
    2022-06-30
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    ontologia
    teoria kategorii
    apofatyzm
    matematyczność przyrody
    strukturalizm
    ontology
    category theory
    apophatism
    mathematicity of the Universe
    structuralism
    Opis:
    Wychodząc od usystematyzowania hellerowskiej tezy o matematyczności przyrody, niniejsze studium poświęcone głównie będzie pokazaniu i krytycznej ocenie racji, wedle których Heller desygnuje teorię kategorii jako matematyczne środowisko szczególnie predestynowane dla wyartykułowania tej tezy. Kluczowe w tym kontekście będzie wskazanie, co uprawnia go do wprowadzenia mającej istotne ontologiczne znaczenie koncepcji pola kategorii i utożsamienia go z polem racjonalności. Ostatecznie stanie się możliwe lepsze zrozumienie, w jakim sensie w kontekście sformalizowanych teorii fizycznych Heller operuje pojęciem apofatyzmu filozoficznego, który wydaje się trafnie ujmować specyfikę jego poglądów na ontologiczne zobowiązania tych teorii i gdzie być może zbliża się on do niebezpiecznych myślowych pułapek. W swojej apofatycznej postawie Heller pozostaje blisko pierwszoplanowych postaci współczesnej fizyki i noblistów, Alberta Einsteina czy Rogera Penrose’a: fizyka nie mówi o tym, jaka rzeczywistość jest, ale pozwala stanąć na drodze do rzeczywistości.
    Starting with the systematization of Michael Heller’s thesis of the mathematicity of the Universe, the inquiry carried out in this article will be devoted to the presentation and the critical analysis of why the category theory can be designated as the most suitable mathematical environment to articulate this thesis. The key task will be to show what motivates Heller to introduce an ontologically pregnant concept of the field of categories and to equate it with the field of rationality. Finally, it will become more transparent in what sense Heller utilizes the concept of the philosophical apophatism in the context of the formalized physical theories. Heller shares his apophatic attitude with such prominent figures of the theoretical physics as Albert Einstein and Roger Penrose: physics does not say what reality is but it places a physicist on the road to reality.
    Źródło:
    Roczniki Filozoficzne; 2022, 70, 2; 227-245
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    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-9 z 9

      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