Differentiability of continuous homomorphisms between smooth loops

It is a well-known fact that a continuous homomorphism between Lie groups is analytic. We prove a similar result (Thm. 1.8) for continuous homomorphisms of differentiable left or right loops in section 1 of this paper. Section 2 deals with images and kernels of such homomorphisms. Again, the results obtained are quite analogous to the Lie group case. The paper ends with applications of Theorem 1.8. For example, it turns out that the group of continuous automorphisms of a smooth generalized polygon is a Lie transformation group with respect to the compact-open topology.