Abstract:We define and study the notion of a locally bounded enriched category over a (locally bounded) symmetric monoidal closed category, generalizing the locally bounded ordinary categories of Freyd and Kelly. In addition to proving several general results for constructing examples of locally bounded enriched categories and locally bounded closed categories, we demonstrate that locally bounded enriched categories admit fully enriched analogues of many of the convenient results enjoyed by locally bounded ordinary categories. In particular, we prove full enrichments of Freyd and Kelly's reflectivity and local boundedness results for orthogonal subcategories and categories of models for sketches and theories. We also provide characterization results for locally bounded enriched categories in terms of enriched presheaf categories, and we show that locally bounded enriched categories admit useful adjoint functor theorems and a representability theorem. We also define and study the notion of $\alpha$-bounded-small weighted limit enriched in a locally $\alpha$-bounded closed category, which parallels Kelly's notion of $\alpha$-small weighted limit enriched in a locally $\alpha$-presentable closed category, and we show that enriched categories of models of $\alpha$-bounded-small weighted limit theories are locally $\alpha$-bounded.

Restrictions on local embeddability into finite semigroups

Restrictions on local embeddability into finite semigroups

Local permutation stability

Local finiteness for Green's relations in semigroup varieties

An analytic criterion for the local finiteness of a countable semigroup

Groups which are metrically LEF

Local finiteness for Green relations in (I-)semigroup varieties

Densification in classes of involutive commutative residuated lattices

The Finite Embedding Property for IP Loops and Local Embeddability of Groups into Finite IP Loops

Local equivalence and refinements of Rasmussen's s-invariant

Finite presentation, the local lifting property, and local approximation properties of operator modules

Locally bounded enriched categories

Remarks on Enveloping Semigroups

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations

Projections of Semilocal Rings

Laws of the Lattices of $$\sigma $$-Local Formations of Finite Groups

A Formalism of F -modules for Rings with Complete Local Finite F -Representation Type

Modules with Local Finite BIB-ranks and Grothendieck Groups of Some Categories

On non-regular semigroups: $\lambda$-semidirect products, Zappa-Szép products and representations

Several locality semigroups, path semigroups and partial semigroups

LEF-groups and endomorphisms of symbolic varieties