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
A 2-categorical proof of Frobenius for fibrations defined from a generic point - MaRDI portal

A 2-categorical proof of Frobenius for fibrations defined from a generic point

From MaRDI portal

Publication:6506704

Jump to:navigation, search

zbMatharXiv:2210.00078MaRDI QIDQ6506704

Sina Hazratpour, Emily Riehl

Publication date: 1 January 1

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: A 2-categorical proof of Frobenius for fibrations defined from a generic point

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