{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:2KWMI2RD7X54BP3IKPIRMGK4WH","short_pith_number":"pith:2KWMI2RD","schema_version":"1.0","canonical_sha256":"d2acc46a23fdfbc0bf6853d116195cb1d4d464f0ebe5296ab42502b047d54b9c","source":{"kind":"arxiv","id":"1411.5425","version":3},"attestation_state":"computed","paper":{"title":"Tangent spaces and tangent bundles for diffeological spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DG","authors_text":"Enxin Wu, J. Daniel Christensen","submitted_at":"2014-11-20T02:39:55Z","abstract_excerpt":"We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions. The internal tangent space of a diffeological space is defined using smooth curves into the space, and the external tangent space is defined using smooth derivations on germs of smooth functions. We prove fundamental results about these tangent spaces, compute them in many examples, and observe that while they agree for smooth manifolds and many of the exam"},"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":"1411.5425","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.DG","submitted_at":"2014-11-20T02:39:55Z","cross_cats_sorted":[],"title_canon_sha256":"70fabe8897e31511ae1757d5ac18601c0ff517411325db255c1aac5b36f10c3a","abstract_canon_sha256":"804f72f42eb3b8684c5be43d5ed9a6313e33aa694ed8e6360df83685d9f2b852"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:42.015548Z","signature_b64":"HVLr95519BR/hBMdAgpM/X37zcuvTF+AM+Cp7d8x2ZEEmfvj4hHSE5NR4yTt8mSgJL3Hfyk/xuWUiL4Dec/IAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d2acc46a23fdfbc0bf6853d116195cb1d4d464f0ebe5296ab42502b047d54b9c","last_reissued_at":"2026-05-18T00:40:42.014918Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:42.014918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tangent spaces and tangent bundles for diffeological spaces","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.DG","authors_text":"Enxin Wu, J. Daniel Christensen","submitted_at":"2014-11-20T02:39:55Z","abstract_excerpt":"We study how the notion of tangent space can be extended from smooth manifolds to diffeological spaces, which are generalizations of smooth manifolds that include singular spaces and infinite-dimensional spaces. We focus on two definitions. The internal tangent space of a diffeological space is defined using smooth curves into the space, and the external tangent space is defined using smooth derivations on germs of smooth functions. We prove fundamental results about these tangent spaces, compute them in many examples, and observe that while they agree for smooth manifolds and many of the exam"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.5425","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":"1411.5425","created_at":"2026-05-18T00:40:42.015021+00:00"},{"alias_kind":"arxiv_version","alias_value":"1411.5425v3","created_at":"2026-05-18T00:40:42.015021+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.5425","created_at":"2026-05-18T00:40:42.015021+00:00"},{"alias_kind":"pith_short_12","alias_value":"2KWMI2RD7X54","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_16","alias_value":"2KWMI2RD7X54BP3I","created_at":"2026-05-18T12:28:11.866339+00:00"},{"alias_kind":"pith_short_8","alias_value":"2KWMI2RD","created_at":"2026-05-18T12:28:11.866339+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2101.06757","citing_title":"Higher Order Automatic Differentiation of Higher Order Functions","ref_index":9,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/2KWMI2RD7X54BP3IKPIRMGK4WH","json":"https://pith.science/pith/2KWMI2RD7X54BP3IKPIRMGK4WH.json","graph_json":"https://pith.science/api/pith-number/2KWMI2RD7X54BP3IKPIRMGK4WH/graph.json","events_json":"https://pith.science/api/pith-number/2KWMI2RD7X54BP3IKPIRMGK4WH/events.json","paper":"https://pith.science/paper/2KWMI2RD"},"agent_actions":{"view_html":"https://pith.science/pith/2KWMI2RD7X54BP3IKPIRMGK4WH","download_json":"https://pith.science/pith/2KWMI2RD7X54BP3IKPIRMGK4WH.json","view_paper":"https://pith.science/paper/2KWMI2RD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1411.5425&json=true","fetch_graph":"https://pith.science/api/pith-number/2KWMI2RD7X54BP3IKPIRMGK4WH/graph.json","fetch_events":"https://pith.science/api/pith-number/2KWMI2RD7X54BP3IKPIRMGK4WH/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/2KWMI2RD7X54BP3IKPIRMGK4WH/action/timestamp_anchor","attest_storage":"https://pith.science/pith/2KWMI2RD7X54BP3IKPIRMGK4WH/action/storage_attestation","attest_author":"https://pith.science/pith/2KWMI2RD7X54BP3IKPIRMGK4WH/action/author_attestation","sign_citation":"https://pith.science/pith/2KWMI2RD7X54BP3IKPIRMGK4WH/action/citation_signature","submit_replication":"https://pith.science/pith/2KWMI2RD7X54BP3IKPIRMGK4WH/action/replication_record"}},"created_at":"2026-05-18T00:40:42.015021+00:00","updated_at":"2026-05-18T00:40:42.015021+00:00"}