Non-standard sequences

V. Zhuravlov

doi:10.30970/ms.63.1.14-20

V. Zhuravlov

DOI: https://doi.org/10.30970/ms.63.1.14-20

Keywords: monoid, term, category, isomorphic functor, non-standard theory

Abstract

The paper shows the existence of a previously unknown relationship between the theory of monoids and category theory. A non-standard mathematical method based on terms from non-standard (not always existing) sequences is proposed. In the article in particular are proved the following statement: Every category is a complete model of some monoid with an associative zero. Conversely, any such monoid completely models some category. Category theory is logically equivalent to the theory of monoids with an associative zero. Both are non-essential extensions of each other. (Theorem 1)

References

R. Goldblatt, Topoi. The categorial analysis of logic, North-Holland Publ. Comp., Amsterdam, New York, Oxford, 1979.

Haskell B. Curry, Foundations of Manthematical logic, McGraw-Hill Book Company inc., 1984.

H. Rasiowa, R. Sikorski, The Mathematics of Metamathematics, Panstwowe Wydawnictwo Naukowe Warszawa, 1963.

A. Robinson, Introduction to model theory and to the metamathematics of algebra, North-Holland Publ. comp., 1963.