Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The Cayley-Dickson Construction in Homotopy Type Theory - MaRDI portal

The Cayley-Dickson Construction in Homotopy Type Theory

From MaRDI portal

Publication:6278286

Jump to:navigation, search

zbMath1522.03039arXiv1610.01134MaRDI QIDQ6278286

Ulrik Buchholtz, Egbert Rijke

Publication date: 4 October 2016

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35) Homotopical algebra, Quillen model categories, derivators (18N40) Type theory (03B38) Categories of fibrations, relations to (K)-theory, relations to type theory (18N45)

This page was built for publication: The Cayley-Dickson Construction in Homotopy Type Theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6278286&oldid=35841284"