Шурд, да

он в принципе почти все и написал там

по статье Йелле и Жюлса

жаль это все приватное) я про код

ну в перспективе код откроем

но пока так

я знаю у вас еще и пурса?

ага

региться куда-то чтоб поюзать композиции функций, хм

это что-то про струнные диаграммы?

ага: https://arxiv.org/abs/1908.10660

что написать?

Если ты про свой грязный хошкел опять, то ну грубо говоря бифунктор можно расширить вдоль другого бифунктора.
Соответственно, у тебя два варианта - тот другой - это бифунктор (Set, Set) -> Set тогда расширение будет очевидно эндофунктором в Set:

type Ran t k c =  forall a b. ( c -> k a b) -> t a b
type Lan t k c = exists a b.(k a b -> c, t a b)

Если ты хочешь, чтобы расширение было бифунктором, то расширять нужно вдоль какого-то двухзначного функтора.
Ну в плохих языках, его обжект мэппинг мог бы иметь такой тип

Type -> Type-> Bool -> Type

Тогда расширения выглядели бы так


type Ran t k c d =  forall a b. ( c -> k a b False) -> (d -> k a b True) -> t a b

type Lan t k c d = exists a b.(k a b False -> c, k a b True -> d,  t a b)

Эх, а  со мной не поздоровались

type Ran t k c =  forall a b. ( c -> k a b) -> t a b
type Lan t k c = exists a b.(k a b -> c, t a b)

Type -> Type-> Bool -> Type

очень странно выглядит этот Bool

ну предложи другой способ определить конструктор пары типов (Type, Type) -> (Type, Type)

Я тут почти случайно открыл пейпер «A Yoneda-style embedding for virtual equipments» и увидел внутри вот это.
Кто-нибудь встречал подобную графическую нотацию ранее? Похоже на string diagrams, но не совсем.

это и есть струнные диаграммы

Окей, спасибо. Честно говоря, впервые увидел, чтобы их раскрашивали.

Это просто 2-мерные