Symmetric Monoidal Smash Products in Homotopy Type Theory.

Axel Ljungström

Published in: CoRR (2024)

Keyphrases

equational theories
theoretical framework
neural network
multi agent systems
fixed point
theoretical basis
hierarchical architecture
databases
learning algorithm
information systems
e learning
multiscale
search algorithm