Zanzi on Nostr: The multiplate paper makes an observation that we can rewrite the type of VL lenses ...
The multiplate paper makes an observation that we can rewrite the type of VL lenses as a map between coalgebras:
Lens a b = forall f . Functor f => Coalgebra f b -> Coalgebra f a
Does this have a generalisation to polymorphic lenses?
Since `a -> f b` is no longer a coalgebra
Published at
2024-01-29 18:35:07Event JSON
{
"id": "3818a6de79c6095621afa90dc49793be56cf70cfcb1bc2af44eb7bf7c6994c85",
"pubkey": "53ca8f7f2d1f8fa47515e533f5501efd506976dc23a901f0733b557819abac04",
"created_at": 1706553307,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/zanzi/statuses/111840677556806317",
"activitypub"
]
],
"content": "The multiplate paper makes an observation that we can rewrite the type of VL lenses as a map between coalgebras:\n\nLens a b = forall f . Functor f =\u003e Coalgebra f b -\u003e Coalgebra f a\n\nDoes this have a generalisation to polymorphic lenses?\n\nSince `a -\u003e f b` is no longer a coalgebra",
"sig": "337ef7622ac3769ecaf81e996c944370fad16d6d280384c02ec3e36486dc3d5e997d5bb500d668d65620d6cd731a999c5a5e6566e3eaac6061a1076af97b5dab"
}
