{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:RQPFH5IBEP5APHZWL2CI5PO7RT","short_pith_number":"pith:RQPFH5IB","schema_version":"1.0","canonical_sha256":"8c1e53f50123fa079f365e848ebddf8cdf4fe3fe68125e5422de1491760a0c37","source":{"kind":"arxiv","id":"2507.15133","version":1},"attestation_state":"computed","paper":{"title":"Lectures on bar and cobar","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.AT","authors_text":"Fritz H\\\"ormann","submitted_at":"2025-07-20T21:49:31Z","abstract_excerpt":"We discuss Lurie's (derived) bar and cobar constructions, the classical ones for simplicial groups and sets (due to Eilenberg-MacLane and Kan), and the classical ones for differential graded (co)algebras (due to Eilenberg-MacLane and Adams) and their relations, putting them into an abstract framework which makes sense much more generally for any cofibration of infinity-operads. Along these lines we give new and rather conceptual existence proofs of Lurie's adjunction (where bar is left adjoint) and the classical adjunction (where bar is right adjoint). We also recover various classical compari"},"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":"2507.15133","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AT","submitted_at":"2025-07-20T21:49:31Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"1befc38d7ebb553b9ccb161523414528f4c0daa74e4176696bad3620b73fec65","abstract_canon_sha256":"c753900c3ebd52363be7671023d0cdbe63760e6d32e8ba0f97fa5400a9cefede"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:40:18.921791Z","signature_b64":"cxb9IRUrSV5JpMNetRJLHWchrd44V5BioAshpYrDyM7LKYBZxZdhWiM4vOUH5iRl4AKqVon18GiEflzkcdTzDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8c1e53f50123fa079f365e848ebddf8cdf4fe3fe68125e5422de1491760a0c37","last_reissued_at":"2026-07-05T11:40:18.921347Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:40:18.921347Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Lectures on bar and cobar","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["math.CT"],"primary_cat":"math.AT","authors_text":"Fritz H\\\"ormann","submitted_at":"2025-07-20T21:49:31Z","abstract_excerpt":"We discuss Lurie's (derived) bar and cobar constructions, the classical ones for simplicial groups and sets (due to Eilenberg-MacLane and Kan), and the classical ones for differential graded (co)algebras (due to Eilenberg-MacLane and Adams) and their relations, putting them into an abstract framework which makes sense much more generally for any cofibration of infinity-operads. Along these lines we give new and rather conceptual existence proofs of Lurie's adjunction (where bar is left adjoint) and the classical adjunction (where bar is right adjoint). We also recover various classical compari"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.15133","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.15133/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":"2507.15133","created_at":"2026-07-05T11:40:18.921397+00:00"},{"alias_kind":"arxiv_version","alias_value":"2507.15133v1","created_at":"2026-07-05T11:40:18.921397+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.15133","created_at":"2026-07-05T11:40:18.921397+00:00"},{"alias_kind":"pith_short_12","alias_value":"RQPFH5IBEP5A","created_at":"2026-07-05T11:40:18.921397+00:00"},{"alias_kind":"pith_short_16","alias_value":"RQPFH5IBEP5APHZW","created_at":"2026-07-05T11:40:18.921397+00:00"},{"alias_kind":"pith_short_8","alias_value":"RQPFH5IB","created_at":"2026-07-05T11:40:18.921397+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/RQPFH5IBEP5APHZWL2CI5PO7RT","json":"https://pith.science/pith/RQPFH5IBEP5APHZWL2CI5PO7RT.json","graph_json":"https://pith.science/api/pith-number/RQPFH5IBEP5APHZWL2CI5PO7RT/graph.json","events_json":"https://pith.science/api/pith-number/RQPFH5IBEP5APHZWL2CI5PO7RT/events.json","paper":"https://pith.science/paper/RQPFH5IB"},"agent_actions":{"view_html":"https://pith.science/pith/RQPFH5IBEP5APHZWL2CI5PO7RT","download_json":"https://pith.science/pith/RQPFH5IBEP5APHZWL2CI5PO7RT.json","view_paper":"https://pith.science/paper/RQPFH5IB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2507.15133&json=true","fetch_graph":"https://pith.science/api/pith-number/RQPFH5IBEP5APHZWL2CI5PO7RT/graph.json","fetch_events":"https://pith.science/api/pith-number/RQPFH5IBEP5APHZWL2CI5PO7RT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RQPFH5IBEP5APHZWL2CI5PO7RT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RQPFH5IBEP5APHZWL2CI5PO7RT/action/storage_attestation","attest_author":"https://pith.science/pith/RQPFH5IBEP5APHZWL2CI5PO7RT/action/author_attestation","sign_citation":"https://pith.science/pith/RQPFH5IBEP5APHZWL2CI5PO7RT/action/citation_signature","submit_replication":"https://pith.science/pith/RQPFH5IBEP5APHZWL2CI5PO7RT/action/replication_record"}},"created_at":"2026-07-05T11:40:18.921397+00:00","updated_at":"2026-07-05T11:40:18.921397+00:00"}