{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:SPPEZ2ICSW7BN34LNC7CWWNGME","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":"afbc2e6fab8b1f1f8064da02b211d11f4ec682ab5997a8edb748c6c2d72711fe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-04-30T10:53:59Z","title_canon_sha256":"fff68e2f1a2dd683cb95f59fc6df959a0518739fd3c20288f61a1ebfae135ab3"},"schema_version":"1.0","source":{"id":"1804.11116","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.11116","created_at":"2026-07-05T06:23:24Z"},{"alias_kind":"arxiv_version","alias_value":"1804.11116v6","created_at":"2026-07-05T06:23:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.11116","created_at":"2026-07-05T06:23:24Z"},{"alias_kind":"pith_short_12","alias_value":"SPPEZ2ICSW7B","created_at":"2026-07-05T06:23:24Z"},{"alias_kind":"pith_short_16","alias_value":"SPPEZ2ICSW7BN34L","created_at":"2026-07-05T06:23:24Z"},{"alias_kind":"pith_short_8","alias_value":"SPPEZ2IC","created_at":"2026-07-05T06:23:24Z"}],"graph_snapshots":[{"event_id":"sha256:4e6a318156a6da4938130cc45d6834613fd587cb68b62f820918d4c7cd5d08d2","target":"graph","created_at":"2026-07-05T06:23:24Z","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/1804.11116/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A categorical model of the multiplicative and exponential fragments of intuitionistic linear logic ($\\mathsf{MELL}$), known as a \\emph{linear category}, is a symmetric monoidal closed category with a monoidal coalgebra modality (also known as a linear exponential comonad). Inspired by Blute and Scott's work on categories of modules of Hopf algebras as models of linear logic, we study categories of algebras of monads (also known as Eilenberg-Moore categories) as models of $\\mathsf{MELL}$. We define a $\\mathsf{MELL}$ lifting monad on a linear category as a Hopf monad -- in the Brugui{\\`e}res, La","authors_text":"Jean-Simon Pacaud Lemay","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-04-30T10:53:59Z","title":"Lifting Coalgebra Modalities and $\\mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.11116","kind":"arxiv","version":6},"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:b099d4d97fc335ee59363a2df136e1be022912cff765d5b255c09d39d136926f","target":"record","created_at":"2026-07-05T06:23:24Z","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":"afbc2e6fab8b1f1f8064da02b211d11f4ec682ab5997a8edb748c6c2d72711fe","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-04-30T10:53:59Z","title_canon_sha256":"fff68e2f1a2dd683cb95f59fc6df959a0518739fd3c20288f61a1ebfae135ab3"},"schema_version":"1.0","source":{"id":"1804.11116","kind":"arxiv","version":6}},"canonical_sha256":"93de4ce90295be16ef8b68be2b59a6610d73928891f989bf216c953f42a2cfba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"93de4ce90295be16ef8b68be2b59a6610d73928891f989bf216c953f42a2cfba","first_computed_at":"2026-07-05T06:23:24.137716Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:23:24.137716Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Kf3gNmlSb2sTTse6MNC9P5IJHkboBaswlAw8tYFcaq7ZGk97QHIaDnoRHjT8lfPx8nZ1006auU3k6C4po1uQCA==","signature_status":"signed_v1","signed_at":"2026-07-05T06:23:24.138087Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.11116","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b099d4d97fc335ee59363a2df136e1be022912cff765d5b255c09d39d136926f","sha256:4e6a318156a6da4938130cc45d6834613fd587cb68b62f820918d4c7cd5d08d2"],"state_sha256":"402a0489ae655c91787e7b9733fec0084936f0febdef89b49ce347b051368a23"}