Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorvarkor
   • CommentTimeOct 30th 2021
   • PermaLink
   Author: varkor
   Format: MarkdownItexAdded link to website. <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/11">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/11">v11</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

   Added link to website.

   diff, v11, current

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeOct 24th 2023
   • (edited Oct 24th 2023)
   • PermaLink
   Author: Urs
   Format: MarkdownItexOver on the categories mailing list, Michael Barr is worried that his institute will eventually delete the content of his personal page [math.mcgill.ca/barr](https://math.mcgill.ca/barr/), where he keeps electronic copies of most of his publications. With a little effort, we can copy all these bibitems and their pdf-s to the "Selected writings"-section [here](https://ncatlab.org/nlab/show/Michael+Barr) to save them for posterity.

   Over on the categories mailing list, Michael Barr is worried that his institute will eventually delete the content of his personal page math.mcgill.ca/barr, where he keeps electronic copies of most of his publications.

   With a little effort, we can copy all these bibitems and their pdf-s to the “Selected writings”-section here to save them for posterity.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeOct 24th 2023
   • (edited Oct 24th 2023)
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Michael Barr]], John Kennison, Raphael, *Coequalizers and free triples, II*, Theory Appl. Categories **34** (2019) 662–683 &lbrack;[tac:34-23](http://www.tac.mta.ca/tac/volumes/34/23/34-23abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/17">v17</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

   added pointer to:

   • Michael Barr, John Kennison, Raphael, Coequalizers and free triples, II, Theory Appl. Categories 34 (2019) 662–683 [tac:34-23]

   diff, v17, current

4. • CommentRowNumber4.
   • CommentAuthorUrs
   • CommentTimeOct 24th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Contractible simplicial objects*, Comm. Math. Univ. Carol. **60** 4 (2019) 473–495 &lbrack;[pdf](https://math.mcgill.ca/barr/papers/cso.pdf) [eudml:295068](https://eudml.org/doc/295068)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/17">v17</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

   added pointer to:

   • Michael Barr, John Kennison, Robert Raphael, Contractible simplicial objects, Comm. Math. Univ. Carol. 60 4 (2019) 473–495 [pdf eudml:295068]

   diff, v17, current

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeOct 24th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Topological $\ast$-autonomous categories*, Theory Appl. Categories, 16 (2006) 700–708 &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/mack.pdf)&rbrack; * [[Michael Barr]], *Topological $\ast$-autonomous categories, revisited*, Tbilisi Math. J. **10** 3 (2017) 51–64 &lbrack;[arXiv:1609.04241](https://arxiv.org/abs/1609.04241)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/17">v17</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

   added pointer to:

   • Michael Barr, Topological $\ast$-autonomous categories, Theory Appl. Categories, 16 (2006) 700–708 [pdf]

   • Michael Barr, Topological $\ast$-autonomous categories, revisited, Tbilisi Math. J. 10 3 (2017) 51–64 [arXiv:1609.04241]

   diff, v17, current

6. • CommentRowNumber6.
   • CommentAuthorUrs
   • CommentTimeOct 24th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *On reflective and coreflective hulls*, [[Cahiers|Cahiers Topologie Géométrie Différentielle Catégorique]] **56** (2015) 162–208 &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/biref.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/17">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/17">v17</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

   added pointer to:

   • Michael Barr, John Kennison, Robert Raphael, On reflective and coreflective hulls, Cahiers Topologie Géométrie Différentielle Catégorique 56 (2015) 162–208 [pdf]

   diff, v17, current

7. • CommentRowNumber7.
   • CommentAuthorUrs
   • CommentTimeOct 24th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Limit closures of classes of commutative rings*, Theory Appl. Categories **30** (2015) 229–304 &lbrack;[tac:30-08](http://www.tac.mta.ca/tac/volumes/30/8/30-08abs.html), [pdf](https://www.math.mcgill.ca/barr/papers/domrefl.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/18">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/18">v18</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

   added pointer to:

   • Michael Barr, John Kennison, Robert Raphael, Limit closures of classes of commutative rings, Theory Appl. Categories 30 (2015) 229–304 [tac:30-08, pdf]

   diff, v18, current

8. • CommentRowNumber8.
   • CommentAuthorUrs
   • CommentTimeOct 24th 2023
   • PermaLink
   Author: Urs
   Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *The $\ast$-autonomous category of uniform sup semi-lattices*, Theory Appl. Categories **27** (2012) 222–241 &lbrack;[tac:27-11](http://www.tac.mta.ca/tac/volumes/27/11/27-11abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/18">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/18">v18</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

   added pointer to:

   • Michael Barr, John Kennison, Robert Raphael, The $\ast$-autonomous category of uniform sup semi-lattices, Theory Appl. Categories 27 (2012) 222–241 [tac:27-11]

   diff, v18, current

9. • CommentRowNumber9.
   • CommentAuthorBryceClarke
   • CommentTimeOct 24th 2023
   • PermaLink
   Author: BryceClarke
   Format: MarkdownItexRe: #2 I am happy to help with this effort. It looks like you are currently doing the 2010 - present? In that case, I can start on 1990 - 1999 papers. This way you may continue to 2000 - 2009.

   Re: #2

   I am happy to help with this effort. It looks like you are currently doing the 2010 - present? In that case, I can start on 1990 - 1999 papers. This way you may continue to 2000 - 2009.

10. • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeOct 24th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexGreat, thanks! Yes, I was just going down the list [here](https://www.math.mcgill.ca/barr/#chronoindex), item by item, whenever I had a free minuite. So far, most of the items actually have already a freely available pdf version stably hosted somewhere on the web (such as by TAC), and we can just link to these. In cases where the only freely available pdf is on Barr's personal site, we should make a copy to the nLab server.

    Great, thanks!

    Yes, I was just going down the list here, item by item, whenever I had a free minuite.

    So far, most of the items actually have already a freely available pdf version stably hosted somewhere on the web (such as by TAC), and we can just link to these.

    In cases where the only freely available pdf is on Barr’s personal site, we should make a copy to the nLab server.

11. • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeOct 25th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Countable meets in coherent spaces with applications to the cyclic spectrum*, Theory Appl. Categories **25** 19 (2011), 508–232 &lbrack;[tac:25-19](http://www.tac.mta.ca/tac/volumes/25/19/25-19abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/19">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/19">v19</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, John Kennison, Robert Raphael, Countable meets in coherent spaces with applications to the cyclic spectrum, Theory Appl. Categories 25 19 (2011), 508–232 [tac:25-19]

    diff, v19, current

12. • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeOct 25th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Flows: cocyclic and almost cocyclic*, Theory Appl. Categories **25** 18 (2010) 490–507 &lbrack;[tac:25-18](http://www.tac.mta.ca/tac/volumes/25/18/25-18abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/20">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/20">v20</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, John Kennison, Robert Raphael, Flows: cocyclic and almost cocyclic, Theory Appl. Categories 25 18 (2010) 490–507 [tac:25-18]

    diff, v20, current

13. • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeOct 25th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *On $\ast$-autonomous categories of topological modules*, Theory Appl. Categories, **24** 14 (2010) 278–293 &lbrack;[tac:24-14](http://www.tac.mta.ca/tac/volumes/24/14/24-14abs.html)&rbrack; This completes the first list "2010-present" [here](https://www.math.mcgill.ca/barr/#chronoindex) (going anti-chronologically, top to bottom). <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/20">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/20">v20</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, John Kennison, Robert Raphael, On $\ast$-autonomous categories of topological modules, Theory Appl. Categories, 24 14 (2010) 278–293 [tac:24-14]

    This completes the first list “2010-present” here (going anti-chronologically, top to bottom).

    diff, v20, current

14. • CommentRowNumber14.
    • CommentAuthorBryceClarke
    • CommentTimeOct 25th 2023
    • PermaLink
    Author: BryceClarke
    Format: MarkdownItexAdded the reference: * [[Michael Barr]], _$\ast$-Autonomous categories: once more around the track_, Theory and Applications of Categories **6** 1 (1999) 5-24 &lbrack;[tac](http://www.tac.mta.ca/tac/volumes/6/n1/6-01abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/21">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/21">v21</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    Added the reference:

    • Michael Barr, $\ast$-Autonomous categories: once more around the track, Theory and Applications of Categories 6 1 (1999) 5-24 [tac]

    diff, v21, current

15. • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeOct 26th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[Heinrich Kleisli]], *Topological balls* [[Cahiers|Cahiers Topologie Géométrie Différentielle Catégorique]] **40** 1 (1999) 3–20 &lbrack;[numdam:CTGDC_1999__40_1_3_0](http://www.numdam.org/item/?id=CTGDC_1999__40_1_3_0)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/22">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/22">v22</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Heinrich Kleisli, Topological balls Cahiers Topologie Géométrie Différentielle Catégorique 40 1 (1999) 3–20 [numdam:CTGDC_1999__40_1_3_0]

    diff, v22, current

16. • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeOct 26th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *The separated extensional Chu category* Theory Appl. Categories **4** 6 (1998) 127–137 &lbrack;[tac:4-06](http://www.tac.mta.ca/tac/volumes/1998/n6/4-06abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/22">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/22">v22</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, The separated extensional Chu category Theory Appl. Categories 4 6 (1998) 127–137 [tac:4-06]

    diff, v22, current

17. • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeOct 26th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Note on a theorem of Putnam's*, Theory Appl. Categories, **3** 3 (1997) 45–49 &lbrack;[tac:3-03](http://www.tac.mta.ca/tac/volumes/1997/n3/3-03abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/23">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/23">v23</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Note on a theorem of Putnam’s, Theory Appl. Categories, 3 3 (1997) 45–49 [tac:3-03]

    diff, v23, current

18. • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeOct 27th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Notes on Sketches*, Technical report of the Electrotechnical Laboratory (computer language section), Tsukuba, Japan (1997) &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/sketch.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/24">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/24">v24</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Notes on Sketches, Technical report of the Electrotechnical Laboratory (computer language section), Tsukuba, Japan (1997) [pdf]

    diff, v24, current

19. • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeOct 27th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Separability of tensor in Chu categories of vector spaces*, Math. Structures Comp. Sci. **6** (1996) 213–217 &lbrack;[doi:10.1017/S0960129500000955](https://doi.org/10.1017/S0960129500000955), [pdf](https://www.math.mcgill.ca/barr/papers/sepvec.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/24">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/24">v24</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Separability of tensor in Chu categories of vector spaces, Math. Structures Comp. Sci. 6 (1996) 213–217 [doi:10.1017/S0960129500000955, pdf]

    diff, v24, current

20. • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeOct 28th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *The Chu construction*, Theory Appl. Categories **2** 2 (1996) 17–35 &lbrack;[tac:2-02](http://www.tac.mta.ca/tac/volumes/1996/n2/2-02abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/25">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/25">v25</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, The Chu construction, Theory Appl. Categories 2 2 (1996) 17–35 [tac:2-02]

    diff, v25, current

21. • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeOct 28th 2023
    • (edited Oct 28th 2023)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *$\ast$-Autonomous categories and linear logic*, Math. Structures Comp. Sci. **1** 2 (1991) 159–178 &lbrack;[doi:10.1017/S0960129500001274](https://doi.org/10.1017/S0960129500001274), [pdf](https://www.math.mcgill.ca/barr/papers/scatll.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/25">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/25">v25</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, $\ast$-Autonomous categories and linear logic, Math. Structures Comp. Sci. 1 2 (1991) 159–178 [doi:10.1017/S0960129500001274, pdf]

    diff, v25, current

22. • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeOct 28th 2023
    • (edited Oct 28th 2023)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Joachim Lambek]], [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Injective hulls of partially ordered monoids*, Theory Appl. Categories **26** 13 (2012) 338–348 &lbrack;[tac:16-13](http://www.tac.mta.ca/tac/volumes/26/13/26-13abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/26">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/26">v26</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Joachim Lambek, Michael Barr, John Kennison, Robert Raphael, Injective hulls of partially ordered monoids, Theory Appl. Categories 26 13 (2012) 338–348 [tac:16-13]

    diff, v26, current

23. • CommentRowNumber23.
    • CommentAuthorDmitri Pavlov
    • CommentTimeOct 28th 2023
    • PermaLink
    Author: Dmitri Pavlov
    Format: MarkdownItexBarr's page is also available on Web Archive: <https://web.archive.org/web/20230000000000*/https://math.mcgill.ca/barr/>. So it's not going to disappear either way.

    Barr’s page is also available on Web Archive: https://web.archive.org/web/20230000000000*/https://math.mcgill.ca/barr/. So it’s not going to disappear either way.

24. • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexThe WaybackMachine provides file retrieval but not hosting. Its content is not indexed by search engines, one needs to feed it an exact url for it to respond. Since it's not focused on the academic content that we care about here, the spooks have already been trying to shut it down. As long as it exists it's useful for retrieving and then saving to our server documents that are not stably hosted elsewhere.

    The WaybackMachine provides file retrieval but not hosting.

    Its content is not indexed by search engines, one needs to feed it an exact url for it to respond.

    Since it’s not focused on the academic content that we care about here, the spooks have already been trying to shut it down.

    As long as it exists it’s useful for retrieving and then saving to our server documents that are not stably hosted elsewhere.

25. • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Acyclic models*, Canadian J. Math. **48** 2 (1996) 258–273 &lbrack;[doi:10.4153/CJM-1996-013-x](https://doi.org/10.4153/CJM-1996-013-x), [pdf](https://www.math.mcgill.ca/barr/papers/acmod.pdf)&rbrack; * [[Michael Barr]], *Acyclic models*, CRM Monograph Series **17** (2002) &lbrack;[ams:crmm-17](https://bookstore.ams.org/crmm-17), [pdf](https://www.math.mcgill.ca/barr/papers/acycmod.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/27">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/27">v27</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Acyclic models, Canadian J. Math. 48 2 (1996) 258–273 [doi:10.4153/CJM-1996-013-x, pdf]

    • Michael Barr, Acyclic models, CRM Monograph Series 17 (2002) [ams:crmm-17, pdf]

    diff, v27, current

26. • CommentRowNumber26.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Cartan-Eilenberg cohomology and triples* J. Pure Applied Algebra **112** 3 (1996) 219–238 &lbrack;<a href="https://doi.org/10.1016/0022-4049(95)00138-7">doi:10.1016/0022-4049(95)00138-7</a>, [pdf](https://www.math.mcgill.ca/barr/papers/coho.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/27">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/27">v27</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Cartan-Eilenberg cohomology and triples J. Pure Applied Algebra 112 3 (1996) 219–238 [doi:10.1016/0022-4049(95)00138-7, pdf]

    diff, v27, current

27. • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Isbell duality for for modules*, Theory and Applications of Categories **22** 17 (2009) 401-419 &lbrack;[tac:22-17](http://www.tac.mta.ca/tac/volumes/22/17/22-17abs.html), [pdf](https://www.math.mcgill.ca/barr/papers/rmod.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/28">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/28">v28</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, John Kennison, Robert Raphael, Isbell duality for for modules, Theory and Applications of Categories 22 17 (2009) 401-419 [tac:22-17, pdf]

    diff, v28, current

28. • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * Marcia L. Barr & [[Michael Barr]] (2011), Engl. translation of: [[Alexander Grothendieck]], *Some aspects of homological algebra* &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/gk.pdf), [[BarrTranslOf-GrothedieckTohoku.pdf:file]]&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/28">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/28">v28</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Marcia L. Barr & Michael Barr (2011), Engl. translation of: Alexander Grothendieck, Some aspects of homological algebra [pdf, BarrTranslOf-GrothedieckTohoku.pdf:file]

    diff, v28, current

29. • CommentRowNumber29.
    • CommentAuthorDavidRoberts
    • CommentTimeOct 31st 2023
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexI tried telling Barr to put all his papers on the arXiv, some years ago, but he refused because they wanted the LaTeX source, and he didn't want to give that.

    I tried telling Barr to put all his papers on the arXiv, some years ago, but he refused because they wanted the LaTeX source, and he didn’t want to give that.

30. • CommentRowNumber30.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Isbell Duality* Theory and Applications of Categories **20** 15 (2008) 504-542 &lbrack;[tac:20-15](http://www.tac.mta.ca/tac/volumes/20/15/20-15abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/29">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/29">v29</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, John Kennison, Robert Raphael, Isbell Duality Theory and Applications of Categories 20 15 (2008) 504-542 [tac:20-15]

    diff, v29, current

31. • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Joachim Lambek]] (with [[Michael Barr]]), *Programs, Grammars, Arguments*, lecture notes (2007) &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/pga.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/29">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/29">v29</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Joachim Lambek (with Michael Barr), Programs, Grammars, Arguments, lecture notes (2007) [pdf]

    diff, v29, current

32. • CommentRowNumber32.
    • CommentAuthorUrs
    • CommentTimeOct 31st 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *On productively Lindelöf spaces*, Scient. Math. Japon. **65** (2007) 23–36 &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/alster.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/29">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/29">v29</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, John Kennison, Robert Raphael, On productively Lindelöf spaces, Scient. Math. Japon. 65 (2007) 23–36 [pdf]

    diff, v29, current

33. • CommentRowNumber33.
    • CommentAuthorUrs
    • CommentTimeNov 1st 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Algebraic cohomology: the early days*, in *Galois Theory, Hopf Algebras, and Semiabelian Categories*, Fields Institute Communications **43** (2004) 1–26 &lbrack;[doi:10.1090/fic/043](https://doi.org/10.1090/fic/043), [pdf](https://www.math.mcgill.ca/barr/papers/algcohom.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/30">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/30">v30</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Algebraic cohomology: the early days, in Galois Theory, Hopf Algebras, and Semiabelian Categories, Fields Institute Communications 43 (2004) 1–26 [doi:10.1090/fic/043, pdf]

    diff, v30, current

34. • CommentRowNumber34.
    • CommentAuthorUrs
    • CommentTimeNov 2nd 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Fuzzy models of linear logic*, Math. Structures Comp. Sci. **6** 3 (1996) 301–312 &lbrack;[doi:10.1017/S096012950000102X](https://doi.org/10.1017/S096012950000102X), [pdf](https://www.math.mcgill.ca/barr/papers/fzymod.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/31">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/31">v31</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Fuzzy models of linear logic, Math. Structures Comp. Sci. 6 3 (1996) 301–312 [doi:10.1017/S096012950000102X, pdf]

    diff, v31, current

35. • CommentRowNumber35.
    • CommentAuthorUrs
    • CommentTimeNov 2nd 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Fuzzy set theory and topos theory*, Canad. Math. Bull. **29** 4 (1986) 501-508 &lbrack;[doi:10.4153/CMB-1986-079-9](https://doi.org/10.4153/CMB-1986-079-9), [pdf](https://www.math.mcgill.ca/barr/papers/fuzzy.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/31">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/31">v31</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Fuzzy set theory and topos theory, Canad. Math. Bull. 29 4 (1986) 501-508 [doi:10.4153/CMB-1986-079-9, pdf]

    diff, v31, current

36. • CommentRowNumber36.
    • CommentAuthorUrs
    • CommentTimeNov 2nd 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Terminal coalgebras for endofunctors on sets*, Theoretical Comp. Sci. **114** (1993) 299–315 &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/trmclg.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/31">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/31">v31</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Terminal coalgebras for endofunctors on sets, Theoretical Comp. Sci. 114 (1993) 299–315 [pdf]

    diff, v31, current

37. • CommentRowNumber37.
    • CommentAuthorUrs
    • CommentTimeNov 2nd 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Toposes without points*, J. Pure Appl. Algebra **5** (1974) 265-280 &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/top.no.pt.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/31">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/31">v31</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Toposes without points, J. Pure Appl. Algebra 5 (1974) 265-280 [pdf]

    diff, v31, current

38. • CommentRowNumber38.
    • CommentAuthorUrs
    • CommentTimeNov 3rd 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Accessible categories and models of linear logic*, J. Pure Appl. Algebra **69** (1990) 219–232 &lbrack;<a href="https://doi.org/10.1016/0022-4049(91)90020-3">doi:10.1016/0022-4049(91)90020-3</a>[pdf](https://www.math.mcgill.ca/barr/papers/accll.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/32">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/32">v32</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Accessible categories and models of linear logic, J. Pure Appl. Algebra 69 (1990) 219–232 [doi:10.1016/0022-4049(91)90020-3pdf]

    diff, v32, current

39. • CommentRowNumber39.
    • CommentAuthorUrs
    • CommentTimeNov 3rd 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Cohomology of commutative algebra I*, Ph.D. Thesis, University of Pennsylvania (1962), Retyped with a few corections and notes (2003) &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/thes.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/32">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/32">v32</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Cohomology of commutative algebra I, Ph.D. Thesis, University of Pennsylvania (1962), Retyped with a few corections and notes (2003) [pdf]

    diff, v32, current

40. • CommentRowNumber40.
    • CommentAuthorUrs
    • CommentTimeNov 3rd 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Right exact functors*, J. Pure Appl. Algebra **4** (1974) 1–8 &lbrack;<a href="https://doi.org/10.1016/0022-4049(74)90025-5">doi:10.1016/0022-4049(74)90025-5</a>, [pdf](https://www.math.mcgill.ca/barr/papers/right.exact.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/32">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/32">v32</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Right exact functors, J. Pure Appl. Algebra 4 (1974) 1–8 [doi:10.1016/0022-4049(74)90025-5, pdf]

    diff, v32, current

41. • CommentRowNumber41.
    • CommentAuthorUrs
    • CommentTimeNov 3rd 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], _Exact categories_, in: *Exact categories and categories of sheaves*, Springer Lec. Notes in Math. __236__ (1971) 1-120 &lbrack;[doi:10.1007/BFb0058580](http://dx.doi.org/10.1007/BFb0058580), [pdf](https://www.math.mcgill.ca/barr/papers/exact.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/32">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/32">v32</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Exact categories, in: Exact categories and categories of sheaves, Springer Lec. Notes in Math. 236 (1971) 1-120 [doi:10.1007/BFb0058580, pdf]

    diff, v32, current

42. • CommentRowNumber42.
    • CommentAuthorUrs
    • CommentTimeNov 4th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Harrison homology, Hochschild homology and triples* J. Algebra **8** 3 (1968) 314–323 &lbrack;<a hrf="https://doi.org/10.1016/0021-8693(68)90062-8">doi:10.1016/0021-8693(68)90062-8</a>, [pdf](https://www.math.mcgill.ca/barr/papers/harr-hoch.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/33">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/33">v33</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Harrison homology, Hochschild homology and triples J. Algebra 8 3 (1968) 314–323 [doi:10.1016/0021-8693(68)90062-8, pdf]

    diff, v33, current

43. • CommentRowNumber43.
    • CommentAuthorUrs
    • CommentTimeNov 4th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Building closed categories*, [[Cahiers|Cahiers Topologie Géométrie Différentielle]] **19** (1978) 115–129 &lbrack;[numdam:CTGDC_1978__19_2_115_0](http://www.numdam.org/item/?id=CTGDC_1978__19_2_115_0)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/33">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/33">v33</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Building closed categories, Cahiers Topologie Géométrie Différentielle 19 (1978) 115–129 [numdam:CTGDC_1978__19_2_115_0]

    diff, v33, current

44. • CommentRowNumber44.
    • CommentAuthorUrs
    • CommentTimeNov 4th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *HSP type theorems in the category of posets*, in: *Proc. 7th International Conf. Mathematical Foundation of Programming Language Semantics*, Lecture Notes in Computer Science **598** (1992) 221–234 &lbrack;[doi:10.1007/3-540-55511-0_11](https://doi.org/10.1007/3-540-55511-0_11)&rbrack; * [[Michael Barr]], *Functorial semantics and HSP type theorems*, Algebra Universalis **31** (1994) 223–251 &lbrack;[doi:10.1007/BF01236519](https://doi.org/10.1007/BF01236519), [pdf](https://www.math.mcgill.ca/barr/papers/hsp.pdf)&rbrack; * [[Michael Barr]], *HSP subcategories of Eilenberg-Moore algebras*, Theory Appl. Categories **10** 18 (2002), 461–468 &lbrack;[tac:10-18](http://www.tac.mta.ca/tac/volumes/10/18/10-18abs.html)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/34">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/34">v34</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, HSP type theorems in the category of posets, in: Proc. 7th International Conf. Mathematical Foundation of Programming Language Semantics, Lecture Notes in Computer Science 598 (1992) 221–234 [doi:10.1007/3-540-55511-0_11]

    • Michael Barr, Functorial semantics and HSP type theorems, Algebra Universalis 31 (1994) 223–251 [doi:10.1007/BF01236519, pdf]

    • Michael Barr, HSP subcategories of Eilenberg-Moore algebras, Theory Appl. Categories 10 18 (2002), 461–468 [tac:10-18]

    diff, v34, current

45. • CommentRowNumber45.
    • CommentAuthorUrs
    • CommentTimeNov 5th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *A cohomology theory for commutative algebra I*, Proc. Amer. Math. Soc. **16** (1965) 1379–1384 &lbrack;[doi:1965-016-06/S0002-9939-1965-0193119-3](https://www.ams.org/journals/proc/1965-016-06/S0002-9939-1965-0193119-3), [pdf](https://www.math.mcgill.ca/barr/papers/comcoh1.pdf)&rbrack; * [[Michael Barr]], *A cohomology theory for commutative algebra II*, Proc. Amer. Math. Soc. **16** (1965) 1385–1391 &lbrack;[jstor:2035937](https://www.jstor.org/stable/2035937), [pdf](https://www.math.mcgill.ca/barr/papers/comcoh2.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/35">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/35">v35</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, A cohomology theory for commutative algebra I, Proc. Amer. Math. Soc. 16 (1965) 1379–1384 [doi:1965-016-06/S0002-9939-1965-0193119-3, pdf]

    • Michael Barr, A cohomology theory for commutative algebra II, Proc. Amer. Math. Soc. 16 (1965) 1385–1391 [jstor:2035937, pdf]

    diff, v35, current

46. • CommentRowNumber46.
    • CommentAuthorUrs
    • CommentTimeNov 5th 2023
    • (edited Nov 5th 2023)
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Cohomology in tensored categories*, [[Proceedings of the Conference on Categorical Algebra - La Jolla 1965]], Springer (1966) 344–354 &lbrack;[doi:10.1007/978-3-642-99902-4_17](https://doi.org/10.1007/978-3-642-99902-4_17), [pdf](https://www.math.mcgill.ca/barr/papers/ctc.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/35">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/35">v35</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Cohomology in tensored categories, Proceedings of the Conference on Categorical Algebra - La Jolla 1965, Springer (1966) 344–354 [doi:10.1007/978-3-642-99902-4_17, pdf]

    diff, v35, current

47. • CommentRowNumber47.
    • CommentAuthorUrs
    • CommentTimeNov 6th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Coalgebras over a commutative ring*, Journal of Algebra **32** 3 (1974) 600-610 &lbrack;<a href="https://doi.org/10.1016/0021-8693(74)90161-6">doi:10.1016/0021-8693(74)90161-6</a>, [pdf](https://www.math.mcgill.ca/barr/ftp/pdffiles/coalgebra.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/36">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/36">v36</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Coalgebras over a commutative ring, Journal of Algebra 32 3 (1974) 600-610 [doi:10.1016/0021-8693(74)90161-6, pdf]

    diff, v36, current

48. • CommentRowNumber48.
    • CommentAuthorUrs
    • CommentTimeNov 6th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Coalgebras in a category of algebras*, in: *Category Theory, Homology Theory and their Applications I*, Lecture Notes in Mathematics **86**, Springer (1969) 1-12 &lbrack;[doi:10.1007/BFb0079381](https://doi.org/10.1007/BFb0079381)&rbrack; (Barr's website does not have a pdf copy for this one: The relevant item instead accidentally points to the pdf for "Coalgebras Over a Commutative Ring", while the pdf-link at the item of that title is dead.) <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/36">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/36">v36</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Coalgebras in a category of algebras, in: Category Theory, Homology Theory and their Applications I, Lecture Notes in Mathematics 86, Springer (1969) 1-12 [doi:10.1007/BFb0079381]

    (Barr’s website does not have a pdf copy for this one: The relevant item instead accidentally points to the pdf for “Coalgebras Over a Commutative Ring”, while the pdf-link at the item of that title is dead.)

    diff, v36, current

49. • CommentRowNumber49.
    • CommentAuthorUrs
    • CommentTimeNov 7th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Abstract Galois Theory*, J. Pure Appl. Algebra **19** (1980) 21–42 &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/galois.pdf)&rbrack; * [[Michael Barr]], *Abstract Galois Theory II*, J. Pure Appl. Algebra **25** 3 (1982) 227–247 \[<a href="https://doi.org/10.1016/0022-4049(82)90080-9">doi:10.1016/0022-4049(82)90080-9</a>, [pdf](https://www.math.mcgill.ca/barr/papers/galois2.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/37">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/37">v37</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Abstract Galois Theory, J. Pure Appl. Algebra 19 (1980) 21–42 [pdf]

    • Michael Barr, Abstract Galois Theory II, J. Pure Appl. Algebra 25 3 (1982) 227–247 [doi:10.1016/0022-4049(82)90080-9, pdf]

    diff, v37, current

50. • CommentRowNumber50.
    • CommentAuthorUrs
    • CommentTimeNov 7th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[Radu Diaconescu]], *Atomic Toposes*, J. Pure Appl. Algebra **17** (1980) 1-24 &lbrack;<a href="https://doi.org/10.1016/0022-4049(80)90020-1">doi:10.1016/0022-4049(80)90020-1</a>, [pdf](http://www.math.mcgill.ca/barr/papers/atom.top.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/37">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/37">v37</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Radu Diaconescu, Atomic Toposes, J. Pure Appl. Algebra 17 (1980) 1-24 [doi:10.1016/0022-4049(80)90020-1, pdf]

    diff, v37, current

51. • CommentRowNumber51.
    • CommentAuthorUrs
    • CommentTimeNov 7th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], [[Colin McLarty]], [[Charles Wells]], *Variable set theory*, prepared for *Scientific American* but unpublished (~1985) &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/vst.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/37">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/37">v37</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Colin McLarty, Charles Wells, Variable set theory, prepared for Scientific American but unpublished (~1985) [pdf]

    diff, v37, current

52. • CommentRowNumber52.
    • CommentAuthorUrs
    • CommentTimeNov 7th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Models of Horn theories*, in: *Categories in Computer Science and Logic*, Contemporary Math. **92**, Amer. Math. Soc. (1989) 1–7 &lbrack;[pdf](https://www.math.mcgill.ca/barr/papers/horn.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/37">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/37">v37</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Models of Horn theories, in: Categories in Computer Science and Logic, Contemporary Math. 92, Amer. Math. Soc. (1989) 1–7 [pdf]

    diff, v37, current

53. • CommentRowNumber53.
    • CommentAuthorUrs
    • CommentTimeNov 7th 2023
    • PermaLink
    Author: Urs
    Format: MarkdownItexadded pointer to: * [[Michael Barr]], *Fixed points in cartesian closed categories*, Theoretical Comp. Sci. **70** (1990) 65–72 &lbrack;<a href="https://doi.org/10.1016/0304-3975(90)90152-8">doi:10.1016/0304-3975(90)90152-8</a>, [pdf](https://www.math.mcgill.ca/barr/papers/dom.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/Michael+Barr/37">diff</a>, <a href="https://ncatlab.org/nlab/revision/Michael+Barr/37">v37</a>, <a href="https://ncatlab.org/nlab/show/Michael+Barr">current</a>

    added pointer to:

    • Michael Barr, Fixed points in cartesian closed categories, Theoretical Comp. Sci. 70 (1990) 65–72 [doi:10.1016/0304-3975(90)90152-8, pdf]

    diff, v37, current

54. • CommentRowNumber54.
    • CommentAuthorDavidRoberts
    • CommentTimeNov 12th 2023
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexThe link to the [troublesome paper](https://nforum.ncatlab.org/discussion/13649/michael-barr/?Focus=113910#Comment_113910) is now fixed.

    The link to the troublesome paper is now fixed.