Categorifying computations into components via arrows as profunctors
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.68084
author: Kazuyuki Asada
author: Ichiro Hasuo
published in: Electronic Notes in Theoretical Computer Science
publication date: 2012-10-02T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 18B20
Mathematics Subject Classification ID: 18C15
zbMATH DE Number: 6089939
zbMATH Keywords: arrow
zbMATH Keywords: coalgebra
zbMATH Keywords: component
zbMATH Keywords: computation
zbMATH Keywords: profunctor
MaRDI profile type: Publication
full work available at URL: j.entcs.2010.07.012
OpenAlex ID: W1964430373
cites work: What is a Categorical Model of Arrows?
cites work: Q4250400
cites work: Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
cites work: Q3682648
cites work: Traced Premonoidal Categories
cites work: Q4856547
cites work: Coalgebraic Components in a Many-Sorted Microcosm
cites work: The Microcosm Principle and Concurrency in Coalgebra
cites work: Generalising monads to arrows
cites work: A small complete category
cites work: Categorical logic and type theory
cites work: Categorical semantics for arrows
cites work: Q3934579
cites work: Monads on symmetric monoidal closed categories
cites work: Modelling environments in call-by-value programming languages.
cites work: Q4215784
cites work: Notions of computation and monads
cites work: A new notation for arrows
cites work: Premonoidal categories and notions of computation
cites work: Universal coalgebra: A theory of systems
cites work: The formal theory of monads
cites work: Comonadic notions of computation
DOI: 10.1016/J.ENTCS.2010.07.012
title: Categorifying computations into components via arrows as profunctors
description: scientific article; zbMATH DE number 6089939