Fibre bundle

Bundle map

Let and be fibre bundles over a common base space in a category . A bundle map is a map such that

https://q.uiver.app/#q=WzAsMyxbMCwwLCJFIl0sWzIsMCwiRSciXSxbMSwyLCJYIl0sWzAsMSwiZiJdLFswLDIsIlxccGkiLDIseyJzdHlsZSI6eyJoZWFkIjp7Im5hbWUiOiJlcGkifX19XSxbMSwyLCJcXHBpJyIsMCx7InN0eWxlIjp7ImhlYWQiOnsibmFtZSI6ImVwaSJ9fX1dXQ==

commutes in . Bundle maps are the morphisms of .

#state/tidy | #lang/en | #SemBr