This article serves as a preliminary introduction to the design of a new, open-source applied and computational category theory framework, named Categorica, built on top of the Wolfram Language. Categorica allows one to configure and manipulate abstract quivers, categories, groupoids, diagrams, functors and natural transformations, and to perform a vast array of automated abstract algebraic computations using (arbitrary combinations of) the above structures; to manipulate and abstractly reason about arbitrary universal properties, including products, coproducts, pullbacks, pushouts, limits and colimits; and to manipulate, visualize and compute with strict (symmetric) monoidal categories, including full support for automated string diagram rewriting and diagrammatic theorem-proving. In so doing, Categorica combines the capabilities of an abstract computer algebra framework (thus allowing one to compute directly with epimorphisms, monomorphisms, retractions, sections, spans, cospans, fibrations, etc.) with those of a powerful automated theorem-proving system (thus allowing one to convert universal properties and other abstract constructions into (higher-order) equational logic statements that can be reasoned about and proved using standard automated theorem-proving methods, as well as to prove category-theoretic statements directly using purely diagrammatic methods). Internally, Categorica relies upon state-of-the-art graph and hypergraph rewriting algorithms for its automated reasoning capabilities, and is able to convert seamlessly between diagrammatic/combinatorial reasoning on labeled graph representations and symbolic/abstract reasoning on underlying algebraic representations of all category-theoretic concepts. In this first of two articles introducing the design of the framework, we shall focus principally upon its handling of quivers, categories, diagrams, groupoids, functors and natural transformations, including demonstrations of both its algebraic manipulation and theorem-proving capabilities in each case.

Autoimmune hemolytic anemias (AIHAs) are conditions whereby a person produces an antibody to their own red blood cells (RBCs). These conditions can be primary with unknown cause or secondary, associated with diseases or infections. There are seven different categories of AIHA, warm-antibody AIHA (wAIHA); cold-antibody AIHA that includes cold agglutinin syndrome (CAS) and cold agglutin disease (CAD); mixed AIHA, also called combined cold and warm AIHA; paroxysmal cold hemoglobinuria (PCH) also termed Donath-Lansteiner test-positive AIHA; direct antiglobulin test-negative AIHA (DAT-neg AIHA); drug-induced immune hemolytic anemia (DIIHA); and passenger lymphocyte syndrome. This review will discuss each of these AIHAs and provide information on diagnosis and treatment.

We evaluate the complexity of Colombian climate from extreme behavior of gauge temperature and precipitation, using the the novel Tsallis' non-extensive entropy principle based on physical information through the q-index. We find the spatial structure of non additive universal categories (q-index) and compare with some complex systems with the potential to have some degree of dynamical affinity. Our results evidence the great dynamical variability of regional climate expressed in the large range of values of $q$-index, and the high degree of non-extensitivity for both temperature and precipitation.

Identification of Dengue drivers is crucial for pro-active prevention strategies. In semi-arid regions, the relationship between meteorological variables, particularly rainfall, and the dengue vector is complex. This study analyzes associations between the number of dengue cases and rainfall categories in six semi-arid locations in India. Focusing on official website data, we find significant correlations only with heavy rainfall (R>10 mm/day). The findings underscore the importance of heavy rainfall in Dengue incidence and offer insights for pro-active prevention. The study methodology involves rainfall and dengue occurrence over Indian region. This research contributes to the growing body of knowledge on Dengue prevention, emphasizing the need for targeted interventions during periods of heavy rainfall.

Automatic garments design class identification for recommending the fashion trends is important nowadays because of the rapid growth of online shopping. By learning the properties of images efficiently, a machine can give better accuracy of classification. Several methods, based on Hand-Engineered feature coding exist for identifying garments design classes. But, most of the time, those methods do not help to achieve better results. Recently, Deep Convolutional Neural Networks (CNNs) have shown better performances for different object recognition. Deep CNN uses multiple levels of representation and abstraction that helps a machine to understand the types of data (images, sound, and text) more accurately. In this paper, we have applied deep CNN for identifying garments design classes. To evaluate the performances, we used two well-known CNN models AlexNet and VGGNet on two different datasets. We also propose a new CNN model based on AlexNet and found better results than existing state-of-the-art by a significant margin.