{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:V3TKCZKINM46K2L2MNVF535WFV","short_pith_number":"pith:V3TKCZKI","schema_version":"1.0","canonical_sha256":"aee6a165486b39e5697a636a5eefb62d7842566f5003502e71709f2c09f35358","source":{"kind":"arxiv","id":"1606.09080","version":2},"attestation_state":"computed","paper":{"title":"A simplicial foundation for differential and sector forms in tangent categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DG"],"primary_cat":"math.CT","authors_text":"G.S.H. Cruttwell, Rory B. B. Lucyshyn-Wright","submitted_at":"2016-06-29T13:21:23Z","abstract_excerpt":"Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work has shown that one can formulate and prove a wide variety of definitions and results from differential geometry in an arbitrary tangent category, including generalizations of vector fields and their Lie bracket, vector bundles, and connections.\n  In this paper we investigate differential and sector forms in tangent categories. We show that sector forms in any"},"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":"1606.09080","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-06-29T13:21:23Z","cross_cats_sorted":["math.DG"],"title_canon_sha256":"911dc40f7db9d85341c827b01b1c51ee6b766fa5b1192b7c72e097603476469d","abstract_canon_sha256":"1c390f664e4333491e9437de1ac00dee8f8fcacb918916ca7f36012e1e2d5912"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:18:46.904707Z","signature_b64":"KnY7nxBfUnuudvjAgEuiAsSFDWQYvkl0axNvUqywNz19ONgtZKW+d/irmqlNd8B04Axh4GerACsxhQiyYb2KBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aee6a165486b39e5697a636a5eefb62d7842566f5003502e71709f2c09f35358","last_reissued_at":"2026-05-18T00:18:46.904075Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:18:46.904075Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A simplicial foundation for differential and sector forms in tangent categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.DG"],"primary_cat":"math.CT","authors_text":"G.S.H. Cruttwell, Rory B. B. Lucyshyn-Wright","submitted_at":"2016-06-29T13:21:23Z","abstract_excerpt":"Tangent categories provide an axiomatic framework for understanding various tangent bundles and differential operations that occur in differential geometry, algebraic geometry, abstract homotopy theory, and computer science. Previous work has shown that one can formulate and prove a wide variety of definitions and results from differential geometry in an arbitrary tangent category, including generalizations of vector fields and their Lie bracket, vector bundles, and connections.\n  In this paper we investigate differential and sector forms in tangent categories. We show that sector forms in any"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.09080","kind":"arxiv","version":2},"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":"1606.09080","created_at":"2026-05-18T00:18:46.904177+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.09080v2","created_at":"2026-05-18T00:18:46.904177+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.09080","created_at":"2026-05-18T00:18:46.904177+00:00"},{"alias_kind":"pith_short_12","alias_value":"V3TKCZKINM46","created_at":"2026-05-18T12:30:46.583412+00:00"},{"alias_kind":"pith_short_16","alias_value":"V3TKCZKINM46K2L2","created_at":"2026-05-18T12:30:46.583412+00:00"},{"alias_kind":"pith_short_8","alias_value":"V3TKCZKI","created_at":"2026-05-18T12:30:46.583412+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/V3TKCZKINM46K2L2MNVF535WFV","json":"https://pith.science/pith/V3TKCZKINM46K2L2MNVF535WFV.json","graph_json":"https://pith.science/api/pith-number/V3TKCZKINM46K2L2MNVF535WFV/graph.json","events_json":"https://pith.science/api/pith-number/V3TKCZKINM46K2L2MNVF535WFV/events.json","paper":"https://pith.science/paper/V3TKCZKI"},"agent_actions":{"view_html":"https://pith.science/pith/V3TKCZKINM46K2L2MNVF535WFV","download_json":"https://pith.science/pith/V3TKCZKINM46K2L2MNVF535WFV.json","view_paper":"https://pith.science/paper/V3TKCZKI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.09080&json=true","fetch_graph":"https://pith.science/api/pith-number/V3TKCZKINM46K2L2MNVF535WFV/graph.json","fetch_events":"https://pith.science/api/pith-number/V3TKCZKINM46K2L2MNVF535WFV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/V3TKCZKINM46K2L2MNVF535WFV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/V3TKCZKINM46K2L2MNVF535WFV/action/storage_attestation","attest_author":"https://pith.science/pith/V3TKCZKINM46K2L2MNVF535WFV/action/author_attestation","sign_citation":"https://pith.science/pith/V3TKCZKINM46K2L2MNVF535WFV/action/citation_signature","submit_replication":"https://pith.science/pith/V3TKCZKINM46K2L2MNVF535WFV/action/replication_record"}},"created_at":"2026-05-18T00:18:46.904177+00:00","updated_at":"2026-05-18T00:18:46.904177+00:00"}