Linearly distributive functors

@inproceedings{Cockett1997LinearlyDF,
  title={Linearly distributive functors},
  author={J. Robin B. Cockett and R. A. G. Seely},
  year={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
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-7 of 7 references

Linear logic, ∗-autonomous categories and cofree coalgebras

  • R.A.G. Seely
  • Categories in Computer Science and Logic…
  • 1989
2 Excerpts

Nuclearity in the category of complete semilattices

  • D. A. Higgs, K. A. Rowe
  • J. Pure Appl. Algebra
  • 1989
3 Excerpts

Introduction to Higher-Order Categorical Logic, Cambridge Studies

  • J. Lambek, P. J. Scott
  • Advanced Mathematics,
  • 1986
1 Excerpt

Similar Papers

Loading similar papers…