On a conjecture by J. H. Smith.
On a connection between algebra, logic and linguistics
On a generalized small-object argument for the injective subcategory problem
On categorical shape theory
On categories determined by poset- and set-valued functors
On clones of relations
On coalgebras and type transformations
We show that for an arbitrary Set-endofunctor T the generalized membership function given by a sub-cartesian transformation μ from T to the filter functor 𝔽 can be alternatively defined by the collection of subcoalgebras of constant T-coalgebras. Sub-natural transformations ε between any two functors S and T are shown to be sub-cartesian if and only if they respect μ. The class of T-coalgebras whose structure map factors through ε is shown to be a covariety if ε is a natural and sub-cartesian mono-transformation....
On corings and comodules
It is shown that the categories of -coalgebras for a commutative unital ring and the category of -corings for some -algebra as well as their respective categories of comodules are locally presentable.
On covarieties of coalgebras
On equalizers in generalized algebraic categories
On Extension of Functors onto the Kleisli Category of the Inclusion Hyperspace Monad
It is proved that there exists no extension of any non-trivial weakly normal functor of finite degree onto the Kleisli category of the inclusion hyperspace monad.
On extension of functors to the Kleisli category of some weakly normal monads
The problem of extension of normal functors to the Kleisli categories of the inclusion hyperspace monad and its submonads is considered. Some negative results are obtained.
On extensions of functors to the Kleisli category
On extensions of lax monads.
On generic separable objects.
On Kan fibrations for Maltsev algebras.
On limits and colimits in the Kleisli category
On locally small based algebraic theories
On minimal realizations of behavior maps in categorial automata theory
On property-like structures.