Copyright | (c) Justus Sagemüller 2018 |
---|---|
License | GPL v3 |
Maintainer | (@) sagemueller $ geo.uni-koeln.de |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Documentation
data TransportOnNeedleWitness k m f where Source #
TransportOnNeedle :: ParallelTransporting (LinearFunction (Scalar (Needle m))) (Needle m) (Needle f) => TransportOnNeedleWitness k m f |
data ForgetTransportProperties k m f where Source #
ForgetTransportProperties :: ParallelTransporting (->) m f => ForgetTransportProperties k m f |
class (PseudoAffine m, m ~ Interior m, Category k, Object k f) => ParallelTransporting k m f where Source #
transportOnNeedleWitness :: TransportOnNeedleWitness k m f Source #
transportOnNeedleWitness :: ParallelTransporting (LinearFunction (Scalar (Needle m))) (Needle m) (Needle f) => TransportOnNeedleWitness k m f Source #
forgetTransportProperties :: ForgetTransportProperties k m f Source #
forgetTransportProperties :: ParallelTransporting (->) m f => ForgetTransportProperties k m f Source #
parallelTransport :: m -> Needle m -> k f f Source #
translateAndInvblyParTransport :: m -> Needle m -> (m, (k f f, k f f)) Source #