{"entities":{"Q1064399":{"pageid":1075151,"ns":120,"title":"Item:Q1064399","lastrevid":66065778,"modified":"2026-04-12T07:18:28Z","type":"item","id":"Q1064399","labels":{"en":{"language":"en","value":"Combinatorial notions relating to principal fibre bundles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3918621"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$FF7C4F32-CAA9-4E31-8BCD-E042AACA74DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da4137b5c87f8193b56f3054ff8f811ce8afca0a","datavalue":{"value":{"text":"Combinatorial notions relating to principal fibre bundles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1064399$B8C2E669-77E4-48FA-BE1D-7D92FBC7BD15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7e2814a5c86f1c95bc874b709709a17719d47c5","datavalue":{"value":"0575.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064399$C2EB7447-90D9-4498-BA64-5079E80BDC28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"853bdfb25d5c9caa56191aa776e45dfd3dfd3845","datavalue":{"value":"10.1016/0022-4049(86)90141-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064399$2049073D-81E8-4B65-817F-E805D3BA8CC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d4b52cbc985d8209ac20b19f54b132531f578d3","datavalue":{"value":{"entity-type":"item","numeric-id":638551,"id":"Q638551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$CFB25AAE-6AAA-4119-AB07-3578826488FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$ACB6E16B-8B63-47B8-B022-81A501B5A5DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1064399$15821777-058E-4E66-9B45-3BFBF1AC25E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a970b63044663c299a874322e14a2660718a803","datavalue":{"value":"This work represents a continuation of the approach begun by the author [Mathematical applications of category theory, Contemp. Math. 30, 132-144 (1984; Zbl 0542.18007)], which uses purely combinatorial notions to clarify ideas and constructions in differential geometry. This combinatorial approach includes the classical case, when the results are interpreted in the context of a well-adapted model for synthetic differential geometry. In particular, this article examines the relationships between principal fibre bundles and groupoids and connections in a bundle and the associated connection forms.    The central construction is that of a pregroupoid over a base B. This consists of a total space E with a map \\(E\\to^{\\pi}B\\) together with a partially defined ternary operation \\(\\lambda\\). If \\(\\pi (x)=\\pi (z)\\), \\(\\lambda\\) (x,y,z) is defined and \\(\\lambda\\) ''behaves like'' the group theoretic operation \\(yx^{-1}z\\). This ternary operation seems to play an important role in differential geometry, as analogous operations appear in the recent work of \\textit{J. Pradines} [Cah. Topologie G\u00e9om. Diff\u00e9r. Cat\u00e9goriques 26, 339-380 (1985)] under the same ''rule of three''.    Given a pregroupoid \\(E\\to^{\\pi}B\\), one can canonically associate a groupoid \\(E^*\\) and a group \\(E_*\\), which act on E on the left and right respectively, making E into a principal \\(E_*\\)-bundle. Assuming B has a reflexive, symmetric relation \\(\\sim\\) defined on it (in SDG, this would be the ''first neighbourhood of the diagonal'' relation), one can proceed to discuss connections on \\(E^*\\) and \\(E_*\\)-valued forms on E and their relationship.    The paper goes on to consider curvature-free connections and integrability, path-lifting along a connection, as well as holonomy. The results obtained serve as a further testament to the elegance and clarity provided by synthetic reasoning in differential geometry.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064399$05CEA96A-21CF-4715-8981-96DF062DEEF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48db147c5e34d12323b540c46f6a307710a26b22","datavalue":{"value":"18F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064399$016BFEFF-C715-4899-A177-65D0AD56D2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02a70c2b9d4ab18d59da2cbcac8e523c81f944b2","datavalue":{"value":"53C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064399$0FDF1D1A-56C7-4669-B81F-99A867DE6DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db922fac595732b6c99c9f9cb86aba40dd3aaf9a","datavalue":{"value":"51K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064399$78439D8E-8B8D-41E3-8971-2D82086A7A55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4caea0335beb1e239c2d7ed8888ea9c18965e735","datavalue":{"value":"3918621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064399$6D5972BD-970F-482C-B9E5-2467332E3326","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b969da63472ffe4fde8d62b78c11bad15b52f59","datavalue":{"value":"synthetic differential geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064399$1D9D0CB3-6D87-4325-B08C-4FF1807BE90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a40a604895372816f0fe481a1efa161643678fdb","datavalue":{"value":"connection forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064399$4E5F120B-1BB9-45DC-8F03-F80D4F1E352B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb9145cf1d71a2c36fbce61bda5c3ae770c79db0","datavalue":{"value":"pregroupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064399$3ECD0F5C-4266-4632-8264-1BDF0F92ED6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"295fcf11982e887d0d31e73214980cc7116b48a6","datavalue":{"value":"curvature-free connections","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064399$8E004814-D9B5-47EC-A397-E278CEF76A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b738398fcc0d244f1b51d3b60363f988d7f587","datavalue":{"value":"integrability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064399$C91BF26C-E740-4D96-BC36-D7821119E00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5424d9babd2cea336689030687fbd2e2da1d353d","datavalue":{"value":"path-lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064399$868CF308-E1FC-4F29-89BB-5C7BF42AFEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7208932129ad1fe323db1f34e68588c9750a8ca","datavalue":{"value":"holonomy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064399$69D71C38-D0B8-4A94-9EBE-368503CC7A98","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$3CEAC3EA-1E36-4A64-ADB7-2A07E5FDE565","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$6A6F3C08-C6FC-4C2F-BFC5-FFAF0061704E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"795b10d2f234ece57ba9b9e2cff7941890c2f073","datavalue":{"value":"https://doi.org/10.1016/0022-4049(86)90141-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1064399$B032F509-7BAD-45B2-A8A7-E370EDA11F12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9591db458bfde9a869cfa747abfe59d30f2a324d","datavalue":{"value":"W2044623296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064399$40167E69-74B2-4FD3-A722-7CEA4156D0E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b541a303d818b42266dbc99fd3bcb0c31e2f6053","datavalue":{"value":{"entity-type":"item","numeric-id":5824038,"id":"Q5824038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$596C181F-6FEC-4E41-9B45-F5C1BAE445EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccf73d61ab3d5f63d8df9d3710361adb8f157e6","datavalue":{"value":{"entity-type":"item","numeric-id":4899235,"id":"Q4899235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$94CD938B-C1C4-426C-9111-60C0A444FC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66035d2ebb5025c66ddb3686917388538aab1e81","datavalue":{"value":{"entity-type":"item","numeric-id":5825485,"id":"Q5825485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$2712581E-DB25-4866-A2C5-277103982E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d2360bd0b12f0dd086e9d670ef0193b54eaae88","datavalue":{"value":{"entity-type":"item","numeric-id":3872641,"id":"Q3872641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$92BF49CB-E79B-4180-B7B1-0E72D116BF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24f9204fa7ae0c306a5aa2d063251a2d56e7137","datavalue":{"value":{"entity-type":"item","numeric-id":3918651,"id":"Q3918651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$C52EA938-D930-4777-BFE6-010E53360A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e487de3fd3f83e3c0fd4e5ac99884fd6e0d4833c","datavalue":{"value":{"entity-type":"item","numeric-id":3943697,"id":"Q3943697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$3A69CC78-2FB8-40AE-A676-FB1E213B07D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"963a5e687958cc3b5f67df371df2eea1cafd24ed","datavalue":{"value":{"entity-type":"item","numeric-id":3667051,"id":"Q3667051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$E082E89F-7957-472C-8BE5-ECB5D15645D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae14e9ac9948c3c70bc74bab905d29a569ad6419","datavalue":{"value":{"entity-type":"item","numeric-id":2561794,"id":"Q2561794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064399$55299921-4CFD-41B0-8426-1ADC705DCD7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3de8d92bb9bf268b619e8acd2914013ecabb00","datavalue":{"value":{"entity-type":"item","numeric-id":945954,"id":"Q945954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74fa5ab6b443353214ed1ebafedd1e267ac99ff2","datavalue":{"value":{"amount":"+0.7736354470252991","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1064399$F240B43D-EA0D-4EE9-BA92-F30FFBFF3E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903b5196d29cac58620b7b81f84001ba5e7305a0","datavalue":{"value":{"entity-type":"item","numeric-id":3441463,"id":"Q3441463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c75699a5578d27418d60e2e2bf2b78d489cafe","datavalue":{"value":{"amount":"+0.7706966996192932","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1064399$224314F1-47CD-4E63-9E1B-5BDC8AC0A392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3d7c419dfc43533bbbb90f7453c77de8bc9b6a","datavalue":{"value":{"entity-type":"item","numeric-id":391163,"id":"Q391163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e2ddd99cc1d220e81fca13075f5c7bf51df6c2","datavalue":{"value":{"amount":"+0.7555381655693054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1064399$19FDA643-42F0-4766-A4A6-D21A955E224B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fde866baa5aeba0721d316a7d1eaabd0017eda4","datavalue":{"value":{"entity-type":"item","numeric-id":3797787,"id":"Q3797787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449f8db14590627ab5155b0b15f21417e37978e5","datavalue":{"value":{"amount":"+0.7471199035644531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1064399$0DEE5E44-BF2B-44B2-B37C-29F8E24E329A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f551bf8f2c089e4bf75049d438ba68f05ba999b","datavalue":{"value":{"entity-type":"item","numeric-id":3724523,"id":"Q3724523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af794e69f728228d2f06e7e3581310b409d31537","datavalue":{"value":{"amount":"+0.7449486255645752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1064399$114A9D64-81CE-4EE2-B553-EFB8D9AF1E76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial notions relating to principal fibre bundles","badges":[]}}}}}