{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:YE6RRK7XCOJTVDW3V33YI2WVS5","short_pith_number":"pith:YE6RRK7X","canonical_record":{"source":{"id":"2303.05434","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-03-09T17:25:37Z","cross_cats_sorted":[],"title_canon_sha256":"1a2220e6b9682b38b83ec7de77089a7db192153ffca1ee806a4b344a01052b14","abstract_canon_sha256":"84dcb57136626efe5a03d6ee429e10588ce923cf7435c4028d90df4a42d7d3b2"},"schema_version":"1.0"},"canonical_sha256":"c13d18abf713933a8edbaef7846ad59777dd392e11d297ba41aac45660729df3","source":{"kind":"arxiv","id":"2303.05434","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.05434","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"arxiv_version","alias_value":"2303.05434v5","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.05434","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"pith_short_12","alias_value":"YE6RRK7XCOJT","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"pith_short_16","alias_value":"YE6RRK7XCOJTVDW3","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"pith_short_8","alias_value":"YE6RRK7X","created_at":"2026-07-05T08:05:48Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:YE6RRK7XCOJTVDW3V33YI2WVS5","target":"record","payload":{"canonical_record":{"source":{"id":"2303.05434","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-03-09T17:25:37Z","cross_cats_sorted":[],"title_canon_sha256":"1a2220e6b9682b38b83ec7de77089a7db192153ffca1ee806a4b344a01052b14","abstract_canon_sha256":"84dcb57136626efe5a03d6ee429e10588ce923cf7435c4028d90df4a42d7d3b2"},"schema_version":"1.0"},"canonical_sha256":"c13d18abf713933a8edbaef7846ad59777dd392e11d297ba41aac45660729df3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:05:48.077090Z","signature_b64":"ZvSSOChR3vqd9IBubbe5Asbinldx9WyRZoD8U4104j3NBGd3QvLk7HUq8tR2nbHdsmkoDcCXg+5S24nOX4sWCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c13d18abf713933a8edbaef7846ad59777dd392e11d297ba41aac45660729df3","last_reissued_at":"2026-07-05T08:05:48.076681Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:05:48.076681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.05434","source_version":5,"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-05T08:05:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6nNy7ltJZRJaGLkVnrLUl1hc1DVGrljjl5+/cZst3RB3s6TYoM16aLUFcg286EQaKT3u9gk8HjFAOgQ1kqVFAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T12:26:29.322233Z"},"content_sha256":"0a019e91b15c653f20961959d1af32bcd09516c9261f8eece1dacc70e419cb71","schema_version":"1.0","event_id":"sha256:0a019e91b15c653f20961959d1af32bcd09516c9261f8eece1dacc70e419cb71"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:YE6RRK7XCOJTVDW3V33YI2WVS5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Rosick\\'y Tangent Categories of Algebras over an Operad","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Jean-Simon Pacaud Lemay, Marcello Lanfranchi, Sacha Ikonicoff","submitted_at":"2023-03-09T17:25:37Z","abstract_excerpt":"Tangent categories provide a categorical axiomatization of the tangent bundle. There are many interesting examples and applications of tangent categories in a variety of areas such as differential geometry, algebraic geometry, algebra, and even computer science. The purpose of this paper is to expand the theory of tangent categories in a new direction: the theory of operads. The main result of this paper is that both the category of algebras of an operad and its opposite category are tangent categories. The tangent bundle for the category of algebras is given by the semi-direct product, while "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.05434","kind":"arxiv","version":5},"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/2303.05434/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-05T08:05:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KqdopsadGvuNsrpYPmiiMLif4SeW3yJLsoGCelZHQBio09QHuurfvpNkermZ0XP4cS4v9D/XGhcGlcy0AHcVBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T12:26:29.324052Z"},"content_sha256":"3529de5e059247ce9a0d9fb8c5bda518e60b579f855c91fb3412df0f23f576df","schema_version":"1.0","event_id":"sha256:3529de5e059247ce9a0d9fb8c5bda518e60b579f855c91fb3412df0f23f576df"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YE6RRK7XCOJTVDW3V33YI2WVS5/bundle.json","state_url":"https://pith.science/pith/YE6RRK7XCOJTVDW3V33YI2WVS5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YE6RRK7XCOJTVDW3V33YI2WVS5/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-19T12:26:29Z","links":{"resolver":"https://pith.science/pith/YE6RRK7XCOJTVDW3V33YI2WVS5","bundle":"https://pith.science/pith/YE6RRK7XCOJTVDW3V33YI2WVS5/bundle.json","state":"https://pith.science/pith/YE6RRK7XCOJTVDW3V33YI2WVS5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YE6RRK7XCOJTVDW3V33YI2WVS5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YE6RRK7XCOJTVDW3V33YI2WVS5","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":"84dcb57136626efe5a03d6ee429e10588ce923cf7435c4028d90df4a42d7d3b2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-03-09T17:25:37Z","title_canon_sha256":"1a2220e6b9682b38b83ec7de77089a7db192153ffca1ee806a4b344a01052b14"},"schema_version":"1.0","source":{"id":"2303.05434","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.05434","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"arxiv_version","alias_value":"2303.05434v5","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.05434","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"pith_short_12","alias_value":"YE6RRK7XCOJT","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"pith_short_16","alias_value":"YE6RRK7XCOJTVDW3","created_at":"2026-07-05T08:05:48Z"},{"alias_kind":"pith_short_8","alias_value":"YE6RRK7X","created_at":"2026-07-05T08:05:48Z"}],"graph_snapshots":[{"event_id":"sha256:3529de5e059247ce9a0d9fb8c5bda518e60b579f855c91fb3412df0f23f576df","target":"graph","created_at":"2026-07-05T08:05:48Z","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/2303.05434/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Tangent categories provide a categorical axiomatization of the tangent bundle. There are many interesting examples and applications of tangent categories in a variety of areas such as differential geometry, algebraic geometry, algebra, and even computer science. The purpose of this paper is to expand the theory of tangent categories in a new direction: the theory of operads. The main result of this paper is that both the category of algebras of an operad and its opposite category are tangent categories. The tangent bundle for the category of algebras is given by the semi-direct product, while ","authors_text":"Jean-Simon Pacaud Lemay, Marcello Lanfranchi, Sacha Ikonicoff","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-03-09T17:25:37Z","title":"The Rosick\\'y Tangent Categories of Algebras over an Operad"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.05434","kind":"arxiv","version":5},"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:0a019e91b15c653f20961959d1af32bcd09516c9261f8eece1dacc70e419cb71","target":"record","created_at":"2026-07-05T08:05:48Z","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":"84dcb57136626efe5a03d6ee429e10588ce923cf7435c4028d90df4a42d7d3b2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2023-03-09T17:25:37Z","title_canon_sha256":"1a2220e6b9682b38b83ec7de77089a7db192153ffca1ee806a4b344a01052b14"},"schema_version":"1.0","source":{"id":"2303.05434","kind":"arxiv","version":5}},"canonical_sha256":"c13d18abf713933a8edbaef7846ad59777dd392e11d297ba41aac45660729df3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c13d18abf713933a8edbaef7846ad59777dd392e11d297ba41aac45660729df3","first_computed_at":"2026-07-05T08:05:48.076681Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:05:48.076681Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZvSSOChR3vqd9IBubbe5Asbinldx9WyRZoD8U4104j3NBGd3QvLk7HUq8tR2nbHdsmkoDcCXg+5S24nOX4sWCg==","signature_status":"signed_v1","signed_at":"2026-07-05T08:05:48.077090Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.05434","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0a019e91b15c653f20961959d1af32bcd09516c9261f8eece1dacc70e419cb71","sha256:3529de5e059247ce9a0d9fb8c5bda518e60b579f855c91fb3412df0f23f576df"],"state_sha256":"cb25f03059bed0f8f5883adbbdbbe567f47706a35258361739d81bdae681dced"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lq2KAtlIkBBYEbyI5EV58zwBwPbJgi9l4oy6TfvloXuuWqM6wnq1GRVi8ALlspl45G7cF/8gtbRthJOzJqPkBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T12:26:29.331823Z","bundle_sha256":"1aa719c6f010bbb1ee024d48b7c6e6e00e245d97b96ee0978e775992ca0f61d8"}}