Page 1 Next

Displaying 1 – 20 of 765

Showing per page

𝒯 0 - and 𝒯 1 -reflections

Maria Manuel Clementino (1992)

Commentationes Mathematicae Universitatis Carolinae

In an abstract category with suitable notions of subobject, closure and point, we discuss the separation axioms T 0 and T 1 . Each of the arising subcategories is reflective. We give an iterative construction of the reflectors and present characteristic examples.

A Borel topos

Donovan H. Van Osdol (1981)

Cahiers de Topologie et Géométrie Différentielle Catégoriques

A categorical account of the localic closed subgroup theorem

Christopher Townsend (2007)

Commentationes Mathematicae Universitatis Carolinae

Given an axiomatic account of the category of locales the closed subgroup theorem is proved. The theorem is seen as a consequence of a categorical account of the Hofmann-Mislove theorem. The categorical account has an order dual providing a new result for locale theory: every compact subgroup is necessarily fitted.

A coalgebraic view on reachability

Thorsten Wißmann, Stefan Milius, Shin-ya Katsumata, Jérémy Dubut (2019)

Commentationes Mathematicae Universitatis Carolinae

Coalgebras for an endofunctor provide a category theoretic framework for modeling a wide range of state-based systems of various types. We provide an iterative construction of the reachable part of a given pointed coalgebra that is inspired by and resembles the standard breadth-first search procedure to compute the reachable part of a graph. We also study coalgebras in Kleisli categories: for a functor extending a functor on the base category, we show that the reachable part of a given pointed coalgebra...

A generalized minimal realization theory of machines in a category.

Antonio Bahamonde (1983)


This paper presents a generalized minimal realization theory of machines in a category which contains the Kleiski case. The minimal realization is the cheapest realization for a given cost functor. The final reachable realization of Arbib and Manes ([5]) and the minimal state approach for nondeterministic machines are included here.

Currently displaying 1 – 20 of 765

Page 1 Next