{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:F2UD6TRXVSU3SZNTAE23BZWHST","short_pith_number":"pith:F2UD6TRX","schema_version":"1.0","canonical_sha256":"2ea83f4e37aca9b965b30135b0e6c794e37dc74befa0fe751d3583f31928cefb","source":{"kind":"arxiv","id":"1503.08326","version":2},"attestation_state":"computed","paper":{"title":"Toward formalizing ologs: Linguistic structures, instantiations, and mappings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"David I. Spivak, Marco A. P\\'erez","submitted_at":"2015-03-28T16:48:48Z","abstract_excerpt":"We define the notion of linguistic structure on a small category, in order to provide a more formal description of ontology logs, also known as ologs, introduced by R. E. Kent and D. I. Spivak in their paper \"Ologs: A categorical framework for knowledge representation.\" In particular, we construct a bicategory $\\mathsf{Eng}$, of English noun phrases and verb phrases, endorsed as functional by varying sets of authors. An olog is then defined as a lax functor to $\\mathsf{Eng}$. We then present a new notion of linguistic functor, which extends Spivak's notion of meaningful functors. Finally, we d"},"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":"1503.08326","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-03-28T16:48:48Z","cross_cats_sorted":[],"title_canon_sha256":"e99802e73cd5ce95c3fc0c1cf79d5237dc52d9f291a4db3bdc253860bd543347","abstract_canon_sha256":"6954ea49c551dd0e4b7fb794e20eb74344e60f2d7901c2de85b5517af4701405"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:41:46.089655Z","signature_b64":"RXPIzQEEuwt2P51I0jW4nmX4MTfqZ2hV4jsDULZmnzygc9l73OIaKIaHigtFG7ggHd32lT7F+bi/C7GevyztCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2ea83f4e37aca9b965b30135b0e6c794e37dc74befa0fe751d3583f31928cefb","last_reissued_at":"2026-05-18T01:41:46.089278Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:41:46.089278Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Toward formalizing ologs: Linguistic structures, instantiations, and mappings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"David I. Spivak, Marco A. P\\'erez","submitted_at":"2015-03-28T16:48:48Z","abstract_excerpt":"We define the notion of linguistic structure on a small category, in order to provide a more formal description of ontology logs, also known as ologs, introduced by R. E. Kent and D. I. Spivak in their paper \"Ologs: A categorical framework for knowledge representation.\" In particular, we construct a bicategory $\\mathsf{Eng}$, of English noun phrases and verb phrases, endorsed as functional by varying sets of authors. An olog is then defined as a lax functor to $\\mathsf{Eng}$. We then present a new notion of linguistic functor, which extends Spivak's notion of meaningful functors. Finally, we d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.08326","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":""},"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":"1503.08326","created_at":"2026-05-18T01:41:46.089335+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.08326v2","created_at":"2026-05-18T01:41:46.089335+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.08326","created_at":"2026-05-18T01:41:46.089335+00:00"},{"alias_kind":"pith_short_12","alias_value":"F2UD6TRXVSU3","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_16","alias_value":"F2UD6TRXVSU3SZNT","created_at":"2026-05-18T12:29:19.899920+00:00"},{"alias_kind":"pith_short_8","alias_value":"F2UD6TRX","created_at":"2026-05-18T12:29:19.899920+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/F2UD6TRXVSU3SZNTAE23BZWHST","json":"https://pith.science/pith/F2UD6TRXVSU3SZNTAE23BZWHST.json","graph_json":"https://pith.science/api/pith-number/F2UD6TRXVSU3SZNTAE23BZWHST/graph.json","events_json":"https://pith.science/api/pith-number/F2UD6TRXVSU3SZNTAE23BZWHST/events.json","paper":"https://pith.science/paper/F2UD6TRX"},"agent_actions":{"view_html":"https://pith.science/pith/F2UD6TRXVSU3SZNTAE23BZWHST","download_json":"https://pith.science/pith/F2UD6TRXVSU3SZNTAE23BZWHST.json","view_paper":"https://pith.science/paper/F2UD6TRX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.08326&json=true","fetch_graph":"https://pith.science/api/pith-number/F2UD6TRXVSU3SZNTAE23BZWHST/graph.json","fetch_events":"https://pith.science/api/pith-number/F2UD6TRXVSU3SZNTAE23BZWHST/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F2UD6TRXVSU3SZNTAE23BZWHST/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F2UD6TRXVSU3SZNTAE23BZWHST/action/storage_attestation","attest_author":"https://pith.science/pith/F2UD6TRXVSU3SZNTAE23BZWHST/action/author_attestation","sign_citation":"https://pith.science/pith/F2UD6TRXVSU3SZNTAE23BZWHST/action/citation_signature","submit_replication":"https://pith.science/pith/F2UD6TRXVSU3SZNTAE23BZWHST/action/replication_record"}},"created_at":"2026-05-18T01:41:46.089335+00:00","updated_at":"2026-05-18T01:41:46.089335+00:00"}