Generalizing the fact that Scott's continuous lattices form the equational hull of algebraic lattices, we describe an equational hull of locally finitely presentable categories as consisting of precontinuous categories.
Generalizing the fact that Scott's continuous lattices form the equational hull of algebraic lattices, we describe an equational hull of locally finitely presentable categories as consisting of precontinuous categories. (en)
Generalizing the fact that Scott's continuous lattices form the equational hull of algebraic lattices, we describe an equational hull of locally finitely presentable categories as consisting of precontinuous categories. (cs)