Monoidal closedness of the category of simulations

Tsujishita, T.; Watanabe, H.

Hokkaido University Preprint Series in Mathematics, 1997, 392, 1-24

Permalink : https://doi.org/10.14943/83538

このアイテムのアクセス数:645件（2026-08-12 20:28 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
re392	pdf	745 KB	392

アクセス権	open access
DOI	https://doi.org/10.14943/83538
URI	https://hdl.handle.net/2115/69142
タイトル	Monoidal closedness of the category of simulations
著者	著者名 Tsujishita, T.
著者	著者名 Watanabe, H.
言語	英語
発行日	1997-10-01
出版者	Department of Mathematics, Hokkaido University
収録物名	Hokkaido University Preprint Series in Mathematics
巻(号)	392
ページ	1-24
抄録	The category of simulations of nondeterministic dynamical systems is shown to be symmetric monoidal closed category with a subobject classifyer. (AMS Classification:18Dl5,68Ql0,03F50)
資源タイプ	紀要論文
出版タイプ	Version of Record