On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes

We consider two preorder-enriched categories of ordered partial combinatory algebras: OPCA, where the arrows are functional (i.e., projective) morphisms, and OPCA†, where the arrows are applicative morphisms. We show that OPCA has small products and finite biproducts, and that OPCA† has finite coproducts, all in a suitable 2-categorical sense. On the other hand, OPCA† lacks all nontrivial binary products. We deduce from this that the pushout, over Set, of two nontrivial realizability toposes is never a realizability topos. In contrast, we show that nontrivial subtoposes of realizability toposes are closed under pushouts over Set.

Enriched category as a model of qualia structure based on similarity judgements

Qualitative relationships between two instances of conscious experiences can be quantified through the perceived similarity. Previously, we proposed that by defining similarity relationships as arrows and conscious experiences as objects, we can define a category of qualia in the context of category theory. However, the example qualia categories we proposed were highly idealized and limited to cases where perceived similarity is binary: either present or absent without any gradation. Here, we introduce enriched category theory to address the graded levels of similarity that arises in many instances of qualia. Enriched categories generalize the concept of a relation between objects as a directed arrow (or morphism) in ordinary category theory to a more flexible notion, such as a measure of distance. As an alternative relation, here we propose a graded measure of perceived dissimilarity between the two objects. We claim that enriched categories accommodate various types of conscious experiences. An important extension of this claim is the application of the Yoneda lemma in enriched category; we can characterize a quale through a collection of relationships between the quale and the other qualia up to an (enriched) isomorphism.

Cartesian Differential Categories as Skew Enriched Categories

We exhibit the cartesian differential categories of Blute, Cockett and Seely as a particular kind of enriched category. The base for the enrichment is the category of commutative monoids—or in a straightforward generalisation, the category of modules over a commutative rig k. However, the tensor product on this category is not the usual one, but rather a warping of it by a certain monoidal comonad Q. Thus the enrichment base is not a monoidal category in the usual sense, but rather a skew monoidal category in the sense of Szlachányi. Our first main result is that cartesian differential categories are the same as categories with finite products enriched over this skew monoidal base. The comonad Q involved is, in fact, an example of a differential modality. Differential modalities are a kind of comonad on a symmetric monoidal k-linear category with the characteristic feature that their co-Kleisli categories are cartesian differential categories. Using our first main result, we are able to prove our second one: that every small cartesian differential category admits a full, structure-preserving embedding into the cartesian differential category induced by a differential modality (in fact, a monoidal differential modality on a monoidal closed category—thus, a model of intuitionistic differential linear logic). This resolves an important open question in this area.

Enriched category as a model of qualia structure based on similarity judgements

Qualitative relationships between two instances of conscious experiences can be quantified through the perceived similarity. Previously, we proposed that by defining similarity relationships as arrows and conscious experiences as objects, we can define a category of qualia in the context of category theory. However, the example qualia categories we proposed were highly idealized and limited to cases where perceived similarity is binary: either present or absent without any gradation. When similarity is graded, a situation can arise where A0 is similar to A1, A1 is similar to A2, and so on, yet A0 is not similar to An, which is called the Sorites paradox. Here, we introduce enriched category theory to address this situation. Enriched categories generalize the concept of a relation between objects as a directed arrow (or morphism) in ordinary category theory to a more flexible notion, such as a measure of distance. As an alternative relation, here we propose a graded measure of perceived dissimilarity between the two objects. These measures combine in a way that addresses the Sorites paradox; even if the dissimilarity between Ai and Ai+1 is small for i = 0 … n, hence perceived as similar, the dissimilarity between A0 and An can be large, hence perceived as different. In this way, we show how dissimilarity-enriched categories of qualia resolve the Sorites paradox. We claim that enriched categories accommodate various types of conscious experiences. An important extension of this claim is the application of the Yoneda lemma in enriched category; we can characterize a quale through a collection of relationships between the quale and the other qualia up to an (enriched) isomorphism.

Differential microRNAs expression profiles in liver from three different lifestyle modification mice models

Background MicroRNAs play an important role in many fundamental biological and pathological processes. Defining the microRNAs profile underlying the processes by beneficial and detrimental lifestyles, including caloric restriction (CR), exercise and high-fat diet (HF), is necessary for understanding both normal physiology and the pathogenesis of metabolic disease. We used the microarray to detect microRNAs expression in livers from CR, EX and HF mice models. After predicted potential target genes of differentially expressed microRNAs with four algorithms, we applied GO and KEGG to analyze the function of predicted microRNA targets. Results We describe the overall microRNAs expression pattern, and identified 84 differentially expressed microRNAs changed by one or two or even all the three lifestyle modifications. The common and different enriched categories of gene function and main biochemical and signal transduction pathways were presented. Conclusions We provided for the first time a comprehensive and thorough comparison of microRNAs expression profiles in liver among these lifestyle modifications. With this knowledge, our findings provide us with an overall vision of microRNAs in the molecular impact of lifestyle on health as well as useful clues for future and thorough research of the role of microRNAs.

Categories

In this chapter, categories are defined, and basic concepts are reviewed. Starting from the definitions of a category, a functor, and a natural transformation, the chapter reviews limits, adjunctions, equivalences, the Yoneda Lemma, monads, monoidal categories, and Mac Lane's Coherence Theorem. Enriched categories, which provide one characterization of 2-categories, are also discussed. This chapter makes this book self-contained and accessible to beginners.