M. Barr

Publications150
h-index27
Citations4,622
Highly Influential Citations315
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • J. Kennison
  • 44 Publications • 424 Citations
  • S. Eilenberg
  • 135 Publications • 11,262 Citations
  • R. Raphael
  • 82 Publications • 449 Citations
  • S. Maclane
  • 141 Publications • 7,068 Citations
  • 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.
Homology and standard constructions
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)…
Exact categories and categories of sheaves
Harrison homology, Hochschild homology and triples☆☆☆
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
...