{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q517698","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q517698","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q517698","kernelVersion":"v1","immutable":true,"modified":"2026-03-26T12:07:32Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q517698","name":"Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry","headline":"Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry","description":"scientific article; zbMATH DE number 6697182","url":"https://portal.mardi4nfdi.de/entity/Q517698","datePublished":"2017-03-27","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q394138"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q254650"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.3842/SIGMA.2017.007","url":"https://doi.org/10.3842/SIGMA.2017.007"},"sameAs":["https://doi.org/10.3842/SIGMA.2017.007"],"comment":"This paper extends some fundamental definitions and contructions of Lie theory in term of groupoids internal to a well-adapted model of synthetic differential geometry. The author uses internal versions of certain conditions describing connectedness and solutions to a specific type of vector field. The main result of this work is the proof that all classical Hausdorff Lie groupoids satisfy stronger conditions. More precisely, it is proved that if a classical Hausdorff Lie groupoid satisfies a classical connectedness condition then it also satisfies its internal counterpart.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3704627"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3697206"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3807405"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2814353"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1656722"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1425319"},{"@id":"https://portal.mardi4nfdi.de/entity/Q683508"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2523366"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3927377"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3942087"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1086339"},{"@id":"https://portal.mardi4nfdi.de/entity/Q914822"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4899295"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4129462"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4828514"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5470454"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2501212"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5917963"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4875315"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2883935"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4856603"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3518602"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3997818"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3913565"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3223016"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1189483"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3379057"}]},"provenance":{"prov:generatedAtTime":"2026-03-26T12:07:32Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}