A category of locally convex Lie algebroids

We study first-order locally convex Lie algebroids in the setting of Bastiani calculus. The first-order condition is automatic in finite dimensions, but is an additional regularity hypothesis for general locally convex vector bundles. Under this condition, we define sheaves of scalar-valued and vector-valued Lie algebroid forms as fiberwise continuous alternating maps with smooth local representatives. We define morphisms by requiring the induced pullback on inverse-image sheaves of scalar-valued forms to commute with the Lie algebroid differentials, and prove that first-order locally convex Lie algebroids form a category. We also study representations and the induced cohomology sheaves. We show that locally convex Lie groupoids have first-order Lie algebroids and that Lie groupoid morphisms induce morphisms in this category. As applications, we prove that the current algebroid associated with a first-order Banach Lie algebroid is a first-order Fr\'echet Lie algebroid, and we prove a Lie II theorem in the Banach setting: first-order morphisms between the Lie algebroids of Banach-Lie groupoids under source-connected and source-simply connected hypotheses integrate to unique Lie groupoid morphisms.