A STRUCTURE THEORY FOR A CATEGORY OF BEHAVIOURS
作者:
Gert Naudé,
期刊:
Quaestiones Mathematicae
(Taylor Available online 1979)
卷期:
Volume 3,
issue 3
页码: 229-240
ISSN:1607-3606
年代: 1979
DOI:10.1080/16073606.1979.9631573
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
A category Bch(X) of behaviours is introduced as a formalization of an external description of systems. It is show that the forgetful functor W: Bch(x) → K2is algebraic and that therefore Bch(x) has, and W preserves, whatever limits K has. Colimits and an image factorization system for Bch(X) are also investigated.
点击下载:
PDF (267KB)
返 回