{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:P34HCDPKEBJTX2JAUUMJCXE6VW","short_pith_number":"pith:P34HCDPK","schema_version":"1.0","canonical_sha256":"7ef8710dea20533be920a518915c9ead95f7487e0a480e21f433f8d1ce93165d","source":{"kind":"arxiv","id":"2208.01135","version":1},"attestation_state":"computed","paper":{"title":"Tensor types and their use in physics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT","math.MP"],"primary_cat":"math-ph","authors_text":"Alexander Nietner, Andreas Bauer","submitted_at":"2022-08-01T20:47:42Z","abstract_excerpt":"The content of this paper can be roughly organized into a three-level hierarchy of generality. At the first, most general level, we introduce a new language which allows us to express various categorical structures in a systematic and explicit manner in terms of so-called 2-schemes. Although 2-schemes can formalize categorical structures such as symmetric monoidal categories, they are not limited to this, and can be used to define structures with no categorical analogue. Most categorical structures come with an effective graphical calculus such as string diagrams for symmetric monoidal categor"},"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":"2208.01135","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math-ph","submitted_at":"2022-08-01T20:47:42Z","cross_cats_sorted":["math.CT","math.MP"],"title_canon_sha256":"c691051343cf0963c9be660f70f024a6cf5c3c89bb49b373a5892d7badd0332b","abstract_canon_sha256":"9f10ccda119a6aff9c220f3cf256d1718fb8bada8255962ce176485c2efc02bc"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:45:29.832833Z","signature_b64":"bpZYLQ89zTvi/tnR9IWvieFTYP8hflVrCLamIQawgTIJTVSkUFJDrffzzZ6SGtKtnJaM6wQMJMfTVSyIXVppBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ef8710dea20533be920a518915c9ead95f7487e0a480e21f433f8d1ce93165d","last_reissued_at":"2026-07-05T04:45:29.832426Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:45:29.832426Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tensor types and their use in physics","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT","math.MP"],"primary_cat":"math-ph","authors_text":"Alexander Nietner, Andreas Bauer","submitted_at":"2022-08-01T20:47:42Z","abstract_excerpt":"The content of this paper can be roughly organized into a three-level hierarchy of generality. At the first, most general level, we introduce a new language which allows us to express various categorical structures in a systematic and explicit manner in terms of so-called 2-schemes. Although 2-schemes can formalize categorical structures such as symmetric monoidal categories, they are not limited to this, and can be used to define structures with no categorical analogue. Most categorical structures come with an effective graphical calculus such as string diagrams for symmetric monoidal categor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2208.01135","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2208.01135/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":"2208.01135","created_at":"2026-07-05T04:45:29.832482+00:00"},{"alias_kind":"arxiv_version","alias_value":"2208.01135v1","created_at":"2026-07-05T04:45:29.832482+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2208.01135","created_at":"2026-07-05T04:45:29.832482+00:00"},{"alias_kind":"pith_short_12","alias_value":"P34HCDPKEBJT","created_at":"2026-07-05T04:45:29.832482+00:00"},{"alias_kind":"pith_short_16","alias_value":"P34HCDPKEBJTX2JA","created_at":"2026-07-05T04:45:29.832482+00:00"},{"alias_kind":"pith_short_8","alias_value":"P34HCDPK","created_at":"2026-07-05T04:45:29.832482+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/P34HCDPKEBJTX2JAUUMJCXE6VW","json":"https://pith.science/pith/P34HCDPKEBJTX2JAUUMJCXE6VW.json","graph_json":"https://pith.science/api/pith-number/P34HCDPKEBJTX2JAUUMJCXE6VW/graph.json","events_json":"https://pith.science/api/pith-number/P34HCDPKEBJTX2JAUUMJCXE6VW/events.json","paper":"https://pith.science/paper/P34HCDPK"},"agent_actions":{"view_html":"https://pith.science/pith/P34HCDPKEBJTX2JAUUMJCXE6VW","download_json":"https://pith.science/pith/P34HCDPKEBJTX2JAUUMJCXE6VW.json","view_paper":"https://pith.science/paper/P34HCDPK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2208.01135&json=true","fetch_graph":"https://pith.science/api/pith-number/P34HCDPKEBJTX2JAUUMJCXE6VW/graph.json","fetch_events":"https://pith.science/api/pith-number/P34HCDPKEBJTX2JAUUMJCXE6VW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/P34HCDPKEBJTX2JAUUMJCXE6VW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/P34HCDPKEBJTX2JAUUMJCXE6VW/action/storage_attestation","attest_author":"https://pith.science/pith/P34HCDPKEBJTX2JAUUMJCXE6VW/action/author_attestation","sign_citation":"https://pith.science/pith/P34HCDPKEBJTX2JAUUMJCXE6VW/action/citation_signature","submit_replication":"https://pith.science/pith/P34HCDPKEBJTX2JAUUMJCXE6VW/action/replication_record"}},"created_at":"2026-07-05T04:45:29.832482+00:00","updated_at":"2026-07-05T04:45:29.832482+00:00"}