Consider the category $Prin(X,G)$ of principal $G$-bundles over a topological space $X$ ($G$ is a group). My question is: does this category have a terminal object?
I would say that the category of $G$-bundles over $X$ actually has one, namely $X$ with the trivial action, but this is not a principal bundle, since the action is not free on fibres.
Thank you in advance.
Suppose that such terminal object $e$ exists, you have a morphism of bundles $X\times G\rightarrow e$, implies that $e$ is isomorphic to $X\times G$, for every $G$-principal bundle $P$, you have a morphism $P\rightarrow X\times G$. This implies that $P$ is trivial. The terminal object exists if every $G$-principal bundle is trivial.
We have used the fact that a morphism between two principal $G$-bundles over $X$ is an isomorphism.
A morphism of principal bundles is an isomorphism.