{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:6ZBHEEVJ5PNO2PH7LESC4HIVSY","short_pith_number":"pith:6ZBHEEVJ","schema_version":"1.0","canonical_sha256":"f6427212a9ebdaed3cff59242e1d159635731a37d901e2bbeb7b16286449ea9c","source":{"kind":"arxiv","id":"1905.06195","version":1},"attestation_state":"computed","paper":{"title":"On the Universal Property of Derived Manifolds","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG","math.CT"],"primary_cat":"math.AT","authors_text":"David Carchedi, Pelle Steffens","submitted_at":"2019-05-15T14:03:38Z","abstract_excerpt":"It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equivalence. Namely, the $\\infty$-category $\\mathbf{DMfd}$ of derived manifolds has finite limits, is idempotent complete, and receives a functor from the category of manifolds which preserves transverse pullbacks and the terminal object, and moreover is universal with respect to these properties. We then show this universal property is equivalent to another one, intimately linking the $\\infty$-category of derived manif"},"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":"1905.06195","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2019-05-15T14:03:38Z","cross_cats_sorted":["math.AG","math.CT"],"title_canon_sha256":"52d989fa367d5932a8ba6f56bdb84125a24f0683e4397c2feeb48662c79ffe0f","abstract_canon_sha256":"8db84d3562be2addf381bbcc2203ae5fa7d99475d28df0b99779bef50d114f22"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:07.213173Z","signature_b64":"ce2i/8yYr7xP099gmDrY+0fLMpCZ5ScN0UC0MYL7ji+B3vIRGwMJidbSrei+zvfN+fCz+wtvpLA7FfpK4UaCBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f6427212a9ebdaed3cff59242e1d159635731a37d901e2bbeb7b16286449ea9c","last_reissued_at":"2026-05-17T23:46:07.212605Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:07.212605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Universal Property of Derived Manifolds","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.AG","math.CT"],"primary_cat":"math.AT","authors_text":"David Carchedi, Pelle Steffens","submitted_at":"2019-05-15T14:03:38Z","abstract_excerpt":"It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equivalence. Namely, the $\\infty$-category $\\mathbf{DMfd}$ of derived manifolds has finite limits, is idempotent complete, and receives a functor from the category of manifolds which preserves transverse pullbacks and the terminal object, and moreover is universal with respect to these properties. We then show this universal property is equivalent to another one, intimately linking the $\\infty$-category of derived manif"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.06195","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":""},"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":"1905.06195","created_at":"2026-05-17T23:46:07.212706+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.06195v1","created_at":"2026-05-17T23:46:07.212706+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.06195","created_at":"2026-05-17T23:46:07.212706+00:00"},{"alias_kind":"pith_short_12","alias_value":"6ZBHEEVJ5PNO","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_16","alias_value":"6ZBHEEVJ5PNO2PH7","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_8","alias_value":"6ZBHEEVJ","created_at":"2026-05-18T12:33:10.108867+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.24164","citing_title":"A Bornological Perspective on the Representability of Derived Moduli Stacks of Solutions to PDEs","ref_index":15,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6ZBHEEVJ5PNO2PH7LESC4HIVSY","json":"https://pith.science/pith/6ZBHEEVJ5PNO2PH7LESC4HIVSY.json","graph_json":"https://pith.science/api/pith-number/6ZBHEEVJ5PNO2PH7LESC4HIVSY/graph.json","events_json":"https://pith.science/api/pith-number/6ZBHEEVJ5PNO2PH7LESC4HIVSY/events.json","paper":"https://pith.science/paper/6ZBHEEVJ"},"agent_actions":{"view_html":"https://pith.science/pith/6ZBHEEVJ5PNO2PH7LESC4HIVSY","download_json":"https://pith.science/pith/6ZBHEEVJ5PNO2PH7LESC4HIVSY.json","view_paper":"https://pith.science/paper/6ZBHEEVJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.06195&json=true","fetch_graph":"https://pith.science/api/pith-number/6ZBHEEVJ5PNO2PH7LESC4HIVSY/graph.json","fetch_events":"https://pith.science/api/pith-number/6ZBHEEVJ5PNO2PH7LESC4HIVSY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6ZBHEEVJ5PNO2PH7LESC4HIVSY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6ZBHEEVJ5PNO2PH7LESC4HIVSY/action/storage_attestation","attest_author":"https://pith.science/pith/6ZBHEEVJ5PNO2PH7LESC4HIVSY/action/author_attestation","sign_citation":"https://pith.science/pith/6ZBHEEVJ5PNO2PH7LESC4HIVSY/action/citation_signature","submit_replication":"https://pith.science/pith/6ZBHEEVJ5PNO2PH7LESC4HIVSY/action/replication_record"}},"created_at":"2026-05-17T23:46:07.212706+00:00","updated_at":"2026-05-17T23:46:07.212706+00:00"}