{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:HRNBZTFPHISG5JDGOMGULKCXD4","short_pith_number":"pith:HRNBZTFP","schema_version":"1.0","canonical_sha256":"3c5a1cccaf3a246ea466730d45a8571f3c3daf36b50ffca7f9f2de4769de6016","source":{"kind":"arxiv","id":"2504.19389","version":2},"attestation_state":"computed","paper":{"title":"Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Markus Lohmayer, Owen Lynch","submitted_at":"2025-04-27T23:34:38Z","abstract_excerpt":"This paper introduces an inherently strict presentation of categories with products, coproducts, or symmetric monoidal products that is inspired by file systems and directories. Rather than using nested binary tuples to combine objects or morphisms, the presentation uses named tuples. Specifically, we develop 2-monads whose strict 2-algebras are product categories, coproduct categories, or symmetric monoidal categories, in a similar vein to the classical Fam construction, but where the elements of the indexing set are period-separated identifiers like $\\mathtt{cart.motor.momentum}$. Our develo"},"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":"2504.19389","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-04-27T23:34:38Z","cross_cats_sorted":[],"title_canon_sha256":"32882e7e98fe38868059e6f8a07e32c7f2f56a101dad435a746c79157b209f49","abstract_canon_sha256":"fdadbf877fbbc1db7d64628a5944e8b81dd631b1c3977c272b2b6e3fba8d997a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:55:35.743743Z","signature_b64":"f2dhoE3NXhdV3HtPjx0BRVaPX1Xv8rYY1VMY+M+70z101w3f0Ep8xP2fQTjv9Q0zn8DDn5OjwWo/53OL0XgSAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3c5a1cccaf3a246ea466730d45a8571f3c3daf36b50ffca7f9f2de4769de6016","last_reissued_at":"2026-07-05T10:55:35.743290Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:55:35.743290Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Markus Lohmayer, Owen Lynch","submitted_at":"2025-04-27T23:34:38Z","abstract_excerpt":"This paper introduces an inherently strict presentation of categories with products, coproducts, or symmetric monoidal products that is inspired by file systems and directories. Rather than using nested binary tuples to combine objects or morphisms, the presentation uses named tuples. Specifically, we develop 2-monads whose strict 2-algebras are product categories, coproduct categories, or symmetric monoidal categories, in a similar vein to the classical Fam construction, but where the elements of the indexing set are period-separated identifiers like $\\mathtt{cart.motor.momentum}$. Our develo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.19389","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/2504.19389/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":"2504.19389","created_at":"2026-07-05T10:55:35.743349+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.19389v2","created_at":"2026-07-05T10:55:35.743349+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.19389","created_at":"2026-07-05T10:55:35.743349+00:00"},{"alias_kind":"pith_short_12","alias_value":"HRNBZTFPHISG","created_at":"2026-07-05T10:55:35.743349+00:00"},{"alias_kind":"pith_short_16","alias_value":"HRNBZTFPHISG5JDG","created_at":"2026-07-05T10:55:35.743349+00:00"},{"alias_kind":"pith_short_8","alias_value":"HRNBZTFP","created_at":"2026-07-05T10:55:35.743349+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/HRNBZTFPHISG5JDGOMGULKCXD4","json":"https://pith.science/pith/HRNBZTFPHISG5JDGOMGULKCXD4.json","graph_json":"https://pith.science/api/pith-number/HRNBZTFPHISG5JDGOMGULKCXD4/graph.json","events_json":"https://pith.science/api/pith-number/HRNBZTFPHISG5JDGOMGULKCXD4/events.json","paper":"https://pith.science/paper/HRNBZTFP"},"agent_actions":{"view_html":"https://pith.science/pith/HRNBZTFPHISG5JDGOMGULKCXD4","download_json":"https://pith.science/pith/HRNBZTFPHISG5JDGOMGULKCXD4.json","view_paper":"https://pith.science/paper/HRNBZTFP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.19389&json=true","fetch_graph":"https://pith.science/api/pith-number/HRNBZTFPHISG5JDGOMGULKCXD4/graph.json","fetch_events":"https://pith.science/api/pith-number/HRNBZTFPHISG5JDGOMGULKCXD4/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HRNBZTFPHISG5JDGOMGULKCXD4/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HRNBZTFPHISG5JDGOMGULKCXD4/action/storage_attestation","attest_author":"https://pith.science/pith/HRNBZTFPHISG5JDGOMGULKCXD4/action/author_attestation","sign_citation":"https://pith.science/pith/HRNBZTFPHISG5JDGOMGULKCXD4/action/citation_signature","submit_replication":"https://pith.science/pith/HRNBZTFPHISG5JDGOMGULKCXD4/action/replication_record"}},"created_at":"2026-07-05T10:55:35.743349+00:00","updated_at":"2026-07-05T10:55:35.743349+00:00"}