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
Constructing coproducts in locally Cartesian closed \(\infty\)-categories - MaRDI portal

Constructing coproducts in locally Cartesian closed \(\infty\)-categories

From MaRDI portal

Publication:6039222

Jump to:navigation, search

DOI10.4310/HHA.2023.V25.N1.A4zbMath1510.18002arXiv2108.11304OpenAlexW3195131140MaRDI QIDQ6039222

Nima Rasekh, Jonas Frey

Publication date: 4 May 2023

Published in: Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2108.11304

zbMATH Keywords

coproduct homotopy type theory higher category theory higher topos theory impredicative encoding

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

This page was built for publication: Constructing coproducts in locally Cartesian closed \(\infty\)-categories

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