Categorical simulations
From MaRDI portal
Publication:964545
DOI10.1016/J.JPAA.2009.12.028zbMATH Open1192.03020OpenAlexW4210692990MaRDI QIDQ964545FDOQ964545
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
Recommendations
abstract computabilitypartial combinatory algebrascategory of Turing categoriesfibrations of assembliesfree fibration monadsimulation between categories
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Restriction categories. I: Categories of partial maps
- A categorical outlook on relational modalities and simulations
- Introduction to Turing categories
- Realizability. An introduction to its categorical side
- Title not available (Why is that?)
- Restriction categories II: Partial map classification
- Developing theories of types and computability via realizability
- Ordered partial combinatory algebras
- A categorical linear framework for Petri nets
- Title not available (Why is that?)
- Iterated realizability as a comma construction
Cited In (8)
- On the Semantics of Intensionality
- Introduction to Turing categories
- Aspects of Categorical Recursion Theory
- Computability models over categories and presheaves
- Computability structures, simulations and realizability
- Title not available (Why is that?)
- Algebra and Coalgebra in Computer Science
- Paths and simulations
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)
