А если кто-то расскажет на пальцах про cofibration и почему они вообще co по отношению к fibration, буду очень благодарен

И расслоения, и корасслоения определяются через свойства поднятия, но одни через правые, а другие через левые, т.е. если перейти к дуальной категории, то они меняются местами. Базовый пример расслоения — это объект путей P(Y) -> Y * Y, через который можно определить гомотопии между мапами X -> Y как морфизмы X -> P(Y). Дуальная конструкция — это цилиндр, который задается корасслоением X + X -> C(X). Гомотопии можно эквивалентно определить как отображения C(X) -> Y.

https://bartoszmilewski.com/2020/06/15/monoidal-catamorphisms/
#paper

аппликатив

похож, но аппликатив f a делает, нет?

да нет, это прямой аппликатив, если Functor добавить

pure x = fmap (const x) init
a <*> b = fmap ($) (combine a b)

init = pure ()
combine a b = pure (,) <*> a <*> b

апи через init/combine мне давно намного больше нравится, так как очень часто я пользуюсь или liftA2, или даже liftA2 (,) напрямую, а вот <*> не очень частно

ребят, зачем тут слоумод, тут и так активности никакой

Или это похоже он только на мне

слоумод? а, да, и вправду, 30 секунд. не только на тебе. видимо, безустанный треп мешает.

ну да.

А реализаци через лифт мне тоже больше нравится, во-первых она позволяет функтор реализовывать по-умолчанию, а во-вторых как-то аккуратнее, что ли

я наоборот чаще баянами пользуюсь

Ребят может кто-то подскажет алгоритм, реализующий шифрование данных используя два типа ключей:
- открытый - позволяет читать данные, но не писать
- закрытый - позволяет писать и желательно генерировать ключи для чтения

Это offtopic. Здесь такие темы не обсуждают.
Чатика про криптографию для начинающих, увы, не подскажу.
Видимо, подойдёт любая система с открытым ключом.
Распостранённых сейчас две - RSA и эллиптическая криптография.
Судя по всему, будет проще ознакомиться с RSA.
Описаний везде полно.

Если бы вопрос был про криптографию с помощью 2-категорий, то было бы вполне в тему

Ребят может кто-то подскажет алгоритм, реализующий шифрование с помощью 2-категорий

категорной криптографии практически не существует увы

вопрос упирается в то, что нет категорных моделей complexity

https://arxiv.org/abs/1610.07737 - вроде какой то подлет уже есть

а что такое категорная криптография?

мне казалось криптография основывается на сложных вычислительных задач, которые при этом легко проверять. Для ТК разве такие есть?