 CHAPTER 10

Continuous morphisms

This chapter uses the apparatus from the section “Partially ordered dagger

categories”.

10.1. Traditional definitions of continuity

In this section we will show that having a funcoid or reloid

f

corresponding

to a function

f

we can express continuity of it by the formula

f

µ

v

ν

◦ ↑

f

(or

similar formulas) where

µ

and

ν

are some spaces.

10.1.1. Pretopology.

Let (

A

; cl

A

) and (

B

; cl

B

) be preclosure spaces. Then

by definition a function

f

:

A

B

is continuous iff

f

cl

A

(

X

)

cl

B

(

f X

) for every

X

P

A

. Let now

µ

and

ν

be endofuncoids corresponding correspondingly to cl

A

and cl

B

. Then the condition for continuity can be rewritten as

FCD

(Ob

µ

;Ob

ν

)

f

µ

v

ν

◦ ↑

FCD

(Ob

µ

;Ob

ν

)

f.

10.1.2. Proximity spaces.

Let

µ

and

ν

be proximity spaces (which I consider

a special case of endofuncoids). By definition a function

f

is a proximity-continuous

map (also called equicontinuous) from

µ

to

ν

iff

X, Y

P

(Ob

µ

) : (

X

[

µ

]

Y

⇒ h

f

i

X

[

ν

]

h

f

i

Y

)

.

Equivalently transforming this formula

FiXme

:

shortened comparing to

TEXmacs version.

we get

X, Y

P

(Ob

µ

) : (

X

[

µ

]

Y

⇒ h

f

i ↑

Ob

ν

X

[

ν

]

h

f

i ↑

Ob

ν

Y

);

X, Y

P

(Ob

µ

) : (

X

[

µ

]

Y

⇒↑

Ob

ν

X

h

(

FCD

(Ob

µ

;Ob

ν

)

f

)

1

ν

◦ ↑

FCD

(Ob

µ

;Ob

ν

)

i

f

Ob

ν

Y

);

X, Y

P

(Ob

µ

) : (

X

[

µ

]

Y

X

h

(

FCD

(Ob

µ

;Ob

ν

)

f

)

1

ν

◦ ↑

FCD

(Ob

µ

;Ob

ν

)

f

i

Y

);

µ

v

(

FCD

(Ob

µ

;Ob

ν

)

f

)

1

ν

◦ ↑

FCD

(Ob

µ

;Ob

ν

)

f.

So a function

f

is proximity continuous iff

µ

v

(

FCD

(Ob

µ

;Ob

ν

)

f

)

1

ν

◦ ↑

FCD

(Ob

µ

;Ob

ν

)

f

.

10.1.3. Uniform spaces.

Uniform spaces are a special case of endoreloids.

Let

µ

and

ν

be uniform spaces. By definition a function

f

is a uniformly

continuous map from

µ

to

ν

iff

ε

GR

ν

δ

GR

ν

(

x

;

y

)

δ

: (

f x

;

f y

)

ε.

Equivalently transforming this formula we get:

GR

ν

δ

GR

µ

(

x

;

y

)

δ

:

{

(

f x

;

f y

)

} ⊆

;

GR

ν

δ

GR

µ

(

x

;

y

)

δ

:

f

◦ {

(

x

;

y

)

} ◦

f

1

;

GR

ν

δ

GR

µ

:

f

δ

f

1

;

GR

ν

:

RLD

(Ob

µ

;Ob

ν

)

f

µ

(

RLD

(Ob

µ

;Ob

ν

)

f

)

1

v↑

RLD

(Ob

µ

;Ob

ν

)

;

RLD

(Ob

µ

;Ob

ν

)

f

µ

(

RLD

(Ob

µ

;Ob

ν

)

f

)

1

v

ν.

161