 3.5. PARTIALLY ORDERED CATEGORIES

37

Definition

207

.

A morphism

f

of a dagger category is called

unitary

when it

is an isomorphism and

f

=

f

1

.

Definition

208

.

Symmetric

(endo)morphism of a dagger precategory is such

a morphism f that

f

=

f

.

Definition

209

.

Transitive

(endo)morphism of a precategory is such a mor-

phism

f

that

f

=

f

f

.

Theorem

210

.

The following conditions are equivalent for a morphism

f

of a

dagger precategory:

1

.

f

is symmetric and transitive.

2

.

f

=

f

f

.

Proof.

1

2

If

f

is symmetric and transitive then

f

f

=

f

f

=

f

.

2

1

.

f

= (

f

f

)

=

f

f

††

=

f

f

=

f

, so

f

is symmetric.

f

=

f

f

=

f

f

,

so

f

is transitive.

3.5.2.1.

Some special classes of morphisms.

Definition

211

.

For a partially ordered dagger category I will call

monovalued

morphism such a morphism

f

that

f

f

v

1

Dst

f

.

Definition

212

.

For a partially ordered dagger category I will call

entirely

defined

morphism such a morphism

f

that

f

f

w

1

Src

f

.

Definition

213

.

For a partially ordered dagger category I will call

injective

morphism such a morphism

f

that

f

f

v

1

Src

f

.

Definition

214

.

For a partially ordered dagger category I will call

surjective

morphism such a morphism f that

f

f

w

1

Dst

f

.

Remark

215

.

It is easy to show that this is a generalization of monovalued,

entirely defined, injective, and surjective functions as morphisms of the category

Rel

.

Obvious

216

.

“Injective morphism” is a dual of “monovalued morphism” and

“surjective morphism” is a dual of “entirely defined morphism”.

Definition

217

.

For a given partially ordered dagger category

C

the

cate-

gory of monovalued

(

entirely defined

,

injective

,

surjective

) morphisms of

C

is the

category with the same set of objects as of

C

and the set of morphisms being the

set of monovalued (entirely defined, injective, surjective) morphisms of

C

with the

composition of morphisms the same as in

C

.

We need to prove that these are really categories, that is that composition

of monovalued (entirely defined, injective, surjective) morphisms is monovalued

(entirely defined, injective, surjective) and that identity morphisms are monovalued,

entirely defined, injective, and surjective.

Proof.

We will prove only for monovalued morphisms and entirely defined

morphisms, as injective and surjective morphisms are their duals.