scholarly journals Categorical Nonstandard Analysis

Symmetry ◽  
2021 ◽  
Vol 13 (9) ◽  
pp. 1573
Author(s):  
Hayato Saigo ◽  
Juzo Nohmi
Keyword(s):  
Set Theory ◽  
Category Theory ◽  
Degrees Of Freedom ◽  
Natural Transformation ◽  
Nonstandard Analysis ◽  
Axiomatic Approach ◽  
General Notion ◽  
Spatial Structures ◽  
Internal Set ◽  
Cartesian Closed

In the present paper, we propose a new axiomatic approach to nonstandard analysis and its application to the general theory of spatial structures in terms of category theory. Our framework is based on the idea of internal set theory, while we make use of an endofunctor U on a topos of sets S together with a natural transformation υ, instead of the terms as “standard”, “internal”, or “external”. Moreover, we propose a general notion of a space called U-space, and the category USpace whose objects are U-spaces and morphisms are functions called U-spatial morphisms. The category USpace, which is shown to be Cartesian closed, gives a unified viewpoint toward topological and coarse geometric structure. It will also be useful to further study symmetries/asymmetries of the systems with infinite degrees of freedom, such as quantum fields.

scholarly journals Applications of Non-Standard analysis in Topoi to Mathematical Neurosciences and Artificial Intelligence: Infons, Energons, Receptons (I)

Mathematics ◽  
2021 ◽  
Vol 9 (17) ◽  
pp. 2048
Author(s):  
Ileana Ruxandra Badea ◽  
Carmen Elena Mocanu ◽  
Florin F. Nichita ◽  
Ovidiu Păsărescu
Keyword(s):  
Mathematical Modeling ◽  
Artificial Intelligence ◽  
Mathematical Model ◽  
Set Theory ◽  
Standard Analysis ◽  
New Methods ◽  
Internal Set ◽  
Human Thinking ◽  
Global Brain ◽  
Non Standard Analysis

The purpose of this paper is to promote new methods in mathematical modeling inspired by neuroscience—that is consciousness and subconsciousness—with an eye toward artificial intelligence as parts of the global brain. As a mathematical model, we propose topoi and their non-standard enlargements as models, due to the fact that their logic corresponds well to human thinking. For this reason, we built non-standard analysis in a special class of topoi; before now, this existed only in the topos of sets (A. Robinson). Then, we arrive at the pseudo-particles from the title and to a new axiomatics denoted by Intuitionistic Internal Set Theory (IIST); a class of models for it is provided, namely, non-standard enlargements of the previous topoi. We also consider the genetic–epigenetic interplay with a mathematical introduction consisting of a study of the Yang–Baxter equations with new mathematical results.

scholarly journals A Category Theoretic Approach to Metaphor Comprehension: Theory of Indeterminate Natural Transformation

2020 ◽  
Author(s):  
Miho Fuyama ◽  
Hayato Saigo ◽  
Tatsuji Takahashi
Keyword(s):  
Category Theory ◽  
Natural Transformation ◽  
Mathematical Structure ◽  
Theoretic Approach ◽  
Metaphor Comprehension ◽  
Central Notion ◽  
Meaning Creation ◽  
Natural Transformations ◽  
Categories And Functors ◽  
The Relationship

We propose the theory of indeterminate natural transformation (TINT) to investigate the dynamical creation of meaning as an association relationship between images, focusing on metaphor comprehension as an example. TINT models meaning creation as a type of stochastic process based on mathematical structure and defined by association relationships, such as morphisms in category theory, to represent the indeterminate nature of structure-structure interactions between the systems of image meanings. Such interactions are formulated in terms of the so-called coslice categories and functors as structure-preserving correspondences between them. The relationship between such functors is “indeterminate natural transformation”, the central notion in TINT, which models the creation of meanings in a precise manner. For instance, metaphor comprehension is modeled by the construction of indeterminate natural transformations from a canonically defined functor, which we call the base-of-metaphor functor.

Categories: From Zero to Infinity

