Exponential Objects

In the first part of this article we formalize the concepts of terminal and initial object, categorical product [4] and natural transformation within a free-object category [1]. In particular, we show that this definition of natural transformation is equivalent to the standard definition [13]. Then we introduce the exponential object using its universal property and we show the isomorphism between the exponential object of categories and the functor category [12].Via del Pero 102, 54038 Montignoso, ItalyJiri Adamek, Horst Herrlich, and George E. Strecker. Abstract and Concrete Categories: The Joy of Cats. Dover Publication, New York, 2009.Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377–382, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91–96, 1990.Francis Borceaux. Handbook of Categorical Algebra I. Basic Category Theory, volume 50 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1994.Czesław Byliński. Introduction to categories and functors. Formalized Mathematics, 1 (2):409–420, 1990.Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1): 55–65, 1990.Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153–164, 1990.Czesław Byliński. Partial functions. Formalized Mathematics, 1(2):357–367, 1990.Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47–53, 1990.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165–167, 1990.Krzysztof Hryniewiecki. Graphs. Formalized Mathematics, 2(3):365–370, 1991.F. William Lawvere. Functorial semantics of algebraic theories and some algebraic problems in the context of functorial semantics of algebraic theories. Reprints in Theory and Applications of Categories, 5:1–121, 2004.Saunders Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer Verlag, New York, Heidelberg, Berlin, 1971.Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147–152, 1990.Marco Riccardi. Object-free definition of categories. Formalized Mathematics, 21(3): 193–205, 2013. doi:10.2478/forma-2013-0021. [Crossref]Marco Riccardi. Categorical pullbacks. Formalized Mathematics, 23(1):1–14, 2015. doi:10.2478/forma-2015-0001. [Crossref]Andrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25–34, 1990.Andrzej Trybulec. Isomorphisms of categories. Formalized Mathematics, 2(5):629–634, 1991.Andrzej Trybulec. Natural transformations. Discrete categories. Formalized Mathematics, 2(4):467–474, 1991.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67–71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73–83, 1990.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181–186, 1990

Finite Product of Semiring of Sets

AbstractWe formalize that the image of a semiring of sets [17] by an injective function is a semiring of sets.We offer a non-trivial example of a semiring of sets in a topological space [21]. Finally, we show that the finite product of a semiring of sets is also a semiring of sets [21] and that the finite product of a classical semiring of sets [8] is a classical semiring of sets. In this case, we use here the notation from the book of Aliprantis and Border [1].Rue de la Brasserie 5 7100 La Louvière, BelgiumCharalambos D. Aliprantis and Kim C. Border. Infinite dimensional analysis. Springer- Verlag, Berlin, Heidelberg, 2006.Grzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.Grzegorz Bancerek. König’s theorem. Formalized Mathematics, 1(3):589-593, 1990.Grzegorz Bancerek. Tarski’s classes and ranks. Formalized Mathematics, 1(3):563-567, 1990.Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Vladimir Igorevich Bogachev and Maria Aparecida Soares Ruas. Measure theory, volume 1. Springer, 2007.Czesław Bylinski. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Roland Coghetto. Semiring of sets. Formalized Mathematics, 22(1):79-84, 2014. doi:10.2478/forma-2014-0008. [Crossref]Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Noboru Endou, Kazuhisa Nakasho, and Yasunari Shidama. σ-ring and σ-algebra of sets. Formalized Mathematics, 23(1):51-57, 2015. doi:10.2478/forma-2015-0004. [Crossref]D.F. Goguadze. About the notion of semiring of sets. Mathematical Notes, 74:346-351, 2003. ISSN 0001-4346. doi:10.1023/A:1026102701631. [Crossref]Zbigniew Karno. On discrete and almost discrete topological spaces. Formalized Mathematics, 3(2):305-310, 1992.Beata Padlewska. Families of sets. Formalized Mathematics, 1(1):147-152, 1990.Beata Padlewska and Agata Darmochwał. Topological spaces and continuous functions. Formalized Mathematics, 1(1):223-230, 1990.Jean Schmets. Théorie de la mesure. Notes de cours, Université de Liège, 146 pages, 2004.Andrzej Trybulec. Enumerated sets. Formalized Mathematics, 1(1):25-34, 1990.Andrzej Trybulec and Agata Darmochwał. Boolean domains. Formalized Mathematics, 1 (1):187-190, 1990.Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990

Direct numerical simulation of turbulence on a Connection Machine CM-5

In this paper we report on our first experiences with direct numerical simulation of turbulent flow on a 16-node Connection Machine CM-5. The CM-5 has been programmed at a global level using data parallel Fortran. A two-dimensional direct simulation, where the pressure is solved using a Conjugate Gradient method without preconditioning, runs at 23% of the peak. Due to higher communication costs, 3D simulations run at 13% of the peak. A diagonalwise re-ordered Incomplete Choleski Conjugate Gradient method cannot compete with a standard CG-method on the CM-5.

Stability of real parametric polynomial discrete dynamical systems

We extend and improve the existing characterization of the dynamics of general quadratic real polynomial maps with coefficients that depend on a single parameter $\lambda$, and generalize this characterization to cubic real polynomial maps, in a consistent theory that is further generalized to real $m$-th degree real polynomial maps. In essence, we give conditions for the stability of the fixed points of any real polynomial map with real fixed points. In order to do this, we have introduced the concept of Canonical Polynomial Maps which are topologically conjugate to any polynomial map of the same degree with real fixed points. The stability of the fixed points of canonical polynomial maps has been found to depend solely on a special function termed Product Position Function for a given fixed point. The values of this product position determine the stability of the fixed point in question, when it bifurcates, and even when chaos arises, as it passes through what we have termed stability bands. The exact boundary values of these stability bands are yet to be calculated for regions of type greater than one for polynomials of degree higher than three.Comment: 23 pages, 4 figures, now published in Discrete Dynamics in Nature and Societ