Results 1 
3 of
3
Computational Comonads and Intensional Semantics
, 1991
"... We explore some foundational issues in the development of a theory of intensional semantics. A programming language may be given a variety of semantics, differing in the level of abstraction; one generally chooses the semantics at an abstraction level appropriate for reasoning about a particular kin ..."
Abstract

Cited by 29 (1 self)
 Add to MetaCart
We explore some foundational issues in the development of a theory of intensional semantics. A programming language may be given a variety of semantics, differing in the level of abstraction; one generally chooses the semantics at an abstraction level appropriate for reasoning about a particular kind of program property. Extensional semantics are typically appropriate for proving properties such as partial correctness, but an intensional semantics at a lower abstraction level is required in order to reason about computation strategy and thereby support reasoning about intensional aspects of behavior such as order of evaluation and efficiency. It is obviously desirable to be able to establish sensible relationships between two semantics for the same language, and we seek a general categorytheoretic framework that permits this. Beginning with an "extensional" category, whose morphisms we can think of as functions of some kind, we model a notion of computation as a comonad with certain e...
COHOMOLOGY OF ABELIAN MATCHED PAIRS AND THE KAC SEQUENCE
, 2002
"... Abstract. The purpose of this paper is to introduce a cohomology theory for abelian matched pairs of Hopf algebras and to explore its relationship to Sweedler cohomology, to Singer cohomology and to extension theory. An exact sequence connecting these cohomology theories is obtained for a general ab ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
(Show Context)
Abstract. The purpose of this paper is to introduce a cohomology theory for abelian matched pairs of Hopf algebras and to explore its relationship to Sweedler cohomology, to Singer cohomology and to extension theory. An exact sequence connecting these cohomology theories is obtained for a general abelian matched pair of Hopf algebras, generalizing those of Kac and Masuoka for matched pairs of finite groups and finite dimensional Lie algebras. The morphisms in the low degree part of this sequence are given explicitly, enabling concrete computations. In this paper we discuss various cohomology theories for Hopf algebras and their relation to extension theory. It is natural to think of building new algebraic objects from simpler structures, or to get information about the structure of complicated objects by
Contents
"... Abstract. An unpublished result by the first author states that there exists a Hopf algebra H such that for any Möbius category C (in the sense of Leroux) there exists a canonical algebra morphism from the dual H ∗ of H to the incidence algebra of C. Moreover, the Möbius inversion principle in incid ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. An unpublished result by the first author states that there exists a Hopf algebra H such that for any Möbius category C (in the sense of Leroux) there exists a canonical algebra morphism from the dual H ∗ of H to the incidence algebra of C. Moreover, the Möbius inversion principle in incidence algebras follows from a ‘master’ inversion result in H ∗. The underlying module of H was originally defined as the free module on the set of iso classes of Möbius intervals, i.e. Möbius categories with initial and terminal objects. Here we consider a category of Möbius intervals and construct the Hopf algebra via the objective approach applied to a monoidal extensive category of combinatorial objects, with the values in appropriate rings being abstracted from combinatorial functors on the objects. The explicit consideration of a category of Möbius