We further the theory of optics or "circuits-with-holes" to encompass
pr...
We introduce the normal produoidal category of monoidal contexts over an...
We compare two possible ways of defining a category of 1-combs, the firs...
We build upon our recently introduced concept of an update structure to ...
Modelling concept representation is a foundational problem in the study ...