{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2004:MLGXKCLU5KT5XNVIUR24C25ARB","short_pith_number":"pith:MLGXKCLU","schema_version":"1.0","canonical_sha256":"62cd750974eaa7dbb6a8a475c16ba0885cfa89d86c1eb28cfcce264c5cc4e618","source":{"kind":"arxiv","id":"math/0411542","version":3},"attestation_state":"computed","paper":{"title":"A Koszul duality for props","license":"","headline":"","cross_cats":["math.QA"],"primary_cat":"math.AT","authors_text":"Bruno Vallette","submitted_at":"2004-11-24T10:22:23Z","abstract_excerpt":"The notion of prop models the operations with multiple inputs and multiple outpus, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props."},"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":"math/0411542","kind":"arxiv","version":3},"metadata":{"license":"","primary_cat":"math.AT","submitted_at":"2004-11-24T10:22:23Z","cross_cats_sorted":["math.QA"],"title_canon_sha256":"b7afe0312647d812b404e98e99a51df98f8dd8fea9fe71e981b2ba2ebfd1bd9c","abstract_canon_sha256":"49fcf9fd591cf2b795a1fecec0986ad288c8b3ece1dac50e76f00f40155269a7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:25:26.358146Z","signature_b64":"IgczSxgwx6GE64s9+OL81te69Q+cosCcKWYvukL6vzQes29gQbBMSHVWWTEYCWPckat/v+TP5x4vtTdmfmLpBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"62cd750974eaa7dbb6a8a475c16ba0885cfa89d86c1eb28cfcce264c5cc4e618","last_reissued_at":"2026-05-18T04:25:26.357300Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:25:26.357300Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Koszul duality for props","license":"","headline":"","cross_cats":["math.QA"],"primary_cat":"math.AT","authors_text":"Bruno Vallette","submitted_at":"2004-11-24T10:22:23Z","abstract_excerpt":"The notion of prop models the operations with multiple inputs and multiple outpus, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0411542","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":""},"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":"math/0411542","created_at":"2026-05-18T04:25:26.357421+00:00"},{"alias_kind":"arxiv_version","alias_value":"math/0411542v3","created_at":"2026-05-18T04:25:26.357421+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0411542","created_at":"2026-05-18T04:25:26.357421+00:00"},{"alias_kind":"pith_short_12","alias_value":"MLGXKCLU5KT5","created_at":"2026-05-18T12:25:52.687210+00:00"},{"alias_kind":"pith_short_16","alias_value":"MLGXKCLU5KT5XNVI","created_at":"2026-05-18T12:25:52.687210+00:00"},{"alias_kind":"pith_short_8","alias_value":"MLGXKCLU","created_at":"2026-05-18T12:25:52.687210+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/MLGXKCLU5KT5XNVIUR24C25ARB","json":"https://pith.science/pith/MLGXKCLU5KT5XNVIUR24C25ARB.json","graph_json":"https://pith.science/api/pith-number/MLGXKCLU5KT5XNVIUR24C25ARB/graph.json","events_json":"https://pith.science/api/pith-number/MLGXKCLU5KT5XNVIUR24C25ARB/events.json","paper":"https://pith.science/paper/MLGXKCLU"},"agent_actions":{"view_html":"https://pith.science/pith/MLGXKCLU5KT5XNVIUR24C25ARB","download_json":"https://pith.science/pith/MLGXKCLU5KT5XNVIUR24C25ARB.json","view_paper":"https://pith.science/paper/MLGXKCLU","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=math/0411542&json=true","fetch_graph":"https://pith.science/api/pith-number/MLGXKCLU5KT5XNVIUR24C25ARB/graph.json","fetch_events":"https://pith.science/api/pith-number/MLGXKCLU5KT5XNVIUR24C25ARB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MLGXKCLU5KT5XNVIUR24C25ARB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MLGXKCLU5KT5XNVIUR24C25ARB/action/storage_attestation","attest_author":"https://pith.science/pith/MLGXKCLU5KT5XNVIUR24C25ARB/action/author_attestation","sign_citation":"https://pith.science/pith/MLGXKCLU5KT5XNVIUR24C25ARB/action/citation_signature","submit_replication":"https://pith.science/pith/MLGXKCLU5KT5XNVIUR24C25ARB/action/replication_record"}},"created_at":"2026-05-18T04:25:26.357421+00:00","updated_at":"2026-05-18T04:25:26.357421+00:00"}