Categorical simulations

DOI10.1016/J.JPAA.2009.12.028MaRDI QIDQ964545zbMATHOpenAlexFDO

Authors Pieter Hofstra, J. R. B. Cockett

Publication date 22 April 2010

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpaa.2009.12.028

zbMATH Keywords

abstract computabilitypartial combinatory algebrascategory of Turing categoriesfibrations of assembliesfree fibration monadsimulation between categories

Mathematics Subject Classification ID

Fibered categories (18D30) Abstract and axiomatic computability and recursion theory (03D75)

Recommendations

• Computability structures, simulations and realizability
• Algebra and Coalgebra in Computer Science
• Introduction to Turing categories
• Paths and simulations
• Total maps of Turing categories

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 3512374 (Why is no real title available?)
• scientific article; zbMATH DE number 1841819 (Why is no real title available?)
• scientific article; zbMATH DE number 1390022 (Why is no real title available?)
• A categorical linear framework for Petri nets
• A categorical outlook on relational modalities and simulations
• Developing theories of types and computability via realizability
• Introduction to Turing categories
• Iterated realizability as a comma construction
• Ordered partial combinatory algebras
• Realizability. An introduction to its categorical side
• Restriction categories II: Partial map classification
• Restriction categories. I: Categories of partial maps

Cited in

(9)

• Total maps of Turing categories
• Computability models over categories and presheaves
• Introduction to Turing categories
• On the semantics of intensionality
• Encoding the factorisation calculus
• Aspects of categorical recursion theory
• Algebra and Coalgebra in Computer Science
• Paths and simulations
• Computability structures, simulations and realizability

This page was built for publication: Categorical simulations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q964545)