Back to Results
First PageMeta Content
Homotopy theory / Algebraic topology / Algebraic structures / Higher category theory / Groupoid / Functor / Adjoint functors / Sheaf / Natural transformation / Abstract algebra / Category theory / Mathematics


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