• Publications
  • Influence
Category theory for computing science
Preliminaries. Categories. Functors. Diagrams. Naturality and Sketches. Products and Sums. Catesian Closed Categories. Finite Discrete Sketches. Limits and Colimits. More About Sketches. Fibrations.
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.- Index
Terminal Coalgebras in Well-Founded Set Theory
  • M. Barr
  • Mathematics
    Theor. Comput. Sci.
  • 21 June 1993
*-Autonomous Categories and Linear Logic
  • M. Barr
  • Philosophy
    Math. Struct. Comput. Sci.
  • 1 July 1991
TLDR
It turns out, for example, that one can in many cases construct models of the full linear logic from Chu’s construction applied to a cartesian closed category.
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)
Algebraically compact functors
INJECTIVE HULLS OF PARTIALLY ORDERED MONOIDS
We nd the injective hulls of partially ordered monoids in the category whose objects are po-monoids and submultiplicative order-preserving functions. These injective hulls are with respect to a
...
1
2
3
4
5
...