Skip to main content
added 373 characters in body
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651

This seems to be the original source:

M. Barr and J. Beck, Acyclic models and triples, Proc. Conference Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 336-343.

The "triple" is an older name for a monad.

Also, Jonathan Mock Beck is the same as Jon Beck, as you can see from these lecture notes and this Wikipedia page.


Follow-up: In Beck's thesis the monadicity theorem is discussed on page 8 with reference to an unpublished note: J. Beck, The tripleableness theorems. To appear. The editor's note adds that "To our knowledge, this has not appeared. Beck’s tripleableness theorems have been exposed in M. Barr and C. Wells, Toposes, Triples and Theories."
Beck refers in the intro of his thesis to the 1966 Barr & Beck paper cited above, saying "That paper contains a summary of the present work." This might explain the later attribution to Barr & Beck jointly.

This seems to be the original source:

M. Barr and J. Beck, Acyclic models and triples, Proc. Conference Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 336-343.

The "triple" is an older name for a monad.

Also, Jonathan Mock Beck is the same as Jon Beck, as you can see from these lecture notes and this Wikipedia page.

M. Barr and J. Beck, Acyclic models and triples, Proc. Conference Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 336-343.

The "triple" is an older name for a monad.

Also, Jonathan Mock Beck is the same as Jon Beck, as you can see from these lecture notes and this Wikipedia page.


Follow-up: In Beck's thesis the monadicity theorem is discussed on page 8 with reference to an unpublished note: J. Beck, The tripleableness theorems. To appear. The editor's note adds that "To our knowledge, this has not appeared. Beck’s tripleableness theorems have been exposed in M. Barr and C. Wells, Toposes, Triples and Theories."
Beck refers in the intro of his thesis to the 1966 Barr & Beck paper cited above, saying "That paper contains a summary of the present work." This might explain the later attribution to Barr & Beck jointly.

added 42 characters in body
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651

This seems to be the original source:

M. Barr and J. Beck, Acyclic models and triples, Proc. Conference Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 336-343.

The "triple" is an older name for a monad (according to.

Also, Jonathan Mock Beck is the same as Jon Beck, as you can see from these Wikipedialecture notes and this )Wikipedia page.

This seems to be the original source:

M. Barr and J. Beck, Acyclic models and triples, Proc. Conference Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 336-343.

The "triple" is an older name for a monad (according to Wikipedia ).

This seems to be the original source:

M. Barr and J. Beck, Acyclic models and triples, Proc. Conference Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 336-343.

The "triple" is an older name for a monad.

Also, Jonathan Mock Beck is the same as Jon Beck, as you can see from these lecture notes and this Wikipedia page.

added 61 characters in body
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651

This seems to be the original source:

M. Barr and J. Beck, Acyclic models and triples,Acyclic models and triples, Proc. Conference Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 336-343.

The "triple" is an older name for a monad (according to Wikipedia ).

This seems to be the original source:

M. Barr and J. Beck, Acyclic models and triples, Proc. Conference Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 336-343.

The "triple" is an older name for a monad (according to Wikipedia ).

This seems to be the original source:

M. Barr and J. Beck, Acyclic models and triples, Proc. Conference Categorical Algebra (La Jolla, Calif., 1965) Springer, New York, 1966, pp. 336-343.

The "triple" is an older name for a monad (according to Wikipedia ).

Post Undeleted by Carlo Beenakker
Post Deleted by Carlo Beenakker
Source Link
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651
Loading