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
Fast Left Kan Extensions Using The Chase - MaRDI portal

Fast Left Kan Extensions Using The Chase

From MaRDI portal

Publication:6398307

Jump to:navigation, search

DOI10.1007/S10817-022-09634-2zbMath1515.18003arXiv2205.02425MaRDI QIDQ6398307

Joshua Meyers, David I. Spivak, Ryan Wisnesky

Publication date: 4 May 2022

Mathematics Subject Classification ID

Database theory (68P15) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Logic in computer science (03B70) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Applications of model theory (03C98) Computational methods for problems pertaining to category theory (18-08)

This page was built for publication: Fast Left Kan Extensions Using The Chase

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