Affordable Access

Publisher Website

Pseudo-distributive Laws

Authors
Journal
Electronic Notes in Theoretical Computer Science
1571-0661
Publisher
Elsevier
Volume
83
Identifiers
DOI: 10.1016/s1571-0661(03)50012-3
Disciplines
  • Mathematics

Abstract

Abstract We address the question of how elegantly to combine a number of different structures, such as finite product structure, monoidal structure, and colimiting structure, on a category. Extending work of Marmolejo and Lack, we develop the definition of a pseudo-distributive law between pseudo-monads, and we show how the definition and the main theorems about it may be used to model several such structures simultaneously. Specifically, we address the relationship between pseudo-distributive laws and the lifting of one pseudo-monad to the 2-category of algebras and to the Kleisli bicategory of another. This, for instance, sheds light on the preservation of some structures but not others along the Yoneda embedding. Our leading examples are given by the use of open maps to model bisimulation and by the logic of bunched implications.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

Polycategories via pseudo-distributive laws

on Advances in Mathematics Jan 01, 2008

Distributive laws for pseudomonads II

on Journal of Pure and Applied Al... Jan 01, 2004
More articles like this..