5 Appendix

8.17

package: ctp

procedure
(dom m) → morphism/c
m : morphism/c

See dom.

procedure
(cod m) → morphism/c
m : morphism/c

See cod.

procedure
(domᵇ m) → morphism/c
m : morphism/c

procedure
(codᵇ m) → morphism/c
m : morphism/c

procedure
(domʰ m) → morphism/c
m : morphism/c

procedure
(codʰ m) → morphism/c
m : morphism/c

procedure
(domᵛ m) → morphism/c
m : morphism/c

procedure
(codᵛ m) → morphism/c
m : morphism/c

procedure
(∘ m ...) → morphism/c
m : morphism/c

See ∘.

procedure
(⨾ m ...) → morphism/c
m : morphism/c

See ⨾.

procedure
(∙ m ...) → morphism/c
m : morphism/c

See ∙.

procedure
(⊗ m ...) → morphism/c
m : morphism/c

See ⊗.

procedure
(? v) → boolean?
v : any/c

See ?.

procedure
(= m ...+) → boolean?
m : morphism/c

See =.

procedure
(∼ m ...+) → boolean?
m : morphism/c

See ∼.

procedure
(† 𝒞) → category/c
𝒞 : category/c

See †.

procedure
(÷ ∼) → (-> category/c category/c)
∼ : ∼/c

See ÷.

procedure
(⊆ ?) → (-> category/c category/c)
? : ?/c

See ⊆.

procedure
(× v ...) → any
v : any/c

An alias for values.