{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreih64wykxhv6qogwgzo5ms5lydenyicl5jxiwucn4ovm7lheszdtuu",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mijm4otemx52"
  },
  "path": "/t/adjusting-tensor-corepresentation/13879#post_1",
  "publishedAt": "2026-04-02T15:53:38.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "https://muratkasimov.art/Ya/Articles/Adjusting-tensor-corepresentation/",
    "this post about tensors",
    "https://muratkasimov.art/Ya/Articles/Vectors,-matrices-and-tensors-for-free/"
  ],
  "textContent": "https://muratkasimov.art/Ya/Articles/Adjusting-tensor-corepresentation/\n\nIt’s a follow up of this post about tensors, this time I demonstrate a technique of performing type level arithmetics to coerce a co-representing object for tensors of any rank and dimensions using subtyping relations.\n\nP.S. I just realised that I didn’t include a link in previous post, here it is:\n\nhttps://muratkasimov.art/Ya/Articles/Vectors,-matrices-and-tensors-for-free/",
  "title": "Adjusting tensor corepresentation"
}