Highly Influenced

# Linearly distributive functors

@inproceedings{Cockett1997LinearlyDF, title={Linearly distributive functors}, author={J. Robin B. Cockett and R. A. G. Seely}, year={1997} }

- Published 1997

This paper introduces a notion of “linear functor” between linearly distributive categories that is general enough to account for common structure in linear logic, such as the exponentials ( ! , ? ), and the additives (product, coproduct), and yet when interpreted in the doctrine of ∗-autonomous categories, gives the familiar notion of monoidal functor. We show that there is a bi-adjunction between the 2-categories of linearly distributive categories and linear functors, and of ∗-autonomous… CONTINUE READING