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
On strictifying extensional reflexivity in compact closed categories - MaRDI portal

On strictifying extensional reflexivity in compact closed categories

From MaRDI portal

Publication:6612801

Jump to:navigation, search

DOI10.1007/978-3-031-24117-8_25MaRDI QIDQ6612801

Peter A. Hines

Publication date: 1 October 2024

zbMATH Keywords

coherence reflexivity inverse monoids Frobenius algebras geometry of interaction strictification compact closure categorical traces untyped logical systems

Mathematics Subject Classification ID

Quantum computation (81P68) Logic in computer science (03B70) Theory of computing (68Qxx)

This page was built for publication: On strictifying extensional reflexivity in compact closed categories

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