{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:6O7BOCHPQAKXPPP4POSA6J5AWP","short_pith_number":"pith:6O7BOCHP","schema_version":"1.0","canonical_sha256":"f3be1708ef801577bdfc7ba40f27a0b3eeddacfdf8ecfb961779e97ecf59ca63","source":{"kind":"arxiv","id":"1903.07030","version":1},"attestation_state":"computed","paper":{"title":"Foundations of Algebraic Theories and Higher Dimensional Categories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Soichiro Fujii","submitted_at":"2019-03-17T05:43:27Z","abstract_excerpt":"Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of universal algebra, such as symmetric operads, non-symmetric operads, generalised operads, and monads. These variants of universal algebra are called notions of algebraic theory. In the first part of this thesis, we develop a unified framework for notions of algebraic theory which includes all of the above examples. Our key observation is that each notion of al"},"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":"1903.07030","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2019-03-17T05:43:27Z","cross_cats_sorted":[],"title_canon_sha256":"7d914566c92f0c2c07e11cc38b9154d6263b438ae75932ea6c191c12a3424bc2","abstract_canon_sha256":"47214ea824c305201e438f4134ddeeef619bfc1471145457d94a5800496b7a41"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:04.477004Z","signature_b64":"Jmtd8VEZfqb7qExHflaCMWQoxtY1YLnLVgPqyKdXqfX+vnLGmiVcbDd/1OlD5aaiaAMv86++60YKXT25liRhCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f3be1708ef801577bdfc7ba40f27a0b3eeddacfdf8ecfb961779e97ecf59ca63","last_reissued_at":"2026-05-17T23:51:04.476423Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:04.476423Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Foundations of Algebraic Theories and Higher Dimensional Categories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Soichiro Fujii","submitted_at":"2019-03-17T05:43:27Z","abstract_excerpt":"Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of universal algebra, such as symmetric operads, non-symmetric operads, generalised operads, and monads. These variants of universal algebra are called notions of algebraic theory. In the first part of this thesis, we develop a unified framework for notions of algebraic theory which includes all of the above examples. Our key observation is that each notion of al"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.07030","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1903.07030","created_at":"2026-05-17T23:51:04.476503+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.07030v1","created_at":"2026-05-17T23:51:04.476503+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.07030","created_at":"2026-05-17T23:51:04.476503+00:00"},{"alias_kind":"pith_short_12","alias_value":"6O7BOCHPQAKX","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_16","alias_value":"6O7BOCHPQAKXPPP4","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_8","alias_value":"6O7BOCHP","created_at":"2026-05-18T12:33:10.108867+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/6O7BOCHPQAKXPPP4POSA6J5AWP","json":"https://pith.science/pith/6O7BOCHPQAKXPPP4POSA6J5AWP.json","graph_json":"https://pith.science/api/pith-number/6O7BOCHPQAKXPPP4POSA6J5AWP/graph.json","events_json":"https://pith.science/api/pith-number/6O7BOCHPQAKXPPP4POSA6J5AWP/events.json","paper":"https://pith.science/paper/6O7BOCHP"},"agent_actions":{"view_html":"https://pith.science/pith/6O7BOCHPQAKXPPP4POSA6J5AWP","download_json":"https://pith.science/pith/6O7BOCHPQAKXPPP4POSA6J5AWP.json","view_paper":"https://pith.science/paper/6O7BOCHP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.07030&json=true","fetch_graph":"https://pith.science/api/pith-number/6O7BOCHPQAKXPPP4POSA6J5AWP/graph.json","fetch_events":"https://pith.science/api/pith-number/6O7BOCHPQAKXPPP4POSA6J5AWP/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6O7BOCHPQAKXPPP4POSA6J5AWP/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6O7BOCHPQAKXPPP4POSA6J5AWP/action/storage_attestation","attest_author":"https://pith.science/pith/6O7BOCHPQAKXPPP4POSA6J5AWP/action/author_attestation","sign_citation":"https://pith.science/pith/6O7BOCHPQAKXPPP4POSA6J5AWP/action/citation_signature","submit_replication":"https://pith.science/pith/6O7BOCHPQAKXPPP4POSA6J5AWP/action/replication_record"}},"created_at":"2026-05-17T23:51:04.476503+00:00","updated_at":"2026-05-17T23:51:04.476503+00:00"}