« first day (2337 days earlier)      last day (1066 days later) » 

12:01 PM
@TimCampion Perfect. Thanks!
 
12:44 PM
Why do some people call Beck's monadicity theorem "the Barr--Beck theorem"?
 
1:10 PM
Because of math.mcgill.ca/barr/papers/amt.pdf, I guess? (And because that's what Lurie calls it probably)
 
 
5 hours later…
5:47 PM
@Drew what does that paper have to do with it? I don't see any mention of the monadicity theorem in it.
In the book "Toposes, Triples, and Theories" by Barr and Wells, it is very definitely labelled "Beck's Theorem". So Barr does not seem to think it is the "Barr-Beck theorem".
 
 
3 hours later…
9:24 PM
@JonathanBeardsley I don't know references. As Tom suggests, I would take some formulation which works in simplicial sets and see if you can extend it to simplicial sheaves.
 

« first day (2337 days earlier)      last day (1066 days later) »