Natural transformations of higher order cotangent bundle functors
نویسندگان
چکیده
منابع مشابه
An Implementation of Higher-order Functors
Recently the module language of SML of New Jersey has been augmented with higher-order functors. Their semantics is described in Tof94, MT94]. This paper sketches how higher-order functors can be implemented with eecient static representations. The key idea of the SML/NJ implementation is the sharing of signature environments , and this idea has been carried over to the higher-order case.
متن کاملDirac Cotangent Bundle Reduction
The authors’ recent paper in Reports in Mathematical Physics develops Dirac reduction for cotangent bundles of Lie groups, which is called Lie– Dirac reduction. This procedure simultaneously includes Lagrangian, Hamiltonian, and a variational view of reduction. The goal of the present paper is to generalize Lie–Dirac reduction to the case of a general configuration manifold; we refer to this as...
متن کاملHigher Order Context Transformations
The context transformation and generalized context transformation methods, we introduced recently, were able to reduce zero order entropy by exchanging digrams, and as a consequence, they were removing mutual information between consecutive symbols of the input message. These transformations were intended to be used as a preprocessor for zero-order entropy coding algorithms like Arithmetic or H...
متن کاملA Semantics for Higher-Order Functors
Standard ML has a module system that allows one to deene para-metric modules, called functors. Functors are \\rst-order," meaning that func-tors themselves cannot be passed as parameters or returned as results of functor applications. This paper presents a semantics for a higher-order module system which generalizes the module system of Standard ML. The higher-order functors described here are ...
متن کاملA cotangent bundle slice theorem
This article concerns cotangent-lifted Lie group actions; our goal is to find local and “semi-global” normal forms for these and associated structures. Our main result is a constructive cotangent bundle slice theorem that extends the Hamiltonian slice theorem of Marle [C.-M. Marle, Modèle d’action hamiltonienne d’un groupe de Lie sur une variété symplectique, Rendiconti del Seminario Matematico...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annales Polonici Mathematici
سال: 1993
ISSN: 0066-2216,1730-6272
DOI: 10.4064/ap-58-1-29-35