Pseudo-distributive laws

Pseudo-distributive laws (2004)

by Eugenia Cheng , Martin Hyland , John Power

Citations:

10 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	Pseudo-distributive laws	SVM HeaderParse 0.2
AUTHOR NAME	Eugenia Cheng	user correction
AUTHOR AFFIL	Dept of Pure Mathematics and Mathematical Statistics, University of; Cambridge, Wilberforce Road	user correction
AUTHOR ADDR	Cambridge, England	user correction
AUTHOR NAME	Martin Hyland	user correction
AUTHOR NAME	John Power	user correction
AUTHOR AFFIL	Laboratory for the Foundations of Computer Science, University of Edinburgh,	user correction
AUTHOR ADDR	King’s Buildings, Edinburgh EH9 3JZ, Scotland	user correction
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.	user correction
YEAR	2004	user correction
CITATIONS	20 found	ParsCit 1.0