FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms

Authors: Joseph Razavi and Andrea Schalk

Paper Information

Title:A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms
Authors:Joseph Razavi and Andrea Schalk
Proceedings:DCM DCM Pre-proceedingsd
Editor: Sandra Alves
Keywords:Local determinism, Gandy, Cellular automata, Parallel computation, Time-varying graphs, Models of computation
Abstract:

ABSTRACT. Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular category of states, we describe what properties such a category should have. The computation is modelled by a functor that encodes updating the computation, and we give an abstract account of such functors. We show that every updating functor satisfying our conditions is computable.

Pages:8
Talk:Jul 08 12:00 (Session 38C)
Paper: