Page 1 Next

Displaying 1 – 20 of 816

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 categorical concept of completion of objects

Guillaume C. L. Brümmer, Eraldo Giuli (1992)

Commentationes Mathematicae Universitatis Carolinae

We introduce the concept of firm classes of morphisms as basis for the axiomatic study of completions of objects in arbitrary categories. Results on objects injective with respect to given morphism classes are included. In a finitely well-complete category, firm classes are precisely the coessential first factors of morphism factorization structures.

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...

Currently displaying 1 – 20 of 816

Page 1 Next