The subobject classifier of the category of functional bisimulations (Q1301354): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Q805731 / rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter T. Johnstone / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.14492/hokmj/1351001215 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2015660237 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:40, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The subobject classifier of the category of functional bisimulations |
scientific article |
Statements
The subobject classifier of the category of functional bisimulations (English)
0 references
14 May 2000
0 references
The author investigates a category of nondeterministic dynamical systems and functional bisimulations between them. He shows that this category may be regarded as the category of coalgebras for the `nonempty finite subsets' functor on the category of sets, and that it possesses a subobject classifier. The latter result has since been generalized to a large class of similar categories of coalgebras in a paper by \textit{H. Watanabe, P. T. Johnstone, J.~Power, T.~Tsujishita} and \textit{J.~Worrell} [Theor. Comput. Sci. (to appear)].
0 references
nondeterministic dynamical systems
0 references
functional bisimulations
0 references