Groupoid

Results: 111



#Item
61Crossed complexes and chain complexes with operators∗ by RONALD BROWN School of Mathematics, University College of North Wales, Bangor, Gwynedd LL57 1UT PHILIP J. HIGGINS Department of Mathematical Sciences, University

Crossed complexes and chain complexes with operators∗ by RONALD BROWN School of Mathematics, University College of North Wales, Bangor, Gwynedd LL57 1UT PHILIP J. HIGGINS Department of Mathematical Sciences, University

Add to Reading List

Source URL: pages.bangor.ac.uk

Language: English - Date: 2008-04-04 03:58:11
62Category Theory: an abstract setting for analogy and comparison R. Brown and T.Porter Abstract ‘Comparison’ and ‘Analogy’ are fundamental aspects of knowledge acquisition. We argue that one of the reasons for the

Category Theory: an abstract setting for analogy and comparison R. Brown and T.Porter Abstract ‘Comparison’ and ‘Analogy’ are fundamental aspects of knowledge acquisition. We argue that one of the reasons for the

Add to Reading List

Source URL: pages.bangor.ac.uk

Language: English - Date: 2005-10-05 12:18:56
63Intuitions for cubical methods in nonabelian algebraic topology Ronnie Brown IHP, Paris, June 5, 2014 CONSTRUCTIVE MATHEMATICS AND MODELS OF TYPE

Intuitions for cubical methods in nonabelian algebraic topology Ronnie Brown IHP, Paris, June 5, 2014 CONSTRUCTIVE MATHEMATICS AND MODELS OF TYPE

Add to Reading List

Source URL: pages.bangor.ac.uk

Language: English - Date: 2014-06-08 07:12:18
64arXiv:math.DG[removed]v3 2 Feb[removed]Connes’ tangent groupoid and strict quantization Jos´e F. Cari˜ nena a, Jes´

arXiv:math.DG[removed]v3 2 Feb[removed]Connes’ tangent groupoid and strict quantization Jos´e F. Cari˜ nena a, Jes´

Add to Reading List

Source URL: dftuz.unizar.es

Language: English - Date: 2002-02-22 04:24:29
65Revisiting the Tangent Groupoid A. Rivero   August 8, 2002

Revisiting the Tangent Groupoid A. Rivero  August 8, 2002

Add to Reading List

Source URL: dftuz.unizar.es

Language: English - Date: 2003-03-21 17:38:03
66Flashes of noncommutativity Alejandro Rivero∗ arXiv:math.QA[removed]v1 24 Feb[removed]February 24, 2003

Flashes of noncommutativity Alejandro Rivero∗ arXiv:math.QA[removed]v1 24 Feb[removed]February 24, 2003

Add to Reading List

Source URL: dftuz.unizar.es

Language: English - Date: 2003-02-24 11:56:20
67Lessons from numerical analysis A. Rivero∗ arXiv:hep-th[removed]Aug[removed]February 22, 2002

Lessons from numerical analysis A. Rivero∗ arXiv:hep-th[removed]Aug[removed]February 22, 2002

Add to Reading List

Source URL: dftuz.unizar.es

Language: English - Date: 2002-02-22 04:16:44
68Internalization of the Groupoid Interpretation of Homotopy Type Theory Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1 πr2 and Ascola teams, INRIA Preuves, Programmes et Syst`emes (PPS)

Internalization of the Groupoid Interpretation of Homotopy Type Theory Matthieu Sozeau1,2 and Nicolas Tabareau1,3 1 πr2 and Ascola teams, INRIA Preuves, Programmes et Syst`emes (PPS)

Add to Reading List

Source URL: mattam.org

Language: English - Date: 2014-02-10 10:38:50
69The Geometry and Topology of Orientifolds II Dan Freed University of Texas at Austin May 21, 2009

The Geometry and Topology of Orientifolds II Dan Freed University of Texas at Austin May 21, 2009

Add to Reading List

Source URL: www.ma.utexas.edu

Language: English - Date: 2009-05-21 23:23:19
70Structuralism, Invariance, and Univalence∗ Steve Awodey March 4, 2014 Abstract The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the

Structuralism, Invariance, and Univalence∗ Steve Awodey March 4, 2014 Abstract The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the

Add to Reading List

Source URL: www.andrew.cmu.edu

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