{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OKPD4UAB5KVRZ46A6FVGE424TI","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"e71e9853d0b3ef6f8cd27c846c0c28d15a715239414cab9975ad9a405ec82ae3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-06-25T08:40:18Z","title_canon_sha256":"3adb2ec4761481eb651d8314feca628326b7fe147ed47812d9fb9b5282c44f69"},"schema_version":"1.0","source":{"id":"2606.26755","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.26755","created_at":"2026-06-26T01:15:58Z"},{"alias_kind":"arxiv_version","alias_value":"2606.26755v1","created_at":"2026-06-26T01:15:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.26755","created_at":"2026-06-26T01:15:58Z"},{"alias_kind":"pith_short_12","alias_value":"OKPD4UAB5KVR","created_at":"2026-06-26T01:15:58Z"},{"alias_kind":"pith_short_16","alias_value":"OKPD4UAB5KVRZ46A","created_at":"2026-06-26T01:15:58Z"},{"alias_kind":"pith_short_8","alias_value":"OKPD4UAB","created_at":"2026-06-26T01:15:58Z"}],"graph_snapshots":[{"event_id":"sha256:142780d355e8ae8d4b12c18e8fbdc532dfae6e097e9c3b2a21a75e9ec18e3a48","target":"graph","created_at":"2026-06-26T01:15:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.26755/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As is well known in the literature, the category Mon(V) of monoids in a monoidal category V satisfies various fundamental categorical properties, at least when the monoidal base V is correspondingly well-behaved. In particular, Mon(V) is monadic over V as soon as free monoids exist, while if V is cocomplete or locally presentable and its tensor b is sufficiently compatible with the appropriate colimits, then Mon(V) inherits the analogous property.\n  In the present work, we extend such results to the context of double categories. More precisely, we identify conditions on a double category D und","authors_text":"Christina Vasilakopoulou, Theofilos Tsantilas, Vasileios Aravantinos-Sotiropoulos","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-06-25T08:40:18Z","title":"On categories of monads and comonads in double categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.26755","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:dab83e69bb83a29056ebbe173ece1de64be7c167c046f72bbfccff29058698f0","target":"record","created_at":"2026-06-26T01:15:58Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"e71e9853d0b3ef6f8cd27c846c0c28d15a715239414cab9975ad9a405ec82ae3","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2026-06-25T08:40:18Z","title_canon_sha256":"3adb2ec4761481eb651d8314feca628326b7fe147ed47812d9fb9b5282c44f69"},"schema_version":"1.0","source":{"id":"2606.26755","kind":"arxiv","version":1}},"canonical_sha256":"729e3e5001eaab1cf3c0f16a62735c9a028df15f81432d7322791ae0f693950d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"729e3e5001eaab1cf3c0f16a62735c9a028df15f81432d7322791ae0f693950d","first_computed_at":"2026-06-26T01:15:58.820837Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T01:15:58.820837Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4rCJuxpEOcjLGhIGX7yrDgTOO4n5Io38r6U389Z1EISn7/4HMbxL8Xg4p9ERW5hIGpwyZkuAHddzHdBmBBqTBA==","signature_status":"signed_v1","signed_at":"2026-06-26T01:15:58.822595Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.26755","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dab83e69bb83a29056ebbe173ece1de64be7c167c046f72bbfccff29058698f0","sha256:142780d355e8ae8d4b12c18e8fbdc532dfae6e097e9c3b2a21a75e9ec18e3a48"],"state_sha256":"accf8d8a51a433bf6ff0ddfd22db273528928cf1e0e51dca051d02ccd8e611f3"}