A recalculation of set theory underlying Categories.

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

proposition

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

u

⁢

r

-

s

⁢

e

⁢

t

⁢

s

(a

collection

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

preimage

of the ur-sets as

𝐓

-

𝟏

⁢

(

𝐱

)

and

𝐅

-

𝟏

⁢

(

𝐱

)

and call them sets.

Definition

.

Set

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.

Definition

.

Axiom of Extenionality

Two sets are equal if and only it they are compiled of the same data.

1

1

I 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

satisfaction

, 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

∈

relation

, 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 theory

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

Generated on Thu Feb 8 19:44:31 2018 by

LaTeXML