Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren
Add to Reading List
Document Date: 2013-08-22 15:46:58
Open Document
File Size: 1,50 MB
Share Result on Facebook
Facility
Interchange Laws /
/
IndustryTerm
dependent products /
categorical machinery /
weak factorization systems /
/
Organization
American Mathematical Society /
M. A. WARREN /
/
Person
Phil Scott /
Pieter Hofstra /
Nicola Gambino /
Steve Awodey /
Peter LeFanu Lumsdaine /
Thomas Streicher /
Michael A. Warren /
A. Warren Abstract /
Alex Simpson /
/
Position
author /
thesis supervisor /
/
Technology
CRM /
/
SocialTag
Homotopy theory
Algebraic topology
Algebraic structures
Higher category theory
Groupoid
Functor
Adjoint functors
Sheaf
Natural transformation
Abstract algebra