On a Bornological Structure in Infinite-Dimensional Holomorphy

The bornology (b) of bounded subsets with respect to continuous convergence is used on spaces of holomorphic functions. It is shown that Hom_coH_b(U) ? U for a circled convex open subset U of a complete nuclear space. Exponential laws for spaces of holomorphic functions with bornological structures are proved and the connection with Colombeau's Silva holomorphic functions is established.