{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:7ZY7NZAKHORITF5Q25KITMBQ5C","short_pith_number":"pith:7ZY7NZAK","schema_version":"1.0","canonical_sha256":"fe71f6e40a3ba28997b0d75489b030e8a431f5450e18f457c46cacce340a0093","source":{"kind":"arxiv","id":"1701.04919","version":1},"attestation_state":"computed","paper":{"title":"Linear Exponential Comonads without Symmetry","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Kyoto University), Masahito Hasegawa (RIMS","submitted_at":"2017-01-18T01:31:41Z","abstract_excerpt":"The notion of linear exponential comonads on symmetric monoidal categories has been used for modelling the exponential modality of linear logic. In this paper we introduce linear exponential comonads on general (possibly non-symmetric) monoidal categories, and show some basic results on them."},"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":"1701.04919","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-01-18T01:31:41Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"079fc6a4e017eeb24824ab95f15ca973d64d162ee2370c5a10aa26ddf454b0be","abstract_canon_sha256":"685443de028a5ff8b64699da24f2af3035a46b7e09f621e97948164f1bb7b7b7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:52:08.864801Z","signature_b64":"iCVDCemr5qo1w80beuBUCbKebGMvO2zLmZawPJ9y0h6K35I1N+PdGQ+q1jiphlxDlY3+yRmBw140SP66/zaRCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fe71f6e40a3ba28997b0d75489b030e8a431f5450e18f457c46cacce340a0093","last_reissued_at":"2026-05-18T00:52:08.864231Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:52:08.864231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Linear Exponential Comonads without Symmetry","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"cs.LO","authors_text":"Kyoto University), Masahito Hasegawa (RIMS","submitted_at":"2017-01-18T01:31:41Z","abstract_excerpt":"The notion of linear exponential comonads on symmetric monoidal categories has been used for modelling the exponential modality of linear logic. In this paper we introduce linear exponential comonads on general (possibly non-symmetric) monoidal categories, and show some basic results on them."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.04919","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1701.04919","created_at":"2026-05-18T00:52:08.864339+00:00"},{"alias_kind":"arxiv_version","alias_value":"1701.04919v1","created_at":"2026-05-18T00:52:08.864339+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.04919","created_at":"2026-05-18T00:52:08.864339+00:00"},{"alias_kind":"pith_short_12","alias_value":"7ZY7NZAKHORI","created_at":"2026-05-18T12:31:05.417338+00:00"},{"alias_kind":"pith_short_16","alias_value":"7ZY7NZAKHORITF5Q","created_at":"2026-05-18T12:31:05.417338+00:00"},{"alias_kind":"pith_short_8","alias_value":"7ZY7NZAK","created_at":"2026-05-18T12:31:05.417338+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2510.23517","citing_title":"Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors","ref_index":19,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/7ZY7NZAKHORITF5Q25KITMBQ5C","json":"https://pith.science/pith/7ZY7NZAKHORITF5Q25KITMBQ5C.json","graph_json":"https://pith.science/api/pith-number/7ZY7NZAKHORITF5Q25KITMBQ5C/graph.json","events_json":"https://pith.science/api/pith-number/7ZY7NZAKHORITF5Q25KITMBQ5C/events.json","paper":"https://pith.science/paper/7ZY7NZAK"},"agent_actions":{"view_html":"https://pith.science/pith/7ZY7NZAKHORITF5Q25KITMBQ5C","download_json":"https://pith.science/pith/7ZY7NZAKHORITF5Q25KITMBQ5C.json","view_paper":"https://pith.science/paper/7ZY7NZAK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1701.04919&json=true","fetch_graph":"https://pith.science/api/pith-number/7ZY7NZAKHORITF5Q25KITMBQ5C/graph.json","fetch_events":"https://pith.science/api/pith-number/7ZY7NZAKHORITF5Q25KITMBQ5C/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7ZY7NZAKHORITF5Q25KITMBQ5C/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7ZY7NZAKHORITF5Q25KITMBQ5C/action/storage_attestation","attest_author":"https://pith.science/pith/7ZY7NZAKHORITF5Q25KITMBQ5C/action/author_attestation","sign_citation":"https://pith.science/pith/7ZY7NZAKHORITF5Q25KITMBQ5C/action/citation_signature","submit_replication":"https://pith.science/pith/7ZY7NZAKHORITF5Q25KITMBQ5C/action/replication_record"}},"created_at":"2026-05-18T00:52:08.864339+00:00","updated_at":"2026-05-18T00:52:08.864339+00:00"}