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 Cartesian closed extension of the category of locales - MaRDI portal

A Cartesian closed extension of the category of locales

From MaRDI portal

Publication:5481591

Jump to:navigation, search

DOI10.1017/S0960129506005135zbMath1098.18003MaRDI QIDQ5481591

Reinhold Heckmann

Publication date: 10 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

locales reflexive subcategory cartesian category equilocales

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Frames, locales (06D22) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

This page was built for publication: A Cartesian closed extension of the category of locales

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