In this paper, we present a simple mining technique named the Quran Mining Technique (QMT) in an attempt to automatically classify the Suras (i.e. chapters) of the Quran based on predefined set of 10 themes. QMT is composed mainly of two phases: a preprocessing phase and a classification phase. In the first phase, we manually label a set of representative words for ten predefined themes. In the...

Doctrines are categorical structures very apt to study logics of different nature within a unified environment: the 2-category Dtn doctrines. Modal interior operators characterised as particular adjoints in Dtn. We show that they can be constructed from comonads well adjunctions it, and two constructions compare. Finally we amount information lost passage comonad, or an adjunction, modal operat...

In the context of quantaloid-enriched categories, we explain how each saturated class of weights defines, and is defined by, an essentially unique full sub-KZ-doctrine of the free cocompletion KZ-doctrine. The KZ-doctrines which arise as full sub-KZ-doctrines of the free cocompletion, are characterised by two simple “fully faithfulness” conditions. Conical weights form a saturated class, and th...