When is a container a comonad? — mentioned by whosthatguy

Fri, 16 Feb 2024 17:38:55 GMT

> 1. selects a sub-collection B of A whose elements match the path pattern β, > 2. computes a new collection C as a function f of B and its neighbors, > 3. and specifies the insertion of C in place of B into A. This sounds a lot like the presentation of comonads as directed containers (e.g. https://arxiv.org/abs/1408.5809).

Paper and discussion history. A mention is not an endorsement.

When is a container a comonad? · HackerPapers discussions

When is a container a comonad? — mentioned by whosthatguy