A Categorical Manifesto

@article{Goguen1991ACM,
  title={A Categorical Manifesto},
  author={Joseph A. Goguen},
  journal={Mathematical Structures in Computer Science},
  year={1991},
  volume={1},
  pages={49-67}
}
This paper tries to explain why and how category theory is useful in computing science, by giving guidelines for applying seven basic categorical concepts: category, functor, natural transformation, limit, adjoint, colimit and comma category. Some examples, intuition, and references are given for each concept, but completeness is not attempted. Some additional categorical concepts and some suggestions for further research are also mentioned. The paper concludes with some philosophical… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 133 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 58 references

To the greater health of mathematics

  • Saunders Mac Lane
  • Mathematical Intelligencer,
  • 1988
Highly Influential
10 Excerpts

A categorical approach to general systems theory

  • Joseph Goguen, Susanna Ginali
  • Applied General Systems Research,
  • 1978
Highly Influential
4 Excerpts

Mathematical representation of hierarchically organized systems

  • Joseph Goguen
  • Global Systems Dynamics,
  • 1971
Highly Influential
4 Excerpts

Unifying Models of Concurrency

  • Gian Luigi Ferrari
  • PhD thesis, University of Pisa,
  • 1990

Similar Papers

Loading similar papers…