 5. There are a bijective

Set

-morphism

f

:

Base

(

A

)

Base

(

B

)

such that

h

f

i|

up

A

is a function

onto up

B

.

6. There are a bijective

Set

-morphism

f

:

Base

(

A

)

Base

(

B

)

such that

B

=

h↑

f

iA

.

7. There are a bijective morphism

f

Mor

GreFunc

2

(

A

;

B

)

.

Proposition 27. GreFunc

1

and

GreFunc

2

with function composition are categories.

Proof.

Let

f

:

A → B

and

g

:

B → C

are morphisms of

GreFunc

1

. Then

B ⊆ h↑

f

iA

and

C ⊆ h↑

g

iB

.

So

h↑

(

g

f

)

iA

=

h↑

g

ih↑

f

iA ⊇ h↑

g

iB ⊇ C

. Thus

g

f

is a morphism of

GreFunc

1

. Associativity

law is evident. Id

Base

(

A

)

is the identity morphism of

GreFunc

1

for every f.o.

A

.

Let

f

:

A → B

and

g

:

B → C

are morphisms of

GreFunc

2

. Then

B

=

h↑

f

iA

and

C

=

h↑

g

iB

. So

h↑

(

g

f

)

iA

=

h↑

g

ih↑

f

iA

=

h↑

g

iB

=

C

. Thus

g

f

is a morphism of

GreFunc

2

. Associativity law

is evident. Id

Base

(

A

)

is the identity morphism of

GreFunc

2

for every f.o.

A

.

Corollary 28.

6

1

and

6

2

are preorders.

Theorem 29. FuncBij

is a groupoid.

Proof.

First let’s prove it is a category. Let

f

:

A → B

and

g

:

B → C

are morphisms of

FuncBij

.

Then

f

:

Base

(

A

)

Base

(

B

)

and

g

:

Base

(

A

)

Base

(

C

)

are bijections and

B

=

h↑

f

iA

and

C

=

h↑

g

iB

.

Thus

g

f

:

Base

(

A

)

Base

(

C

)

is a bijection and

C

=

h↑

(

g

f

)

iA

. Thus

g

f

is a morphism of

FuncBij

. Id

Base

(

A

)

is the identity morphism of

FuncBij

for every f.o.

A

. Thus it is a category.

It remains to prove only that every morphism

f

Mor

FuncBij

(

A

;

B

)

has a reverse (for every f.o.

A

,

B

). We have

f

is a bijection Base

(

A

)

Base

(

B

)

such that for every

C

P

Base

(

A

)

h

f

i

C

up

B ⇔

C

up

A

.

Then

f

1

:

Base

(

B

)

Base

(

A

)

is a bijection such that for every

C

P

Base

(

A

)

h

f

1

i

C

up

A ⇔

C

up

B

.

Thus

f

1

Mor

FuncBij

(

B

;

A

)

.

Corollary 30.

Being directly isomorphic is an equivalence relation.

Obvious 31.

For the case of ultrafilters being directly isomorphic is the same as being Rudin-

Keisler equivalent.

Definition 32.

A f.o.

A

is

isomorphic

to a f.o.

B

iff there exist sets

A

up

A

and

B

up

B

such

that

A ÷

A

is directly isomorphic to

B ÷

B

.

Obvious 33.

Equivalent f.o. are isomorphic.

Theorem 34.

Being isomorphic (for filter objects) is an equivalence relation.

Proof.

Reflexivity.

Because every f.o. is directly isomorphic to itself.

Symmetry.

If f.o.

A

is isomorphic to

B

then there exist sets

A

up

A

and

B

up

B

such that

A ÷

A

is directly isomorphic to

B ÷

B

and thus

B ÷

B

is directly isomorphic to

A ÷

A

, So

B

is isomorphic to

A

.

Transitivity.

Let

A

is isomorphic to

B

and

B

is isomorphic to

C

. Then exist

A

up

A

,

B

1

up

B

,

B

2

up

B

,

C

up

C

such that there are bijections

f

:

A

B

1

and

g

B

2

C

such

that

X

P

A

: (

X

up

B ⇔ h

f

1

i

X

up

A

)

and

X

P

B

2

: (

X

up

A ⇔ h

f

i

X

up

B

)

.

Also

X

P

B

2

: (

X

up

B ⇔ h

g

i

X

up

C

)

.

So

g

f

is a bijection from

h

f

1

i

(

B

1

B

2

)

up

A

to

h

g

i

(

B

1

B

2

)

up

C

such that

X

up

A ⇔ h

f

i

X

up

B ⇔ h

g

ih

f

i

X

up

C ⇔ h

g

f

i

X

up

C

.

Ordering of filters

5