• Publications
  • Influence
The Emperor's New Mind
TLDR
A method and apparatus for superimposing printed characters of any such nature as may be transmitted upon a received television image, at the will of the viewer at the receiver. Expand
  • 1,938
  • 87
  • PDF
Category theory for computing science
  • M. Barr, C. Wells
  • Mathematics, Computer Science
  • Prentice Hall International Series in Computer…
  • 1 October 1995
Preliminaries. Categories. Functors. Diagrams. Naturality and Sketches. Products and Sums. Catesian Closed Categories. Finite Discrete Sketches. Limits and Colimits. More About Sketches. Fibrations.Expand
  • 1,098
  • 65
  • PDF
Toposes, Triples and Theories
1. Categories.- 2. Toposes.- 3. Triples.- 4. Theories.- 5. Properties of Toposes.- 6. Permanence Properties of Toposes.- 7. Representation Theorems.- 8. Cocone Theories.- 9. More on Triples.- IndexExpand
  • 730
  • 53
Terminal Coalgebras in Well-Founded Set Theory
  • M. Barr
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 21 June 1993
TLDR
We show that in order to obtain the theorem of Aczel and Mendler on the existence of terminal coalgebras for an endofunctor on the category of sets, it is entirely unnecessary to delve into such exotica as non-well-founded set theory. Expand
  • 311
  • 24
Homology and standard constructions
  • 191
  • 18
  • PDF
*-Autonomous Categories and Linear Logic
  • M. Barr
  • Computer Science
  • Math. Struct. Comput. Sci.
  • 1 July 1991
TLDR
In the preparation of this paper, I have been assisted by a grant from the NSERC of Canada. Expand
  • 216
  • 15
  • PDF
Coequalizers and free triples
This paper is concerned with two problems which, although not apparently closely related, are solved in part by the same methods. The first problem is: given a bicomplete (=comple te and cocomplete)Expand
  • 140
  • 9
  • PDF
Programming embedded systems in C and C
TLDR
From the Publisher: This book introduces embedded systems to C and C++ programmers. Expand
  • 130
  • 9
  • PDF