Groupoid - PDFSEARCH.IO - Document Search Engine

Groupoid
Results: 111

#	Item
71	Recent Work in Homotopy Type Theory Steve Awodey Carnegie Mellon University AMS Baltimore January 2014 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Abstract algebra Homotopy type theory Groupoid Homotopy Lambda calculus Path Fundamental group Function Hurewicz theorem Homotopy theory Topology Mathematics
72	What n-Categories Should Be Like John C. Baez A %% Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2004-06-11 10:36:24 Abstract algebra Homotopy theory Higher category theory Algebraic structures PRO Groupoid Braided monoidal category Functor Category Category theory Algebra Monoidal categories
73	arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Groupoid Homotopy Fundamental group Equivalence relation Abstract algebra Mathematics Topology
74	INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS CONSTRUCTIVE TYPE THEORY AND HOMOTOPY STEVE AWODEY CARNEGIE MELLON UNIVERSITY Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Groupoid Homotopy type theory Homotopy Model category Fundamental group CW complex Category theory Homotopy theory Topology Abstract algebra
75	Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008 Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Topology Algebraic topology Higher category theory Model category Groupoid Simplicial set Alexander Grothendieck Model theory Abstract algebra Homotopy theory Category theory
76	Version 4.2 Metabolism, Reproduction, and Chirality Insights from a groupoid stereochemistry Rodrick Wallace, Ph.D. Division of Epidemiology Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2008-10-29 11:47:41 Homotopy theory Category theory Algebraic structures Symmetry Groupoid Group actions Equivalence relation Path Category Abstract algebra Mathematics Algebra
77	Groupoids and crossed objects in algebraic topology Ronald Brown∗ School of Computer Science Bangor University United Kingdom October 23, 2011 Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2011-10-23 12:37:46 Homotopy theory Category theory Higher category theory Algebraic topology Algebraic structures Groupoid Double groupoid Seifert–van Kampen theorem Group action Abstract algebra Mathematics Algebra
78	FROM GROUPS TO GROUPOIDS: A BRIEF SURVEY ∗ RONALD BROWN Bull. London Math. Soc[removed][removed] Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2012-04-02 11:09:15 Homotopy theory Category theory Algebraic topology Group theory Higher category theory Groupoid Seifert–van Kampen theorem Double groupoid Group action Abstract algebra Mathematics Algebra
79	************************************** BANACH CENTER PUBLICATIONS, VOLUME INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 200* Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2006-11-26 09:46:46 Homotopy theory Algebraic topology Category theory Differential geometry Higher category theory Groupoid Double groupoid Seifert–van Kampen theorem Lie groupoid Abstract algebra Mathematics Topology
80	The Seifert-van Kampen Theorem for the fundamental groupoid of a space with a set of base points This note is an extract for the convenience of readers of a section of the book [BHS11], with some additional comments. Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2014-04-10 13:42:56 Algebra Category theory Higher category theory Algebraic structures Algebraic topology Double groupoid Seifert–van Kampen theorem Groupoid Pushout Abstract algebra Mathematics Homotopy theory