{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:DLUQBR26IOUO5DPK7ERWW4GO3L","short_pith_number":"pith:DLUQBR26","schema_version":"1.0","canonical_sha256":"1ae900c75e43a8ee8deaf9236b70cedaf23ea909c4e0057010055080d17b4164","source":{"kind":"arxiv","id":"2503.10963","version":2},"attestation_state":"computed","paper":{"title":"A study of Kock's fat Delta","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Nicolai Kraus, Simona Paoli, Sti\\'ephen Pradal, Tom de Jong","submitted_at":"2025-03-14T00:14:04Z","abstract_excerpt":"Motivated by the study of weak identity structures in higher category theory we explore the fat Delta category, a modification of the simplex category introduced by J. Kock and provide a comprehensive study via the theory of monads with arities. Specifically, by proving that the free relative semicategory monad is strongly cartesian and identifying a dense generator, the theory of monads with arities immediately gives rise to the nerve theorem. We characterise the essential image of the nerve via the Segal condition, and show that fat Delta possesses an active-inert factorisation system. Build"},"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":"2503.10963","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-03-14T00:14:04Z","cross_cats_sorted":["math.AT"],"title_canon_sha256":"f1b8ff1b3aa282088f146c843f8d4e9e99829aeeb56f322225ee135109de0874","abstract_canon_sha256":"839ba2fff4c9a85ef1e9b104ca93686899af4be2a82949955530202904ebe31c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-03T01:17:11.031724Z","signature_b64":"jP117RkNhbTIbDrKjpR2HGjdF9n1fO053h652fBriLp/JhgvweantIPc7fXc/ZNdOQ0ELLa0N0oVbx2ewTtTAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1ae900c75e43a8ee8deaf9236b70cedaf23ea909c4e0057010055080d17b4164","last_reissued_at":"2026-07-03T01:17:11.031231Z","signature_status":"signed_v1","first_computed_at":"2026-07-03T01:17:11.031231Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A study of Kock's fat Delta","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.AT"],"primary_cat":"math.CT","authors_text":"Nicolai Kraus, Simona Paoli, Sti\\'ephen Pradal, Tom de Jong","submitted_at":"2025-03-14T00:14:04Z","abstract_excerpt":"Motivated by the study of weak identity structures in higher category theory we explore the fat Delta category, a modification of the simplex category introduced by J. Kock and provide a comprehensive study via the theory of monads with arities. Specifically, by proving that the free relative semicategory monad is strongly cartesian and identifying a dense generator, the theory of monads with arities immediately gives rise to the nerve theorem. We characterise the essential image of the nerve via the Segal condition, and show that fat Delta possesses an active-inert factorisation system. Build"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.10963","kind":"arxiv","version":2},"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/2503.10963/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2503.10963","created_at":"2026-07-03T01:17:11.031288+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.10963v2","created_at":"2026-07-03T01:17:11.031288+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.10963","created_at":"2026-07-03T01:17:11.031288+00:00"},{"alias_kind":"pith_short_12","alias_value":"DLUQBR26IOUO","created_at":"2026-07-03T01:17:11.031288+00:00"},{"alias_kind":"pith_short_16","alias_value":"DLUQBR26IOUO5DPK","created_at":"2026-07-03T01:17:11.031288+00:00"},{"alias_kind":"pith_short_8","alias_value":"DLUQBR26","created_at":"2026-07-03T01:17:11.031288+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2506.01717","citing_title":"On combinatorial aspects of fat Delta","ref_index":2025,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DLUQBR26IOUO5DPK7ERWW4GO3L","json":"https://pith.science/pith/DLUQBR26IOUO5DPK7ERWW4GO3L.json","graph_json":"https://pith.science/api/pith-number/DLUQBR26IOUO5DPK7ERWW4GO3L/graph.json","events_json":"https://pith.science/api/pith-number/DLUQBR26IOUO5DPK7ERWW4GO3L/events.json","paper":"https://pith.science/paper/DLUQBR26"},"agent_actions":{"view_html":"https://pith.science/pith/DLUQBR26IOUO5DPK7ERWW4GO3L","download_json":"https://pith.science/pith/DLUQBR26IOUO5DPK7ERWW4GO3L.json","view_paper":"https://pith.science/paper/DLUQBR26","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.10963&json=true","fetch_graph":"https://pith.science/api/pith-number/DLUQBR26IOUO5DPK7ERWW4GO3L/graph.json","fetch_events":"https://pith.science/api/pith-number/DLUQBR26IOUO5DPK7ERWW4GO3L/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DLUQBR26IOUO5DPK7ERWW4GO3L/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DLUQBR26IOUO5DPK7ERWW4GO3L/action/storage_attestation","attest_author":"https://pith.science/pith/DLUQBR26IOUO5DPK7ERWW4GO3L/action/author_attestation","sign_citation":"https://pith.science/pith/DLUQBR26IOUO5DPK7ERWW4GO3L/action/citation_signature","submit_replication":"https://pith.science/pith/DLUQBR26IOUO5DPK7ERWW4GO3L/action/replication_record"}},"created_at":"2026-07-03T01:17:11.031288+00:00","updated_at":"2026-07-03T01:17:11.031288+00:00"}