{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:4MBJG46QOUOYR5EKXUS55QOMYQ","short_pith_number":"pith:4MBJG46Q","canonical_record":{"source":{"id":"1707.07104","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2017-07-22T04:34:36Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"9ee22ae2aea3ec1f882feeb0ee1c0c040df9354cf218031ef45f1fa725938b4d","abstract_canon_sha256":"35dafb00839b3eadb79c9175c627918a64354fa43230cee6d776b931022e0e48"},"schema_version":"1.0"},"canonical_sha256":"e3029373d0751d88f48abd25dec1ccc4106370fed10a9367394ebe0505b37e53","source":{"kind":"arxiv","id":"1707.07104","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.07104","created_at":"2026-05-18T00:08:16Z"},{"alias_kind":"arxiv_version","alias_value":"1707.07104v4","created_at":"2026-05-18T00:08:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.07104","created_at":"2026-05-18T00:08:16Z"},{"alias_kind":"pith_short_12","alias_value":"4MBJG46QOUOY","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"4MBJG46QOUOYR5EK","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"4MBJG46Q","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:4MBJG46QOUOYR5EKXUS55QOMYQ","target":"record","payload":{"canonical_record":{"source":{"id":"1707.07104","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2017-07-22T04:34:36Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"9ee22ae2aea3ec1f882feeb0ee1c0c040df9354cf218031ef45f1fa725938b4d","abstract_canon_sha256":"35dafb00839b3eadb79c9175c627918a64354fa43230cee6d776b931022e0e48"},"schema_version":"1.0"},"canonical_sha256":"e3029373d0751d88f48abd25dec1ccc4106370fed10a9367394ebe0505b37e53","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:16.028658Z","signature_b64":"I/uOS1G8cjyBmpuptxeV42NVvAghQ7AE0R54LunIkrOBOJUJ/xcPKeItSYruYxHnjkGdGkBgT6BUeh9pGwQxCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e3029373d0751d88f48abd25dec1ccc4106370fed10a9367394ebe0505b37e53","last_reissued_at":"2026-05-18T00:08:16.028267Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:16.028267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.07104","source_version":4,"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-05-18T00:08:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"worVoQ3Fhv45kwKSwAhNuaoXpkg4jvWglRE51XuJS0RZeWcbeudMhoLPcd0gay2My4gUVwY9Be+bwF3ZoeY0BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T08:07:38.159418Z"},"content_sha256":"f809911337979f0362848c82476e9552aa55e676378167147fd543357469c989","schema_version":"1.0","event_id":"sha256:f809911337979f0362848c82476e9552aa55e676378167147fd543357469c989"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:4MBJG46QOUOYR5EKXUS55QOMYQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The homotopy theory of coalgebras over simplicial comonads","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.AT","authors_text":"Kathryn Hess, Magdalena Kedziorek","submitted_at":"2017-07-22T04:34:36Z","abstract_excerpt":"We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from simplicial adjunctions, under mild conditions on the adjunction and the associated comonad. We study three concrete examples of such adjunctions where the left adjoint is comonadic and show that in each case the component of the derived counit of the comparison adjunction at any fibrant object is an isomorphism, while the component of the derived unit at any 1"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.07104","kind":"arxiv","version":4},"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"},"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-05-18T00:08:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nodXzmXQOF2dWnAG8NfaI4pBRPumGjuQh/iwJGGN2j+oWz1Untbq6Inm1ilcPrMxvVqaMhVDThG21dCp1+HkBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T08:07:38.159759Z"},"content_sha256":"2b7f30335c96f5ed5391024dbed7545c8b75f3f756e6f73f21e469d42a36b473","schema_version":"1.0","event_id":"sha256:2b7f30335c96f5ed5391024dbed7545c8b75f3f756e6f73f21e469d42a36b473"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4MBJG46QOUOYR5EKXUS55QOMYQ/bundle.json","state_url":"https://pith.science/pith/4MBJG46QOUOYR5EKXUS55QOMYQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4MBJG46QOUOYR5EKXUS55QOMYQ/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-06-27T08:07:38Z","links":{"resolver":"https://pith.science/pith/4MBJG46QOUOYR5EKXUS55QOMYQ","bundle":"https://pith.science/pith/4MBJG46QOUOYR5EKXUS55QOMYQ/bundle.json","state":"https://pith.science/pith/4MBJG46QOUOYR5EKXUS55QOMYQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4MBJG46QOUOYR5EKXUS55QOMYQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:4MBJG46QOUOYR5EKXUS55QOMYQ","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":"35dafb00839b3eadb79c9175c627918a64354fa43230cee6d776b931022e0e48","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2017-07-22T04:34:36Z","title_canon_sha256":"9ee22ae2aea3ec1f882feeb0ee1c0c040df9354cf218031ef45f1fa725938b4d"},"schema_version":"1.0","source":{"id":"1707.07104","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.07104","created_at":"2026-05-18T00:08:16Z"},{"alias_kind":"arxiv_version","alias_value":"1707.07104v4","created_at":"2026-05-18T00:08:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.07104","created_at":"2026-05-18T00:08:16Z"},{"alias_kind":"pith_short_12","alias_value":"4MBJG46QOUOY","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"4MBJG46QOUOYR5EK","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"4MBJG46Q","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:2b7f30335c96f5ed5391024dbed7545c8b75f3f756e6f73f21e469d42a36b473","target":"graph","created_at":"2026-05-18T00:08:16Z","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"},"paper":{"abstract_excerpt":"We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from simplicial adjunctions, under mild conditions on the adjunction and the associated comonad. We study three concrete examples of such adjunctions where the left adjoint is comonadic and show that in each case the component of the derived counit of the comparison adjunction at any fibrant object is an isomorphism, while the component of the derived unit at any 1","authors_text":"Kathryn Hess, Magdalena Kedziorek","cross_cats":["math.CT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2017-07-22T04:34:36Z","title":"The homotopy theory of coalgebras over simplicial comonads"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.07104","kind":"arxiv","version":4},"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:f809911337979f0362848c82476e9552aa55e676378167147fd543357469c989","target":"record","created_at":"2026-05-18T00:08:16Z","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":"35dafb00839b3eadb79c9175c627918a64354fa43230cee6d776b931022e0e48","cross_cats_sorted":["math.CT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2017-07-22T04:34:36Z","title_canon_sha256":"9ee22ae2aea3ec1f882feeb0ee1c0c040df9354cf218031ef45f1fa725938b4d"},"schema_version":"1.0","source":{"id":"1707.07104","kind":"arxiv","version":4}},"canonical_sha256":"e3029373d0751d88f48abd25dec1ccc4106370fed10a9367394ebe0505b37e53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e3029373d0751d88f48abd25dec1ccc4106370fed10a9367394ebe0505b37e53","first_computed_at":"2026-05-18T00:08:16.028267Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:16.028267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"I/uOS1G8cjyBmpuptxeV42NVvAghQ7AE0R54LunIkrOBOJUJ/xcPKeItSYruYxHnjkGdGkBgT6BUeh9pGwQxCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:16.028658Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.07104","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f809911337979f0362848c82476e9552aa55e676378167147fd543357469c989","sha256:2b7f30335c96f5ed5391024dbed7545c8b75f3f756e6f73f21e469d42a36b473"],"state_sha256":"b991c105c3f611e67777164d05b7eb2df6cf5c03a1ed8d026a3f28c40de80037"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xMhI2Oye7vcr7t2mmETdfmUOsXY93plVt+mLgie7pi2umlCL3NJqyeZvehaqZsD8RXOvzMAhensHNZ6Takf5Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T08:07:38.161612Z","bundle_sha256":"5885aedd0e9c74eb608687e1de05547a58627ead5e057a50b915103eacc94e37"}}