The category of Pawlak machines
The category of totally symmetric quasigroups is binding
The category of uniform frames
The category of uniform spaces as a completion of the category of metric spaces
A criterion for the existence of an initial completion of a concrete category universal w.r.tḟinite products and subobjects is presented. For metric spaces and uniformly continuous maps this completion is the category of uniform spaces.
The classifying topos of a continuous groupoid. II
The colimits in the generalized algebraic categories
The compositional construction of Markov processes II
We add sequential operations to the categorical algebra of weighted and Markov automata introduced in [L. de Francesco Albasini, N. Sabadini and R.F.C. Walters, arXiv:0909.4136]. The extra expressiveness of the algebra permits the description of hierarchical systems, and ones with evolving geometry. We make a comparison with the probabilistic automata of Lynch et al. [SIAM J. Comput. 37 (2007) 977–1013].
The compositional construction of Markov processes II
We add sequential operations to the categorical algebra of weighted and Markov automata introduced in [L. de Francesco Albasini, N. Sabadini and R.F.C. Walters, arXiv:0909.4136]. The extra expressiveness of the algebra permits the description of hierarchical systems, and ones with evolving geometry. We make a comparison with the probabilistic automata of Lynch et al. [SIAM J. Comput.37 (2007) 977–1013].
The concept of a binary relation over partial enumerated sets.
The connection between the fundamental groupoid and a unification algorithm for syntactil algebras (extended abstract)
The convergence approach to exponentiable maps.
The coproduct of totally convex spaces
The cyclic spectrum of a Boolean flow.
The display locale of a cosheaf
The dual locale of a seminormed space
The envelope of a subcategory in topology and group theory.
The epis of
The epis of the category of ordered algebras and -continuous homomorphisms
The Exponential Law of Maps. II.
The extensive completion of a distributive category.