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 Universal Exponentiable Arrow - MaRDI portal

The Universal Exponentiable Arrow

From MaRDI portal

Publication:6333579

Jump to:navigation, search

DOI10.1016/J.JPAA.2021.106991zbMath1524.18005arXiv2001.09940MaRDI QIDQ6333579

Taichi Uemura

Publication date: 27 January 2020

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Type theory (03B38)

This page was built for publication: The Universal Exponentiable Arrow

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