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 Universal Construction for (Co)Relations - MaRDI portal

A Universal Construction for (Co)Relations

From MaRDI portal

Publication:4580207

Jump to:navigation, search

DOI10.4230/LIPIcs.CALCO.2017.12zbMath1436.68191arXiv1703.08247MaRDI QIDQ4580207

Brendan Fong, Fabio Zanasi

Publication date: 13 August 2018

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

zbMATH Keywords

PROP string diagram corelation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Related Items (1)

Universal Constructions for (Co)Relations: categories, monoidal categories, and props

This page was built for publication: A Universal Construction for (Co)Relations

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