{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:CZHN576FT534E2QYNB4NXAWLQZ","short_pith_number":"pith:CZHN576F","canonical_record":{"source":{"id":"2506.07874","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-06-09T15:42:39Z","cross_cats_sorted":["math.AG","math.DG"],"title_canon_sha256":"5e82aacb9aa5953c77cd7e383cff2c9c9fa59acf026b007be6e6d919cf1547a9","abstract_canon_sha256":"79e4c5719fe1e289edd1d1570ed6f528b68b812342a92884bfeebeee3ac772cb"},"schema_version":"1.0"},"canonical_sha256":"164edeffc59f77c26a186878db82cb86744dca80ff3e5cf94f2f9fc99b354c3e","source":{"kind":"arxiv","id":"2506.07874","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07874","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07874v3","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07874","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"pith_short_12","alias_value":"CZHN576FT534","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"pith_short_16","alias_value":"CZHN576FT534E2QY","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"pith_short_8","alias_value":"CZHN576F","created_at":"2026-07-27T00:19:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:CZHN576FT534E2QYNB4NXAWLQZ","target":"record","payload":{"canonical_record":{"source":{"id":"2506.07874","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-06-09T15:42:39Z","cross_cats_sorted":["math.AG","math.DG"],"title_canon_sha256":"5e82aacb9aa5953c77cd7e383cff2c9c9fa59acf026b007be6e6d919cf1547a9","abstract_canon_sha256":"79e4c5719fe1e289edd1d1570ed6f528b68b812342a92884bfeebeee3ac772cb"},"schema_version":"1.0"},"canonical_sha256":"164edeffc59f77c26a186878db82cb86744dca80ff3e5cf94f2f9fc99b354c3e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-27T00:19:43.042832Z","signature_b64":"oeTHeJ1a6pfuStMA3KJF6GLfnM/I90WLVLmm+ZmzhGmFiXwu9dd84bRPiLgCn6xVSh8fYT2edMnQU2aOeD7mDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"164edeffc59f77c26a186878db82cb86744dca80ff3e5cf94f2f9fc99b354c3e","last_reissued_at":"2026-07-27T00:19:43.041793Z","signature_status":"signed_v1","first_computed_at":"2026-07-27T00:19:43.041793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.07874","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-27T00:19:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rr1YDJnfHSrfTLUl3VI66Io6w0J2I7cfAZi3vzLrTQcB1vrq6CgCs4TFzc5vTISMahS97r17LHcEqnMiCaUKBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:55:00.949194Z"},"content_sha256":"36323396ec02fb32934dc6d6d129e79504e3ddebb831070fc9b6c134201cef1d","schema_version":"1.0","event_id":"sha256:36323396ec02fb32934dc6d6d129e79504e3ddebb831070fc9b6c134201cef1d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:CZHN576FT534E2QYNB4NXAWLQZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.AG","math.DG"],"primary_cat":"math.CT","authors_text":"Geoff Vooys, Jean-Simon Pacaud Lemay","submitted_at":"2025-06-09T15:42:39Z","abstract_excerpt":"In this paper we provide a deep and systematic study of what it means to be an immersion, a submersion, a local diffeomorphism, and unramified in a tangent category. We also give a systematic study of the ways in which these classes of morphisms interact, their properties, and give very explicit and concrete characterizations of how each class appears in algebraic geometry, differential geometry, algebra, and in Cartesian differential categories. Additionally, we discuss the notion of being carrable with respect to the tangent bundle projection, then use this to define the notion of horizontal"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07874","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.07874/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-27T00:19:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y4UgrP9GrjZUE3NI3i1VNcKMhAUDDRnLTO2fqsrmye1xu3Ysl2fkhiXDfOkqNKV8mSW76wpLl3+y6QxmzhuuBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T15:55:00.949741Z"},"content_sha256":"ed5ad39f12879704c49cf613d1c8295810463afeacc8ace0e958a33d591971fd","schema_version":"1.0","event_id":"sha256:ed5ad39f12879704c49cf613d1c8295810463afeacc8ace0e958a33d591971fd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CZHN576FT534E2QYNB4NXAWLQZ/bundle.json","state_url":"https://pith.science/pith/CZHN576FT534E2QYNB4NXAWLQZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CZHN576FT534E2QYNB4NXAWLQZ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T15:55:00Z","links":{"resolver":"https://pith.science/pith/CZHN576FT534E2QYNB4NXAWLQZ","bundle":"https://pith.science/pith/CZHN576FT534E2QYNB4NXAWLQZ/bundle.json","state":"https://pith.science/pith/CZHN576FT534E2QYNB4NXAWLQZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CZHN576FT534E2QYNB4NXAWLQZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:CZHN576FT534E2QYNB4NXAWLQZ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"79e4c5719fe1e289edd1d1570ed6f528b68b812342a92884bfeebeee3ac772cb","cross_cats_sorted":["math.AG","math.DG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-06-09T15:42:39Z","title_canon_sha256":"5e82aacb9aa5953c77cd7e383cff2c9c9fa59acf026b007be6e6d919cf1547a9"},"schema_version":"1.0","source":{"id":"2506.07874","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.07874","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"arxiv_version","alias_value":"2506.07874v3","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.07874","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"pith_short_12","alias_value":"CZHN576FT534","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"pith_short_16","alias_value":"CZHN576FT534E2QY","created_at":"2026-07-27T00:19:43Z"},{"alias_kind":"pith_short_8","alias_value":"CZHN576F","created_at":"2026-07-27T00:19:43Z"}],"graph_snapshots":[{"event_id":"sha256:ed5ad39f12879704c49cf613d1c8295810463afeacc8ace0e958a33d591971fd","target":"graph","created_at":"2026-07-27T00:19:43Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2506.07874/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this paper we provide a deep and systematic study of what it means to be an immersion, a submersion, a local diffeomorphism, and unramified in a tangent category. We also give a systematic study of the ways in which these classes of morphisms interact, their properties, and give very explicit and concrete characterizations of how each class appears in algebraic geometry, differential geometry, algebra, and in Cartesian differential categories. Additionally, we discuss the notion of being carrable with respect to the tangent bundle projection, then use this to define the notion of horizontal","authors_text":"Geoff Vooys, Jean-Simon Pacaud Lemay","cross_cats":["math.AG","math.DG"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-06-09T15:42:39Z","title":"Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.07874","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:36323396ec02fb32934dc6d6d129e79504e3ddebb831070fc9b6c134201cef1d","target":"record","created_at":"2026-07-27T00:19:43Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"79e4c5719fe1e289edd1d1570ed6f528b68b812342a92884bfeebeee3ac772cb","cross_cats_sorted":["math.AG","math.DG"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-06-09T15:42:39Z","title_canon_sha256":"5e82aacb9aa5953c77cd7e383cff2c9c9fa59acf026b007be6e6d919cf1547a9"},"schema_version":"1.0","source":{"id":"2506.07874","kind":"arxiv","version":3}},"canonical_sha256":"164edeffc59f77c26a186878db82cb86744dca80ff3e5cf94f2f9fc99b354c3e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"164edeffc59f77c26a186878db82cb86744dca80ff3e5cf94f2f9fc99b354c3e","first_computed_at":"2026-07-27T00:19:43.041793Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-27T00:19:43.041793Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oeTHeJ1a6pfuStMA3KJF6GLfnM/I90WLVLmm+ZmzhGmFiXwu9dd84bRPiLgCn6xVSh8fYT2edMnQU2aOeD7mDQ==","signature_status":"signed_v1","signed_at":"2026-07-27T00:19:43.042832Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.07874","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:36323396ec02fb32934dc6d6d129e79504e3ddebb831070fc9b6c134201cef1d","sha256:ed5ad39f12879704c49cf613d1c8295810463afeacc8ace0e958a33d591971fd"],"state_sha256":"930af2a4137bb7cb663d8feb4ef5b8027a022e8f03d5620940708f51d8912d64"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1WZs5e1autk5rTtsL+/yisT0dWYKY0/9TNm+nvVhTys56L4kYmC/oSz1T42yDHA6fk07lcSl+QNaqI0vcVWTCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T15:55:00.954572Z","bundle_sha256":"46aaea479ea9d20d45021224510a0ef53eb74a7eac531a482b7a4bbe55687e0e"}}