A Category Theoretic Interpretation of Gandy's Principles for Mechanisms
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 funct...
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Makale |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Open Publishing Association
2019-04-01
|
| Seri Bilgileri: | Electronic Proceedings in Theoretical Computer Science |
| Online Erişim: | http://arxiv.org/pdf/1904.10109v1 |