2016 ◽  
Vol 2 (1) ◽  
Author(s):  
Pierre Schapira
Keyword(s):  
Set Theory ◽  
Category Theory ◽  
And Topology

Set theory, category theory, and topology. Pierre Schapira explores the concept of identity within category theory, and what it means for the properties to be satisfied only up to homotopy.

Category theory, introduction to

2018 ◽  
Author(s):  
Colin McLarty
Keyword(s):  
Number Theory ◽  
Set Theory ◽  
Category Theory ◽  
Standard Set ◽  
Universe Of Sets ◽  
The Universe

A ‘category’, in the mathematical sense, is a universe of structures and transformations. Category theory treats such a universe simply in terms of the network of transformations. For example, categorical set theory deals with the universe of sets and functions without saying what is in any set, or what any function ‘does to’ anything in its domain; it only talks about the patterns of functions that occur between sets. This stress on patterns of functions originally served to clarify certain working techniques in topology. Grothendieck extended those techniques to number theory, in part by defining a kind of category which could itself represent a space. He called such a category a ‘topos’. It turned out that a topos could also be seen as a category rich enough to do all the usual constructions of set-theoretic mathematics, but that may get very different results from standard set theory.

Dedekind, Julius Wilhelm Richard (1831–1916)

2018 ◽  
Author(s):  
Howard Stein
Keyword(s):  
Nineteenth Century ◽  
Set Theory ◽  
Mathematical Knowledge ◽  
Mathematical Structure ◽  
Georg Cantor ◽  
General Notion ◽  
Algebraic Numbers ◽  
Integral Calculus ◽  
Foundational Work ◽  
First Time

Dedekind is known chiefly, among philosophers, for contributions to the foundations of the arithmetic of the real and the natural numbers. These made available for the first time a systematic and explicit way, starting from very general notions (which Dedekind himself regarded as belonging to logic), to ground the differential and integral calculus without appeal to geometric ‘intuition’. This work also forms a pioneering contribution to set theory (further advanced in Dedekind’s correspondence with Georg Cantor) and to the general notion of a ‘mathematical structure’. Dedekind’s foundational work had a close connection with his advancement of substantive mathematical knowledge, particularly in the theories of algebraic numbers and algebraic functions. His achievements in these fields make him one of the greatest mathematicians of the nineteenth century.

Certain predicates defined by induction schemata

1953 ◽  
Vol 18 (1) ◽  
pp. 49-59 ◽  
Author(s):  
Hao Wang
Keyword(s):  
Number Theory ◽  
Set Theory ◽  
Formal System ◽  
General Notion ◽  
Constant Number ◽  
Natural Numbers ◽  
System L ◽  
Truth Definition ◽  
Consistency Proofs ◽  
Special Case

It is known that we can introduce in number theory (for example, the system Z of Hilbert-Bernays) by induction schemata certain predicates of natural numbers which cannot be expressed explicitly within the framework of number theory. The question arises how we can define these predicates in some richer system, without employing induction schemata. In this paper a general notion of definability by induction (relative to number theory), which seems to apply to all the known predicates of this kind, is introduced; and it is proved that in a system L1 which forms an extension of number theory all predicates which are definable by induction (hereafter to be abbreviated d.i.) according to the definition are explicitly expressible.In order to define such predicates and prove theorems answering to their induction schemata, we have to allow certain impredicative classes in L1. However, if we want merely to prove that for each constant number the special case of the induction schema for a predicate d.i. is provable, we do not have to assume the existence of impredicative classes. A certain weaker system L2, in which only predicative classes of natural numbers are allowed, is sufficient for the purpose. It is noted that a truth definition for number theory can be obtained in L2. Consistency proofs for number theory do not seem to be formalizable in L2, although they can, it is observed, be formalized in L1.In general, given any ordinary formal system (say Zermelo set theory), it is possible to define by induction schemata, in the same manner as in number theory, certain predicates which are not explicitly definable in the system. Here again, by extending the system in an analogous fashion, these predicates become expressible in the resulting system. The crucial predicate instrumental to obtaining a truth definition for a given system is taken as an example.

Sign in / Sign up

Export Citation Format

Share Document