- from the Hopf–Whitney
theorem can
alternatively be
expressed as a
postcomposition: [ X , Y ] → [ X , K ( π n ( Y ) , n ) ] ≅ H n ( X , π n ( Y ) ) ....
- more
general classes like
Profunctor (which
requires only pre- and
postcomposition with functions),
which have
application in optics. An
arrow is essentially...
- ^{n+1}\operatorname {U} (1)} is the ∞-Chern–Weil homomorphism.
Through postcomposition, it ****igns a G {\displaystyle G} -prin****l ∞-bundle X → B G {\displaystyle...
