Richard Garner

• Artículos de revistas (15)

• Artículos de revistas

  • Algebraic weak factorisation systems I: Accessible AWFS

    John Bourke, Richard Garner

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 220, Nº 1 (January 2016), 2016, págs. 108-147

    • Resumen
    • Texto completo
    

  • Algebraic weak factorisation systems II: Categories of weak maps

    John Bourke, Richard Garner

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 220, Nº 1 (January 2016), 2016, págs. 148-174

    • Resumen
    • Texto completo
    

  • The Isbell monad

    Richard Garner

    Advances in mathematics, ISSN 0001-8708, Vol. 274, Nº 1, 2015, págs. 516-537

    

  • Combinatorial structure of type dependency

    Richard Garner

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 219, Nº 6 (June 2015), 2015, págs. 1885-1914

    • Resumen
    • Texto completo
    

  • Lawvere theories, finitary monads and Cauchy-completion

    Richard Garner

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 218, Nº 11, 2014, págs. 1973-1988

    • Texto completo
    

  • Two-dimensional regularity and exactness

    John Bourke, Richard Garner

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 218, Nº 7, 2014, págs. 1346-1371

    • Texto completo
    

  • A characterisation of algebraic exactness

    Richard Garner

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 217, Nº 8, 2013, págs. 1421-1426

    

  • On semiflexible, flexible and pie algebras

    John Bourke, Richard Garner

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 217, Nº 2, 2013, págs. 293-321

    

  • Ionads

    Richard Garner

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 216, Nº 8-9, 2012, págs. 1734-1747

    

  • Lex colimits

    Richard Garner, Stephen Lack

    Journal of pure and applied algebra, ISSN 0022-4049, Vol. 216, Nº 6, 2012, págs. 1372-1396

    

  • Types are weak omega-groupoids

    Richard Garner, Benno van den Berg

    Proceedings of the London Mathematical Society, ISSN 0024-6115, Vol. 102, Nº 2, 2011, págs. 370-394

    

  • Homomorphisms of higher categories

    Richard Garner

    Advances in mathematics, ISSN 0001-8708, Vol. 224, Nº 6, 2010, págs. 2269-2311

    

  • A homotopy-theoretic universal property of Leinster's operad for weak omega-categories

    Richard Garner

    Mathematical proceedings of the Cambridge Philosophical Society, ISSN 0305-0041, Vol. 147, Nº 3, 2009, págs. 615-628

    

  • Two-dimensional models of type theory

    Richard Garner

    Mathematical structures in computer science, ISSN 0960-1295, Vol. 19, Nº 4, 2009, págs. 687-736

    

  • Polycategories via pseudo-distributive laws

    Richard Garner

    Advances in mathematics, ISSN 0001-8708, Vol. 218, Nº 3, 2008, págs. 781-827

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.