1![LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio](https://www.pdfsearch.io/img/330be57179a335823ed1a3d28dedc1e9.jpg) | Add to Reading ListSource URL: www.math.unipa.it- Date: 2009-02-01 11:26:38
|
---|
2![Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification](https://www.pdfsearch.io/img/839402c52f9907db013b7cefd9054581.jpg) | Add to Reading ListSource URL: hott-uf.gforge.inria.frLanguage: English - Date: 2015-07-02 06:06:44
|
---|
3![OPEN PROBLEMS IN TOPOS THEORY Bill Lawvere 4 April 2009 For Martin Hyland and Peter Johnstone in honor of their sixtieth birthdays Here are seven problems that I have not yet been able to solve. Clarification on them wou OPEN PROBLEMS IN TOPOS THEORY Bill Lawvere 4 April 2009 For Martin Hyland and Peter Johnstone in honor of their sixtieth birthdays Here are seven problems that I have not yet been able to solve. Clarification on them wou](https://www.pdfsearch.io/img/15defb72e394b0ecb1b2f3c7fa7a128c.jpg) | Add to Reading ListSource URL: cheng.staff.shef.ac.ukLanguage: English - Date: 2009-07-16 07:17:40
|
---|
4![Intro First-order theories Higher-order theories Intro First-order theories Higher-order theories](https://www.pdfsearch.io/img/6d52ff233f60c8bdccfe9946c28f651f.jpg) | Add to Reading ListSource URL: www.lama.univ-savoie.frLanguage: English - Date: 2010-09-16 03:38:56
|
---|
5![Richard Garner Macquarie University Finitary monads, Lawvere theories, and Cauchy completion There are two main ways in which a category theorist can articulate the notion of equational theory: using Lawvere theories, an Richard Garner Macquarie University Finitary monads, Lawvere theories, and Cauchy completion There are two main ways in which a category theorist can articulate the notion of equational theory: using Lawvere theories, an](https://www.pdfsearch.io/img/35229a0a972d5094e2cc250b9adaa147.jpg) | Add to Reading ListSource URL: web.science.mq.edu.auLanguage: English - Date: 2013-06-21 05:35:55
|
---|
6![Philosophia Mathematica (III[removed]), 227–254. doi:[removed]phimat/nkr024 Advance Access publication August 24, 2011 Category Theory as an Autonomous Foundation† Philosophia Mathematica (III[removed]), 227–254. doi:[removed]phimat/nkr024 Advance Access publication August 24, 2011 Category Theory as an Autonomous Foundation†](https://www.pdfsearch.io/img/5473fc4e09b0bf06a634c3f5216e6d4e.jpg) | Add to Reading ListSource URL: philmat.oxfordjournals.orgLanguage: English |
---|
7![Theory and Applications of Categories, Vol. 27, 2012, page 1 INTRODUCTION The International Category Theory Conference (CT2011) was held on the University of British Columbia campus in Vancouver, Canada, during July 17- Theory and Applications of Categories, Vol. 27, 2012, page 1 INTRODUCTION The International Category Theory Conference (CT2011) was held on the University of British Columbia campus in Vancouver, Canada, during July 17-](https://www.pdfsearch.io/img/62a87a3a2cb24d33b31cbc5daa1c5201.jpg) | Add to Reading ListSource URL: www.emis.deLanguage: English - Date: 2012-03-20 15:04:00
|
---|
8![Theory and Applications of Categories, Vol. 27, No. 12, 2013, pp. 242–262. LAWVERE COMPLETENESS AS A TOPOLOGICAL PROPERTY SERDAR SOZUBEK Abstract. Lawvere’s notion of completeness for quantale-enriched categories ha Theory and Applications of Categories, Vol. 27, No. 12, 2013, pp. 242–262. LAWVERE COMPLETENESS AS A TOPOLOGICAL PROPERTY SERDAR SOZUBEK Abstract. Lawvere’s notion of completeness for quantale-enriched categories ha](https://www.pdfsearch.io/img/f729c80794497eae87e02d272a4999dd.jpg) | Add to Reading ListSource URL: www.emis.deLanguage: English - Date: 2013-01-24 13:03:00
|
---|
9![Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE](https://www.pdfsearch.io/img/2ad37b1a4a02d8abec31b713e84df6e8.jpg) | Add to Reading ListSource URL: emis.library.cornell.eduLanguage: English - Date: 2006-02-24 14:27:12
|
---|
10![LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio](https://www.pdfsearch.io/img/266ac0fcf8c66550fb89be0781f7e4ca.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-06-01 15:27:23
|
---|