Type alias CoyonedaT<F, A, X>

CoyonedaT<F, A, X>: [map: ((shape) => A), image: Get1<F, X>]

Calculation on a space X and mapping function from X to an inclusion space A.

Type Parameters

  • F

  • A

  • X

Settings

Member Visibility

Theme

Generated using TypeDoc