{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:QJ6O6AZYWECV6AMOL7UOANXVCB","short_pith_number":"pith:QJ6O6AZY","schema_version":"1.0","canonical_sha256":"827cef0338b1055f018e5fe8e036f5105e3ed08471cbb02989fddb5493dedb6f","source":{"kind":"arxiv","id":"2408.03180","version":3},"attestation_state":"computed","paper":{"title":"Sweedler theory for double categories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.CT","authors_text":"Christina Vasilakopoulou, Vasileios Aravantinos-Sotiropoulos","submitted_at":"2024-08-06T13:29:09Z","abstract_excerpt":"In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and cotensored enrichment of modules in comodules, under very general conditions on the surrounding double category. These include `monoidal closedness' and `local presentability', leading classical notions which are here introduced in the double categorical context. Furthermore, we show that in this setting, the actual fibration of modules over monads is itself enric"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2408.03180","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2024-08-06T13:29:09Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"3b661dc33effc2a759a787ca0e84afd6c287f3a836c3a7e7ad204295bcbfb418","abstract_canon_sha256":"f584565e97d1d7fb9a8b2715bdad78898fc1c633a818e4d5d6feebb1eb3d5b76"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:08:19.987369Z","signature_b64":"eNyzMZf9lohG0NCtEmHmXpbVcNB6wb+4A8Kvi+Qi7KUynLobQFiyyyEsGovcnHdyoxIkLDj7AMlR7ZVTUBhfAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"827cef0338b1055f018e5fe8e036f5105e3ed08471cbb02989fddb5493dedb6f","last_reissued_at":"2026-07-05T10:08:19.986933Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:08:19.986933Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Sweedler theory for double categories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.CT","authors_text":"Christina Vasilakopoulou, Vasileios Aravantinos-Sotiropoulos","submitted_at":"2024-08-06T13:29:09Z","abstract_excerpt":"In this work, we establish certain enrichments of dual algebraic structures in the setting of monoidal double categories. In more detail, we obtain a tensored and cotensored enrichment of monads in comonads, as well as a tensored and cotensored enrichment of modules in comodules, under very general conditions on the surrounding double category. These include `monoidal closedness' and `local presentability', leading classical notions which are here introduced in the double categorical context. Furthermore, we show that in this setting, the actual fibration of modules over monads is itself enric"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.03180","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2408.03180/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2408.03180","created_at":"2026-07-05T10:08:19.986987+00:00"},{"alias_kind":"arxiv_version","alias_value":"2408.03180v3","created_at":"2026-07-05T10:08:19.986987+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.03180","created_at":"2026-07-05T10:08:19.986987+00:00"},{"alias_kind":"pith_short_12","alias_value":"QJ6O6AZYWECV","created_at":"2026-07-05T10:08:19.986987+00:00"},{"alias_kind":"pith_short_16","alias_value":"QJ6O6AZYWECV6AMO","created_at":"2026-07-05T10:08:19.986987+00:00"},{"alias_kind":"pith_short_8","alias_value":"QJ6O6AZY","created_at":"2026-07-05T10:08:19.986987+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.26755","citing_title":"On categories of monads and comonads in double categories","ref_index":7,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/QJ6O6AZYWECV6AMOL7UOANXVCB","json":"https://pith.science/pith/QJ6O6AZYWECV6AMOL7UOANXVCB.json","graph_json":"https://pith.science/api/pith-number/QJ6O6AZYWECV6AMOL7UOANXVCB/graph.json","events_json":"https://pith.science/api/pith-number/QJ6O6AZYWECV6AMOL7UOANXVCB/events.json","paper":"https://pith.science/paper/QJ6O6AZY"},"agent_actions":{"view_html":"https://pith.science/pith/QJ6O6AZYWECV6AMOL7UOANXVCB","download_json":"https://pith.science/pith/QJ6O6AZYWECV6AMOL7UOANXVCB.json","view_paper":"https://pith.science/paper/QJ6O6AZY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2408.03180&json=true","fetch_graph":"https://pith.science/api/pith-number/QJ6O6AZYWECV6AMOL7UOANXVCB/graph.json","fetch_events":"https://pith.science/api/pith-number/QJ6O6AZYWECV6AMOL7UOANXVCB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/QJ6O6AZYWECV6AMOL7UOANXVCB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/QJ6O6AZYWECV6AMOL7UOANXVCB/action/storage_attestation","attest_author":"https://pith.science/pith/QJ6O6AZYWECV6AMOL7UOANXVCB/action/author_attestation","sign_citation":"https://pith.science/pith/QJ6O6AZYWECV6AMOL7UOANXVCB/action/citation_signature","submit_replication":"https://pith.science/pith/QJ6O6AZYWECV6AMOL7UOANXVCB/action/replication_record"}},"created_at":"2026-07-05T10:08:19.986987+00:00","updated_at":"2026-07-05T10:08:19.986987+00:00"}