{
  "annotation_id": "b860d69e-f51c-413c-a069-4056b06d94c0",
  "date_created": "2026-02-17T05:53:05.005000Z",
  "date_modified": "2026-02-17T05:53:05.005000Z",
  "file_hash": "49728d05cd4df2942ff5725400aa894e8409e82eb18942603c7e307d54b36aac",
  "private": false,
  "record": {
    "abstract": "We give a complete proof of the B\\\u0027enabou-Roubaud monadic descent theorem using the graphical calculus of string diagrams. Our proof links the monadic and Grothendieck\u0027s original viewpoint on descent via an internal-category-based characterization of the category of descent data, equivalent to the one of Janelidze and Tholen.",
    "arxiv_id": "2601.05691",
    "authors": [
      "Jovana Obradovi\u0107"
    ],
    "categories": [
      "math.CT"
    ],
    "license": "http://creativecommons.org/licenses/by/4.0/",
    "title": "The B\\\u0027enabou-Roubaud theorem via string diagrams",
    "url": "https://arxiv.org/abs/2601.05691",
    "version": "v2"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "0a06a007-148d-425a-9697-cdb24f1395aa",
    "id": "arXiv Dataset",
    "type": "Model",
    "variant": "snapshot-2026-01-17",
    "version": "0.1.0"
  },
  "user_id": 1000002
}