Lawvere theory

Results: 23



#Item
1LAWVERE-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

Add to Reading List

Source URL: www.math.unipa.it

- Date: 2009-02-01 11:26:38
    2Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification

    Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification

    Add to Reading List

    Source URL: hott-uf.gforge.inria.fr

    Language: English - Date: 2015-07-02 06:06:44
      3OPEN 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

      Add to Reading List

      Source URL: cheng.staff.shef.ac.uk

      Language: English - Date: 2009-07-16 07:17:40
        4Intro First-order theories Higher-order theories

        Intro First-order theories Higher-order theories

        Add to Reading List

        Source URL: www.lama.univ-savoie.fr

        Language: English - Date: 2010-09-16 03:38:56
        5Richard 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

        Add to Reading List

        Source URL: web.science.mq.edu.au

        Language: English - Date: 2013-06-21 05:35:55
          6Philosophia 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†

          Add to Reading List

          Source URL: philmat.oxfordjournals.org

          Language: English
          7Theory 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-

          Add to Reading List

          Source URL: www.emis.de

          Language: English - Date: 2012-03-20 15:04:00
          8Theory 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

          Add to Reading List

          Source URL: www.emis.de

          Language: English - Date: 2013-01-24 13:03:00
          9Reprints 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

          Add to Reading List

          Source URL: emis.library.cornell.edu

          Language: English - Date: 2006-02-24 14:27:12
          10LAWVERE-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

          Add to Reading List

          Source URL: www.andrew.cmu.edu

          Language: English - Date: 2014-06-01 15:27:23