Formalizing category theory in Agda.

Jason Z. S. Hu Jacques Carette

Published in: CPP (2021)

Keyphrases

theoretical framework
computational model
theoretical foundation
database systems
special case
object detection
theoretical basis