{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:XZDBL4OC4SDFU7JCDAZMEQVZRS","short_pith_number":"pith:XZDBL4OC","schema_version":"1.0","canonical_sha256":"be4615f1c2e4865a7d221832c242b98c967c6d9863403cd9869bc08a63190694","source":{"kind":"arxiv","id":"1612.05694","version":1},"attestation_state":"computed","paper":{"title":"Tensor products and relation quantales","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.CT","authors_text":"Jorge Picado, Marcel Ern\\'e","submitted_at":"2016-12-17T02:11:44Z","abstract_excerpt":"A classical tensor product $A \\,\\otimes\\, B$ of complete lattices $A$ and $B$, consisting of all down-sets in $A \\times B$ that are join-closed in either coordinate, is isomorphic to the complete lattice $Gal(A,B)$ of Galois maps from $A$ to $B$, turning arbitrary joins into meets. We introduce more general kinds of tensor products for closure spaces and for posets. They have the expected universal property for bimorphisms (separately continuous maps or maps preserving restricted joins in the two components) into complete lattices. The appropriate ingredient for quantale constructions is here "},"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":"1612.05694","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-12-17T02:11:44Z","cross_cats_sorted":["math.RA"],"title_canon_sha256":"2b522c17ba9d723dbaac4f617476413cdcb18e8d6b86f73367b88708e64d8cf9","abstract_canon_sha256":"ed2060d79a1113d7a4f44815267ebace8891c9e2e7099ea802bb0f3c05654b3b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:46.948443Z","signature_b64":"2njXIPgD1JrkjLt8PzAiuFqGMTjmVZ5rdaZwuo73LoPOdXRVlhQrWDJiydaJ0pFO4nDQ6b8ojvqLDzplwvreCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"be4615f1c2e4865a7d221832c242b98c967c6d9863403cd9869bc08a63190694","last_reissued_at":"2026-05-18T00:54:46.947970Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:46.947970Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tensor products and relation quantales","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.RA"],"primary_cat":"math.CT","authors_text":"Jorge Picado, Marcel Ern\\'e","submitted_at":"2016-12-17T02:11:44Z","abstract_excerpt":"A classical tensor product $A \\,\\otimes\\, B$ of complete lattices $A$ and $B$, consisting of all down-sets in $A \\times B$ that are join-closed in either coordinate, is isomorphic to the complete lattice $Gal(A,B)$ of Galois maps from $A$ to $B$, turning arbitrary joins into meets. We introduce more general kinds of tensor products for closure spaces and for posets. They have the expected universal property for bimorphisms (separately continuous maps or maps preserving restricted joins in the two components) into complete lattices. The appropriate ingredient for quantale constructions is here "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.05694","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":"1612.05694","created_at":"2026-05-18T00:54:46.948044+00:00"},{"alias_kind":"arxiv_version","alias_value":"1612.05694v1","created_at":"2026-05-18T00:54:46.948044+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.05694","created_at":"2026-05-18T00:54:46.948044+00:00"},{"alias_kind":"pith_short_12","alias_value":"XZDBL4OC4SDF","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_16","alias_value":"XZDBL4OC4SDFU7JC","created_at":"2026-05-18T12:30:51.357362+00:00"},{"alias_kind":"pith_short_8","alias_value":"XZDBL4OC","created_at":"2026-05-18T12:30:51.357362+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/XZDBL4OC4SDFU7JCDAZMEQVZRS","json":"https://pith.science/pith/XZDBL4OC4SDFU7JCDAZMEQVZRS.json","graph_json":"https://pith.science/api/pith-number/XZDBL4OC4SDFU7JCDAZMEQVZRS/graph.json","events_json":"https://pith.science/api/pith-number/XZDBL4OC4SDFU7JCDAZMEQVZRS/events.json","paper":"https://pith.science/paper/XZDBL4OC"},"agent_actions":{"view_html":"https://pith.science/pith/XZDBL4OC4SDFU7JCDAZMEQVZRS","download_json":"https://pith.science/pith/XZDBL4OC4SDFU7JCDAZMEQVZRS.json","view_paper":"https://pith.science/paper/XZDBL4OC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1612.05694&json=true","fetch_graph":"https://pith.science/api/pith-number/XZDBL4OC4SDFU7JCDAZMEQVZRS/graph.json","fetch_events":"https://pith.science/api/pith-number/XZDBL4OC4SDFU7JCDAZMEQVZRS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XZDBL4OC4SDFU7JCDAZMEQVZRS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XZDBL4OC4SDFU7JCDAZMEQVZRS/action/storage_attestation","attest_author":"https://pith.science/pith/XZDBL4OC4SDFU7JCDAZMEQVZRS/action/author_attestation","sign_citation":"https://pith.science/pith/XZDBL4OC4SDFU7JCDAZMEQVZRS/action/citation_signature","submit_replication":"https://pith.science/pith/XZDBL4OC4SDFU7JCDAZMEQVZRS/action/replication_record"}},"created_at":"2026-05-18T00:54:46.948044+00:00","updated_at":"2026-05-18T00:54:46.948044+00:00"}