Univalent Double Categories.

Niels van der Weide Nima Rasekh Benedikt Ahrens Paige Randall North

Published in: CoRR (2023)

Keyphrases

computer vision
information systems
object recognition
special case
real time
machine learning
metadata
reinforcement learning