منابع مشابه
Categorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملConstructive Topology and Combinatorics
We present a method to extract constructive proofs from classical arguments proved by topogical means. Typically, this method will apply to the nonconstructive use of compact-ness in combinatorics, often in the form of the use of KK onig's lemma (which says that a nitely branching tree that is innnite has an innnite branch.) The method consists roughly of working with the corresponding point-fr...
متن کاملTopology via Constructive Logic
By working constructively in the sense of geometric logic, topology can be hidden. This applies also to toposes as generalized topological spaces.
متن کاملConstructive algebraic integration theory
For a long time people have been trying to develop probability theory starting from ‘finite’ events rather than collections of infinite events. In this way one can find natural replacements for measurable sets and integrable functions, but measurable functions seemed to be more difficult. We present a solution. Moreover, our results are constructive (in the sense of Bishop).
متن کاملAlgebraic Topology
This manuscript will be published as Chapter 5 in Wiley’s textbook Mathematical Tools for Physicists, 2nd edition, edited by Michael Grinfeld from the University of Strathclyde. The chapter provides an introduction to the basic concepts of Algebraic Topology with an emphasis on motivation from applications in the physical sciences. It finishes with a brief review of computational work in algebr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin des Sciences Mathématiques
سال: 2002
ISSN: 0007-4497
DOI: 10.1016/s0007-4497(02)01119-3