Univalent Monoidal Categories.

Kobe Wullaert Ralph Matthes Benedikt Ahrens

Published in: CoRR (2022)

Keyphrases

neural network
special case
equational theories
databases
real world
search engine
computer vision
similarity measure