{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:YVXCDVAK45VORH6X2K2Y3RBRPV","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":"67ef3d41349e2902fe60527907056d322f95eb9e6ac7f03ce12e84388dc8c01d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2019-04-24T13:27:53Z","title_canon_sha256":"19a94e1fab629a4c9d2bdb4aad154d33481e00461e0a16ab10baaf0d2f5a21f5"},"schema_version":"1.0","source":{"id":"1904.10805","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.10805","created_at":"2026-05-17T23:47:49Z"},{"alias_kind":"arxiv_version","alias_value":"1904.10805v1","created_at":"2026-05-17T23:47:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.10805","created_at":"2026-05-17T23:47:49Z"},{"alias_kind":"pith_short_12","alias_value":"YVXCDVAK45VO","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_16","alias_value":"YVXCDVAK45VORH6X","created_at":"2026-05-18T12:33:33Z"},{"alias_kind":"pith_short_8","alias_value":"YVXCDVAK","created_at":"2026-05-18T12:33:33Z"}],"graph_snapshots":[{"event_id":"sha256:2c61ab66bfc8665c7873877ba39eb6375356b95e0a63019174e7e22f53fe0d5f","target":"graph","created_at":"2026-05-17T23:47:49Z","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":"A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity-on-objects endofunctor. Dagger categories with additional structure have been studied under different names e.g. in categorical quantum mechanics and algebraic field theory. In this thesis we study the dagger in its own right and show how basic category theory adapts to dagger categories.\n  We develop a notion of a dagger limit that we show is suitable in the following ways: it subsumes special cases known from the literature; dagger limits are unique up to unitary is","authors_text":"Martti Karvonen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2019-04-24T13:27:53Z","title":"The Way of the Dagger"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.10805","kind":"arxiv","version":1},"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:3bcc7e49ab4071de3c9a0a54a030719226f82404ec3435e70af489f707daa3de","target":"record","created_at":"2026-05-17T23:47:49Z","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":"67ef3d41349e2902fe60527907056d322f95eb9e6ac7f03ce12e84388dc8c01d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2019-04-24T13:27:53Z","title_canon_sha256":"19a94e1fab629a4c9d2bdb4aad154d33481e00461e0a16ab10baaf0d2f5a21f5"},"schema_version":"1.0","source":{"id":"1904.10805","kind":"arxiv","version":1}},"canonical_sha256":"c56e21d40ae76ae89fd7d2b58dc4317d4e2ceb76b51f52fd1e6a12febcd29951","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c56e21d40ae76ae89fd7d2b58dc4317d4e2ceb76b51f52fd1e6a12febcd29951","first_computed_at":"2026-05-17T23:47:49.968087Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:49.968087Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8jtjuVkMSHA7rb/vmdcXLOyRJ9mP+fQWRlQDhz376+pgW3AmsjcUil02UmaCCatuSr3ijU1KDiyZZ7i9i86OAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:49.968708Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.10805","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3bcc7e49ab4071de3c9a0a54a030719226f82404ec3435e70af489f707daa3de","sha256:2c61ab66bfc8665c7873877ba39eb6375356b95e0a63019174e7e22f53fe0d5f"],"state_sha256":"47c4fca99b464a18f19f403c4078c4f892dbe0b51d956d5e435889723eea41fa"}