A recalculation of set theory underlying Categories.

oorahb120206 February 8, 2018Continuum of Mathematics

1 Sets and Propositions

We will assume the simple tool of a arrow, and the intuition that our mind can associate one object of our imagination with a imagined slight; surely this is not to much of a stretch upon which to build a theory. A propositionPlanetmathPlanetmathPlanetmath P is a statement, a propositional function P(𝐱) is a statement equipped with a variable 𝐱 allowed to vary over a domain of definition (a intuitive notion of those objects we wish to prove in contrast to our proposition.) of our choice. A arrow is a association of a object 𝐚 (called the source of the arrow) with a logic value 𝐓,𝐅,(called the target of the arrow) such that T is true and F is false. For a object 𝐚 of the domain of definition we call 𝐏(𝐚) the image of 𝐚 under P, and write 𝐏(𝐚)=𝐓 or 𝐏(𝐚)=𝐅. The satisfactory data that is generated by the propositional function is called the Range of P. The Range is partitioned into two ur-sets (a collectionMathworldPlanetmath of logical values with respect to some proposition). We denote the two ur-sets as T(x) the collection of all truth values, and F(x) as the collection of all false values. We denote the preimageMathworldPlanetmath of the ur-sets as 𝐓-𝟏(𝐱) and 𝐅-𝟏(𝐱) and call them sets.


Let S be a set, P be a proposition, and a an object, then it follows,


this is read as, the set S equals the collection of those a such that P(a)=T We call the set F-1(x) the relative complement of S denoted ¬S, such that


In particular ¬𝐒=𝐅-𝟏(𝐱). Let U denote the domain of definition, then we write P: U 𝐓,𝐅. This brings us to our first axiom.


Axiom of Extenionality
Two sets are equal if and only it they are compiled of the same data. 11I refrain from using the word contain since this in my mind suggest that the elements of a set are allocated to a specific space, and this is not the definition that I wish to portray. A set is a symbol denoting a satisfactionMathworldPlanetmath, that is the objects satisfying some proposition, even though the objects may be scattered through our space.

If we allow the variable in the propositional function to vary over sets then the ur-set 𝐓-𝟏(𝐱) is called a Class. And from this we may derive all the tools we need to accomplish what is called mathematics using the objects in Category Theory. There is the matter of the relationMathworldPlanetmath, to use this notation as a suggestive argument that the object 𝐚 is associated with a truth logic value, is not a improper abuse of notation I would suppose. So if we wrote 𝐚𝐒 to suggest that 𝐏(𝐚)=𝐓 this too is not a improper abuse of notation I would suppose.

Title A recalculation of set theoryMathworldPlanetmath underlying Categories.
Canonical name ARecalculationOfSetTheoryUnderlyingCategories
Date of creation 2013-11-04 21:38:12
Last modified on 2013-11-04 21:38:12
Owner joseph120206 (1000115)
Last modified by joseph120206 (1000115)
Numerical id 1
Author joseph120206 (1000115)
Entry type Definition