4 Appendix

8.16.0.1

package: ctp

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

See dom.

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

See cod.

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

See ∘.

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

See ⨾.

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

See src.

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

See tgt.

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.