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 theory" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 22
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ł
Tytuł:
KATEGORIA SŁOWOTWÓRCZA W STRUKTURALIZMIE I W JĘZYKOZNAWSTWIE KOGNITYWNYM (NA PRZYKŁADZIE KATEGORII NOMINA ATTRIBUTIVA I NOMINA INSTRUMENTI)
Derivational Category in Structural and Cognitive Linguistics (Illustrated by the Example of nomina attributiva and nomina instrumenti)
Autorzy:
Kuligowska, Katarzyna
Powiązania:
https://bibliotekanauki.pl/articles/444752.pdf
Data publikacji:
2014-06-01
Wydawca:
Uniwersytet Warmińsko-Mazurski w Olsztynie
Tematy:
derivational category
classical categorization theory prototype category
nomina attributiva
nomina instrumenti
Opis:
The aim of the article is to present the notion “derivation category” in the light of structural and cognitive linguistics. The mentioned question is described on the basis of the example of Polish and Russian categories: nomina attributiva and nomina instrumenti. The author also touches upon the question of classical categorization theory and the concept of prototype categories which has significantly influenced the way of perception of the question under discussion.
Źródło:
Acta Neophilologica; 2014, XVI/1; 65-75
1509-1619
Pojawia się w:
Acta Neophilologica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Adjointness between theories and strict theories
Autorzy:
Vogel, Hans-Jürgen
Powiązania:
https://bibliotekanauki.pl/articles/728926.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
symmetric monoidal category
dhts-category
partial theory
adjoint functor
Opis:
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols.
If the object class of a dhts-category forms even a monoid with unit element I and zero element O, then one has a strict partial theory.
In this paper is shown that every J-sorted partial theory corresponds in a natural manner to a J-sorted strict partial theory via a strongly d-monoidal functor. Moreover, there is a pair of adjoint functors between the category of all J-sorted theories and the category of all corresponding J-sorted strict theories.
This investigation needs an axiomatic characterization of the fundamental properties of the category Par of all partial function between arbitrary sets and this characterization leads to the concept of dhts- and dhth∇s-categories, respectively (see [5], [11], [13]).
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2003, 23, 2; 163-212
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fonem jako prototyp i kategoria radialna. Koncepcja kognitywna
Phoneme as a prototype and radial category. Cognitive conception
Autorzy:
Pluta-Wojciechowska, Danuta
Powiązania:
https://bibliotekanauki.pl/articles/667628.pdf
Data publikacji:
2014-01-01
Wydawca:
Wydawnictwo Uniwersytetu Śląskiego
Tematy:
phoneme
prototype theory of prototypes
radial category
cognitive conception
Opis:
The subject matter of the study is the presentation of questions which are connected with the notion of the phoneme. The authoress intention was to approach the reader not only with the meaning of this notion but to show how differently it can be understood and what role it plays regarding the usage of a language. The effect of presented considerations is the presentation of own capture of a phoneme with the help of chosen principles of cognitive linguistics, particularly the theory of prototypes.
Źródło:
Logopedia Silesiana; 2014, Logopedia Silesiana nr 3; 50-67
2300-5246
2391-4297
Pojawia się w:
Logopedia Silesiana
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A categorical model of predicate linear logic
Autorzy:
Demeterová, E.
Mihályi, D.
Novitzká, V.
Powiązania:
https://bibliotekanauki.pl/articles/122570.pdf
Data publikacji:
2015
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:
linear type theory
predicate linear logic
symmetric monoidal closed category
Opis:
Linear logic is one of the logical systems with special properties suitable for describing real processes used in computer science. It enables one to specify dynamics, non determinism, consecutive processes and important resources as memory and time on syntactic level. Moreover, its deduction system enables one to verify specified properties. Constructing an appropriate model based on categories can serve for modeling various program systems in the wide spectrum of computer science. Mainly, propositional linear logic is used for these purposes. The expression power of linear logic significantly grows by extending propositional logic with predicates and quantifiers. Our paper concerns itself with defining predicate linear logic together with its deduction system and our main aim is to construct a categorical model of predicate linear logic as a symmetric monoidal closed category.
Źródło:
Journal of Applied Mathematics and Computational Mechanics; 2015, 14, 1; 27-42
2299-9965
Pojawia się w:
Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Categories of functors between categories with partial morphisms
Autorzy:
Vogel, Hans-Jürgen
Powiązania:
https://bibliotekanauki.pl/articles/729097.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
symmetric monoidal category
dhts-category
Hoehnke category
Hoehnke theory
monoidal functor
d-monoidal functor
dht-symmetric functor
functor composition
cartesian product
Opis:
It is well-known that the composition of two functors between categories yields a functor again, whenever it exists. The same is true for functors which preserve in a certain sense the structure of symmetric monoidal categories. Considering small symmetric monoidal categories with an additional structure as objects and the structure preserving functors between them as morphisms one obtains different kinds of functor categories, which are even dt-symmetric categories.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 39-87
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ein polonistischer Sprach-, Stil- und Kulturforscher für den Adressaten aus dem deutschsprachigen Raum. Was kann man am Werk von Stanisław Gajda entdecken?
The profile of the Polish language, style and culture academic researcher as it should be presented to a German-speaking recipient. What can we discover in Professor Stanisław Gajda’s academic output?
Autorzy:
Bilut-Homplewicz, Zofia
Powiązania:
https://bibliotekanauki.pl/articles/615458.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Opolski
Tematy:
discourse
prestige as a category of discourse
style as a humanistic category of discourse
theory of style
Opis:
Cross-disciplinary transfer of knowledge appears to be one of the vital processes and an important task to undertake. This article shows that the transfer in the field of broadly understood stylistics, textology and language communication in the light of Polish studies does exist within the boundaries of the Slavic cultural circle. This has been happening thanks to, among others, initiatives by Professor Stanis³aw Gajda, one of the prominent figures of the Polish language and literature science. The first part outlines professor Gajda’s academic profile, focusing on the most prominent output and forms of academic activities, the second part, consequently introduces the Professor’s selected ideas and thoughts, with comments and interpreta- tions intended specifically for the German-speaking audience. Three works, covering complex academic problems, have been given special attention as representatives of the Author’s research: Presti¿ a jêzyk [Prestige and Language] (2010), Styl jako humanis- tyczna struktura tekstu [Style as the Humanistic Structure of a Text] (1983) and Teoria stylu i stylistyka [The Style Theory and Stylistics] (2013). In all these works the thoughts expressed by the Author are truly inspiring: he takes into account apparently distant approaches and leads the reader to find for them a common goal, through integrating different areas. The first dissertation deals with the complex understanding of discourse in the Polish language studies, connects the notion of prestige functioning in various academic disciplines with the theory of discourse and presents it in a multi-faceted manner, inspiring discussions about other discourse categories. The most prominent notion of the second work cited above, that is “style as a humanistic structure of a text” has already earned the status of canonical in stylistics. The Author claims that the notion of humanistic structure with reference to any text remains valid, and consequently, the style is an unalienable feature of a text, then the humanistic structure of a text is a natural result of this reasoning. This implication seems obvious, though professor Gajda’s approach seems influential in terms of various context of style research. In the third work the Author stresses that the main objective of the theory of style as an academic discipline is to create a comprehensive idea of a style, encompassing references to various traditions and directions of study.
Źródło:
Stylistyka; 2016, 25; 91-107
1230-2287
2545-1669
Pojawia się w:
Stylistyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 22

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