Functorial Neural Architectures from Higher Inductive Types | ScienceToStartup | ScienceToStartup