منابع مشابه
Higher order Hochschild cohomology
Following ideas of Pirashvili, we define higher order Hochschild cohomology over spheres S defined for any commutative algebra A and module M . When M = A, we prove that this cohomology is equipped with graded commutative algebra and degree d Lie algebra structures as well as with Adams operations. All operations are compatible in a suitable sense. These structures are related to Brane topology...
متن کاملHigher order cohomology of arithmetic groups
Higher order cohomology of arithmetic groups is expressed in terms of (g, K)-cohomology. It is shown that the latter can be computed using functions of moderate growth. Higher order versions of results of Borel are proven and the Borel conjecture in the higher order setting is stated.
متن کاملHigher homotopy operations and the cohomology of diagrams
Algebraic topology tries to answer problems of homotopy theory by translating them into algebra, using invariants such as the homotopy or cohomology groups of a space. These invariants, even when endowed with extra algebraic structure such as Whitehead products or Steenrod operations, rarely reflect fully the original homotopical information, and the additional data needed for a full invariant ...
متن کاملHigher-Order Minimal Function Graphs
We present a minimal function graph semantics for a higherorder functional language with applicative evaluation order. The semantics captures the intermediate calls performed during the evaluation of a program. This information may be used in abstract interpretation as a basis for proving the soundness of program analyses. An example of this is the “closure analysis” of partial evaluation. Prog...
متن کاملHigher-Order Minimal Functional Graphs
We present a minimal function graph semantics for a higher-order functional language with applicative evaluation order. The approach extends previous results on minimal function graphs to higher-order functions. The semantics captures the intermediate calls performed during the evaluation of a program. This information may be used in abstract interpretation as a basis for proving the soundness ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Homology, Homotopy and Applications
سال: 2007
ISSN: 1532-0073,1532-0081
DOI: 10.4310/hha.2007.v9.n1.a1