Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Category theory for computing science
- M. Barr, Charles Wells
- MathematicsPrentice 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.…
Toposes, Triples and Theories
- M. Barr, Charles Wells
- Mathematics
- 1984
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
- MathematicsTheor. Comput. Sci.
- 21 June 1993
*-Autonomous Categories and Linear Logic
- M. Barr
- PhilosophyMath. Struct. Comput. Sci.
- 1 July 1991
TLDR
Coequalizers and free triples
- M. Barr
- Mathematics
- 1 December 1970
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)…
INJECTIVE HULLS OF PARTIALLY ORDERED MONOIDS
- J. Lambek, M. Barr, J. Kennison, R. Raphael
- Mathematics
- 2012
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
...