Univalent Enriched Categories and the Enriched Rezk Completion.

Niels van der Weide

Published in: FSCD (2024)

Keyphrases

multiscale
information technology
real time
database systems
image sequences
similarity measure
data structure