The category of complex Lie groups has as objects and holomorphic as morphisms. Its identity maps and composition are those of . Holomorphicity is a requirement on the manifold map, not a claim that the group's carrier is a complex .

Forgetting complex structure

Forgetting complex structure gives a to . Entrywise conjugation on SL(2,C)SL(2,\mathbb C) is a smooth real group automorphism but is antiholomorphic, so is not a morphism in this category. Its differential is real-linear and conjugate-linear on the complex .

Lie algebra

Differentiating at the identity produces a complex-linear bracket-preserving map. This distinguishes the complex Lie-algebra view from the larger real-linear vector-space endomorphism space.