Constructor Theory as Process Theory
Constructor theory is a meta-theoretic approach that seeks to characterise concrete theories
of physics in terms of the (im) possibility to implement certain abstract" tasks" by means of …
of physics in terms of the (im) possibility to implement certain abstract" tasks" by means of …
Categories of semantic concepts
Modelling concept representation is a foundational problem in the study of cognition and
linguistics. This work builds on the confluence of conceptual tools from G\" ardenfors …
linguistics. This work builds on the confluence of conceptual tools from G\" ardenfors …
Higher lenses
P Capriotti, NA Danielsson… - 2021 36th Annual ACM …, 2021 - ieeexplore.ieee.org
We show that total, very well-behaved lenses are not very well-behaved when treated proof-
relevantly in the setting of homotopy type theory/univalent foundations. In their place we …
relevantly in the setting of homotopy type theory/univalent foundations. In their place we …
[PDF][PDF] A categorical framework for the expression of composable constraints
M Wilson, A Vanrietvelde - preparation. A preliminary version (submission for … - cl.cam.ac.uk
The aim of this work is to present a general categorical construction on a category C that 1)
captures the possibility to impose constraints on morphisms of C, and 2) allows to compose …
captures the possibility to impose constraints on morphisms of C, and 2) allows to compose …