WEAK SATURATION AND WEAK AMALGAMATION PROPERTY

We study the two model-theoretic concepts of weak saturation and weak amalgamation property in the context of accessible categories. We relate these two concepts providing sufficient conditions for existence and uniqueness of weakly saturated objects of an accessible category ${\cal K}$. We discuss the implications of this fact in classical model theory.

STRUKTUR HISTOLOGI HATI TIKUS PUTIH (Rattus norvegicus Berkenhout 1769) DENGAN PEMBERIAN RAMUAN TRADISIONAL MASYARAKAT MELAYU LINGGA, KEPULAUAN RIAU

Lingga Island is the center of the Malay kingdom of Kepulauan Riau Province with local wisdom that is still ingrained in the community. Obat pahit is a decoction of linguistic stew of ethnic lingga community which is believed to be a youthful remedy and maintain stamina. This study aims to find histopathologic changes of liver white mice after the decoction of herb concoction of Obat pahit. The percentage of intercellular damage was nonexistent from the normal control group and positive control but different from the negative control group. Different types of medicinal herbs with different dosage levels. But the damage is still in the normal, accessible category that has no toxic effects from bitter herbs on liver organ.

Final coalgebras in accessible categories

We propose a construction of the final coalgebra for a finitary endofunctor of a finitely accessible category and study conditions under which this construction is available. Our conditions always apply when the accessible category is cocomplete, and is thus a locally finitely presentable (l.f.p.) category, and we give an explicit and uniform construction of the final coalgebra in this case. On the other hand, our results also apply to some interesting examples of final coalgebras beyond the realm of l.f.p. categories. In particular, we construct the final coalgebra for every finitary endofunctor on the category of linear orders, and analyse Freyd's coalgebraic characterisation of the closed unit as an instance of this construction. We use and extend results of Tom Leinster, developed for his study of self-similar objects in topology, relying heavily on his formalism of modules (corresponding to endofunctors) and complexes for a module.

PURE SEMISIMPLE FINITELY ACCESSIBLE CATEGORIES AND HERZOG'S CRITERION

Let [Formula: see text] be a finitely accessible category with products, and assume that its symmetric category [Formula: see text] is also finitely accessible and pure semisimple. We study necessary and sufficient conditions in both categories for [Formula: see text] (and hence [Formula: see text]) to be of locally finite representation type. In particular, we obtain a generalization of Herzog's criterion for finite representation type of left pure semisimple and right artinian rings. As an application, we prove that a left pure semisimple ring R with enough idempotents which has a self-duality is of locally finite representation type if and only if it is left locally finite.

Theories of presheaf type

Let us say that a geometric theory T is of presheaf type if its classifying topos is (equivalent to) a presheaf topos. (We adhere to the convention that geometric logic allows arbitrary disjunctions, while coherent logic means geometric and finitary.) Write Mod(T) for the category of Set-models and homomorphisms of T. The next proposition is well known; see, for example, MacLane–Moerdijk [13], pp. 381-386, and the textbook of Adámek–Rosický [1] for additional information:Proposition 0.1. For a category , the following properties are equivalent:(i) is a finitely accessible category in the sense of Makkai–Paré [14], i.e., it has filtered colimits and a small dense subcategory of finitely presentable objectsii) is equivalent to Pts, the category of points of some presheaf topos(iii) is equivalent to the free filtered cocompletion (also known as Ind-) of a small category .(iv) is equivalent to Mod(T) for some geometric theory of presheaf type.Moreover, if these are satisfied for a given , then the —in any of (i), (ii) and (iii)—can be taken to be the full subcategory of consisting of finitely presentable objects. (There may be inequivalent choices of , as it is in general only determined up to idempotent completion; this will not concern us.)This seems to completely solve the problem of identifying when T is of presheaf type: check whether Mod(T) is finitely accessible and if so, recover the presheaf topos as Set-functors on the full subcategory of finitely presentable models. There is a subtlety here, however, as pointed out (probably for the first time) by Johnstone [10].

Enriched accessible categories

We consider category theory enriched in a locally finitely presentable symmetric monoidal closed category ν. We define the ν-filtered colimits as those colimits weighted by a ν-flat presheaf and consider the corresponding notion of ν-accessible category. We prove that ν-accessible categories coincide with the categories of ν-flat presheaves and also with the categories of ν-points of the categories of ν-presheaves. Moreover, the ν-locally finitely presentable categories are exactly the ν-cocomplete finitely accessible ones. To prove this last result, we show that the Cauchy completion of a small ν-category Cis equivalent to the category of ν-finitely presentable ν-flat presheaves on C.

Finitary sketches and finitely accessible categories

Every accessible category is proved to be sketchable by a sketch with finite colimits. In contrast, a finitely accessible category is presented that cannot be sketched by a finitary sketch, i.e., a sketch with finite limits and finite colimits. Also, a category sketchable by a finitary sketch is found that is not finitely accessible.

Embedding of Accessible Regular Categories

The purpose of this note is to prove that a regular accessible category has a full regular embedding into a set-valued functor category.