{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:45C3SHJTAWJP3Q6R35LIRGDTTH","short_pith_number":"pith:45C3SHJT","canonical_record":{"source":{"id":"1207.3600","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-07-16T08:34:48Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"f08a33734bbe8406be010901ca84f666a7ad75dbf803ce9f75047cee97d5db4f","abstract_canon_sha256":"4ca30f1e75ee90b42de7843f9de80cda804aec674996c439874707a080df9567"},"schema_version":"1.0"},"canonical_sha256":"e745b91d330592fdc3d1df5688987399ff4852a8536ef37f2a5cb96e12ad27aa","source":{"kind":"arxiv","id":"1207.3600","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.3600","created_at":"2026-05-18T03:16:17Z"},{"alias_kind":"arxiv_version","alias_value":"1207.3600v1","created_at":"2026-05-18T03:16:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.3600","created_at":"2026-05-18T03:16:17Z"},{"alias_kind":"pith_short_12","alias_value":"45C3SHJTAWJP","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"45C3SHJTAWJP3Q6R","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"45C3SHJT","created_at":"2026-05-18T12:26:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:45C3SHJTAWJP3Q6R35LIRGDTTH","target":"record","payload":{"canonical_record":{"source":{"id":"1207.3600","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-07-16T08:34:48Z","cross_cats_sorted":["math.GR"],"title_canon_sha256":"f08a33734bbe8406be010901ca84f666a7ad75dbf803ce9f75047cee97d5db4f","abstract_canon_sha256":"4ca30f1e75ee90b42de7843f9de80cda804aec674996c439874707a080df9567"},"schema_version":"1.0"},"canonical_sha256":"e745b91d330592fdc3d1df5688987399ff4852a8536ef37f2a5cb96e12ad27aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:17.304667Z","signature_b64":"e+e7/ZE3UYePSgNXRaeWdGpxv15lACZdt67SF3wrzY6GfyX6SKrAAegBvd3M2gHsQKHwh3347b3CVzL9EPRmDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e745b91d330592fdc3d1df5688987399ff4852a8536ef37f2a5cb96e12ad27aa","last_reissued_at":"2026-05-18T03:16:17.303860Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:17.303860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1207.3600","source_version":1,"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-18T03:16:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aCq0sf9soSx72Au6lBPw/6QxmUTviFjbeHrgi4rhiTWkhy0DhvRExd3wbRIZKII+ZryvkZhj8HtuyS85p+4pAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T01:34:00.870500Z"},"content_sha256":"b5049d7bae4e08676a0c507da8979fbe685b0255598b38e0b57dbc2ebb9429b5","schema_version":"1.0","event_id":"sha256:b5049d7bae4e08676a0c507da8979fbe685b0255598b38e0b57dbc2ebb9429b5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:45C3SHJTAWJP3Q6R35LIRGDTTH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A categorical approach to loops, neardomains and nearfields","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.GR"],"primary_cat":"math.CT","authors_text":"Philippe Cara, Rudger Kieboom, Tina Vervloet","submitted_at":"2012-07-16T08:34:48Z","abstract_excerpt":"In this paper we study loops, neardomains and nearfields from a categorical point of view. By choosing the right kind of morphisms, we can show that the category of neardomains is equivalent to the category of sharply 2-transitive groups. The other categories are also shown to be equivalent with categories whose objects are sets of permutations with suitable extra properties.\n  Up to now the equivalence between neardomains and sharply 2-transitive groups was only known when both categories were equipped with the obvious isomorphisms as morphisms. We thank Hubert Kiechle for this observation."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.3600","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"},"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-18T03:16:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4YuFmsz1xzYlWdUW5ZEmdL4vsO5FZ2h/Sh3z3AWXbowIfiFmVst+zRpCVaJQanR1oqAMUcKsgFasttV6H+rmCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T01:34:00.871206Z"},"content_sha256":"9217df90fb0e195b1f029d044f8616156c9f2460b1084018f9a8d6a74cf1755a","schema_version":"1.0","event_id":"sha256:9217df90fb0e195b1f029d044f8616156c9f2460b1084018f9a8d6a74cf1755a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/45C3SHJTAWJP3Q6R35LIRGDTTH/bundle.json","state_url":"https://pith.science/pith/45C3SHJTAWJP3Q6R35LIRGDTTH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/45C3SHJTAWJP3Q6R35LIRGDTTH/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-10T01:34:00Z","links":{"resolver":"https://pith.science/pith/45C3SHJTAWJP3Q6R35LIRGDTTH","bundle":"https://pith.science/pith/45C3SHJTAWJP3Q6R35LIRGDTTH/bundle.json","state":"https://pith.science/pith/45C3SHJTAWJP3Q6R35LIRGDTTH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/45C3SHJTAWJP3Q6R35LIRGDTTH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:45C3SHJTAWJP3Q6R35LIRGDTTH","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":"4ca30f1e75ee90b42de7843f9de80cda804aec674996c439874707a080df9567","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-07-16T08:34:48Z","title_canon_sha256":"f08a33734bbe8406be010901ca84f666a7ad75dbf803ce9f75047cee97d5db4f"},"schema_version":"1.0","source":{"id":"1207.3600","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1207.3600","created_at":"2026-05-18T03:16:17Z"},{"alias_kind":"arxiv_version","alias_value":"1207.3600v1","created_at":"2026-05-18T03:16:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1207.3600","created_at":"2026-05-18T03:16:17Z"},{"alias_kind":"pith_short_12","alias_value":"45C3SHJTAWJP","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_16","alias_value":"45C3SHJTAWJP3Q6R","created_at":"2026-05-18T12:26:53Z"},{"alias_kind":"pith_short_8","alias_value":"45C3SHJT","created_at":"2026-05-18T12:26:53Z"}],"graph_snapshots":[{"event_id":"sha256:9217df90fb0e195b1f029d044f8616156c9f2460b1084018f9a8d6a74cf1755a","target":"graph","created_at":"2026-05-18T03:16:17Z","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":"In this paper we study loops, neardomains and nearfields from a categorical point of view. By choosing the right kind of morphisms, we can show that the category of neardomains is equivalent to the category of sharply 2-transitive groups. The other categories are also shown to be equivalent with categories whose objects are sets of permutations with suitable extra properties.\n  Up to now the equivalence between neardomains and sharply 2-transitive groups was only known when both categories were equipped with the obvious isomorphisms as morphisms. We thank Hubert Kiechle for this observation.","authors_text":"Philippe Cara, Rudger Kieboom, Tina Vervloet","cross_cats":["math.GR"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-07-16T08:34:48Z","title":"A categorical approach to loops, neardomains and nearfields"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1207.3600","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:b5049d7bae4e08676a0c507da8979fbe685b0255598b38e0b57dbc2ebb9429b5","target":"record","created_at":"2026-05-18T03:16:17Z","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":"4ca30f1e75ee90b42de7843f9de80cda804aec674996c439874707a080df9567","cross_cats_sorted":["math.GR"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2012-07-16T08:34:48Z","title_canon_sha256":"f08a33734bbe8406be010901ca84f666a7ad75dbf803ce9f75047cee97d5db4f"},"schema_version":"1.0","source":{"id":"1207.3600","kind":"arxiv","version":1}},"canonical_sha256":"e745b91d330592fdc3d1df5688987399ff4852a8536ef37f2a5cb96e12ad27aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e745b91d330592fdc3d1df5688987399ff4852a8536ef37f2a5cb96e12ad27aa","first_computed_at":"2026-05-18T03:16:17.303860Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:17.303860Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e+e7/ZE3UYePSgNXRaeWdGpxv15lACZdt67SF3wrzY6GfyX6SKrAAegBvd3M2gHsQKHwh3347b3CVzL9EPRmDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:17.304667Z","signed_message":"canonical_sha256_bytes"},"source_id":"1207.3600","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b5049d7bae4e08676a0c507da8979fbe685b0255598b38e0b57dbc2ebb9429b5","sha256:9217df90fb0e195b1f029d044f8616156c9f2460b1084018f9a8d6a74cf1755a"],"state_sha256":"87bf428990f8b56ad03575fa536984482d6eaf624bc0f6d49cbac4ee75328931"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jG+LaKxdFc0m8ANJHuSpphlWg7bCVOKmUJEjTk2TZF7lltPNrKEm0Kk8gFrMmDy1IUVxkA+Omc64JNErRlTcAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T01:34:00.875030Z","bundle_sha256":"98ecfe012d77659bb31a5d419cabc03e82822ac9646d0c85a6343883df85fa5a"}}