{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:KJT5DHILBSUALXY2CV6SCGLD5Z","short_pith_number":"pith:KJT5DHIL","schema_version":"1.0","canonical_sha256":"5267d19d0b0ca805df1a157d211963ee4ab3493b78295971bd4742062019a476","source":{"kind":"arxiv","id":"1904.08083","version":1},"attestation_state":"computed","paper":{"title":"A 2-Categorical Study of Graded and Indexed Monads","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"math.CT","authors_text":"Soichiro Fujii","submitted_at":"2019-04-17T05:11:42Z","abstract_excerpt":"In the study of computational effects, it is important to consider the notion of computational effects with parameters. The need of such a notion arises when, for example, statically estimating the range of effects caused by a program, or studying the ways in which effects with local scopes are derived from effects with only the global scope. Extending the classical observation that computational effects can be modeled by monads, these computational effects with parameters are modeled by various mathematical structures including graded monads and indexed monads, which are two different general"},"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":"1904.08083","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2019-04-17T05:11:42Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"6e0799eff145d6e58facac58619b8220a388a141fb2aeefe5b46afc149863443","abstract_canon_sha256":"c10cd27317b13c1d5e388b251ddada5b1d9d00141f6b0f687674f9dcae234e4d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:18.823562Z","signature_b64":"eCJrGxTKJXKIKc72vuHgUGSZD2lqAnkfIFoF/NVDmTCseubQCcIP6UbTm03peQipyBiXbqjkv+IfaRdSR2RgBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5267d19d0b0ca805df1a157d211963ee4ab3493b78295971bd4742062019a476","last_reissued_at":"2026-05-17T23:48:18.822907Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:18.822907Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A 2-Categorical Study of Graded and Indexed Monads","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"math.CT","authors_text":"Soichiro Fujii","submitted_at":"2019-04-17T05:11:42Z","abstract_excerpt":"In the study of computational effects, it is important to consider the notion of computational effects with parameters. The need of such a notion arises when, for example, statically estimating the range of effects caused by a program, or studying the ways in which effects with local scopes are derived from effects with only the global scope. Extending the classical observation that computational effects can be modeled by monads, these computational effects with parameters are modeled by various mathematical structures including graded monads and indexed monads, which are two different general"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.08083","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":"1904.08083","created_at":"2026-05-17T23:48:18.823013+00:00"},{"alias_kind":"arxiv_version","alias_value":"1904.08083v1","created_at":"2026-05-17T23:48:18.823013+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.08083","created_at":"2026-05-17T23:48:18.823013+00:00"},{"alias_kind":"pith_short_12","alias_value":"KJT5DHILBSUA","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_16","alias_value":"KJT5DHILBSUALXY2","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_8","alias_value":"KJT5DHIL","created_at":"2026-05-18T12:33:21.387695+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KJT5DHILBSUALXY2CV6SCGLD5Z","json":"https://pith.science/pith/KJT5DHILBSUALXY2CV6SCGLD5Z.json","graph_json":"https://pith.science/api/pith-number/KJT5DHILBSUALXY2CV6SCGLD5Z/graph.json","events_json":"https://pith.science/api/pith-number/KJT5DHILBSUALXY2CV6SCGLD5Z/events.json","paper":"https://pith.science/paper/KJT5DHIL"},"agent_actions":{"view_html":"https://pith.science/pith/KJT5DHILBSUALXY2CV6SCGLD5Z","download_json":"https://pith.science/pith/KJT5DHILBSUALXY2CV6SCGLD5Z.json","view_paper":"https://pith.science/paper/KJT5DHIL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1904.08083&json=true","fetch_graph":"https://pith.science/api/pith-number/KJT5DHILBSUALXY2CV6SCGLD5Z/graph.json","fetch_events":"https://pith.science/api/pith-number/KJT5DHILBSUALXY2CV6SCGLD5Z/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KJT5DHILBSUALXY2CV6SCGLD5Z/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KJT5DHILBSUALXY2CV6SCGLD5Z/action/storage_attestation","attest_author":"https://pith.science/pith/KJT5DHILBSUALXY2CV6SCGLD5Z/action/author_attestation","sign_citation":"https://pith.science/pith/KJT5DHILBSUALXY2CV6SCGLD5Z/action/citation_signature","submit_replication":"https://pith.science/pith/KJT5DHILBSUALXY2CV6SCGLD5Z/action/replication_record"}},"created_at":"2026-05-17T23:48:18.823013+00:00","updated_at":"2026-05-17T23:48:18.823013+00:00"}