Mallios and Zafiris emphasize that adjoint functors or adjunctions are not only "ubiquitous" in category theory but characterize the naturality of their approach to physical geometry. Hence in this paper, the history and theory of adjoint functors is investigated. Where do adjoint functors come from mathematically and how did the concepts develop historically?

In modern mathematics, many concepts and ideas are described in terms of category theory. From this viewpoint, it is desirable to analyze what can be determined if, instead of the basic category of sets, we consider a similar category of fuzzy sets. In this paper, we describe a natural fuzzy analog of the category of sets and functions, and we show that, in this category, fuzzy relations (a natural fuzzy analogue of functions) can be determined in category terms -- of course, modulo 1-1 mapping of the corresponding universe of discourse and 1-1 re-scaling of fuzzy degrees.

The purpose of this paper is to build a new bridge between category theory and a generalized probability theory known as noncommutative probability or quantum probability, which was originated as a mathematical framework for quantum theory, in terms of states as linear functional defined on category algebras. We clarify that category algebras can be considered as generalized matrix algebras and that the notions of state on category as linear functional defined on category algebra turns out to be a conceptual generalization of probability measures on sets as discrete categories. Moreover, by establishing a generalization of famous GNS (Gelfand-Naimark-Segal) construction, we obtain a representation of category algebras of †-categories on certain generalized Hilbert spaces which we call semi-Hilbert modules over rigs.

The Sharing Economy (SE) has dawn great attention from several stakeholders in society in the last five years. While business actors are interested in financial opportunities to meet consumer needs, new business models, the academia and governmental organizations are concerned with potential unintended effects on the society and environment. In the process of making a clearer comprehension of the SE phenomenon, researchers have identified that, despite its notable global growth, there still persists a lack of a more solid ground in understanding its origins and respective mechanisms under which it has been evolving over time as a category. In this research, we address the problematics of the origins and ascendency of the SE by examining the process by which the SE is arising as a new category, searching for conceptual clarification and pinpointing the legitimacy granted by key stakeholders. Our guiding research questions are: (1) how the SE was formed and evolved as a market category; and (2), as a market category, is the SE legitimate? Additionally, we attempt to identify the nature of the SE as a category. To answer these questions, we conducted an historical analysis of the expression SE and its equivalents. This paper deepens the discussion about the nature of the SE by providing evidence that (i) the SE has predominantly been formed by emergence processes, comprising social movement, similarity clustering and truce components. It is the combination of all these aforementioned processes that renders the SE a special case of market category formation, which, in turn, has been allowing communication, entrepreneurship, regulation and research about what really is the SE, and despite the evident lack of agreements regarding both the label and its content; (ii) there is a generalized legitimacy granted to the SE by a vast number of stakeholders, even though still lacking on the consolidation of socio-political legitimation, and (iii) the nature of the SE seems to fall in a metaphorical approach, particularly, the notion of radial categories.

Although increasing knowledge about biological systems has advanced exponentially in recent decades, it is surprising to realize that the very definition of Life keeps presenting theoretical challenges. Even if several lines of reasoning seek to identify the essence of life phenomenon, most of these thoughts contain fundamental problem in their basic conceptual structure. Most concepts fail to identify necessary and sufficient features to define life. Here, we analyzed the main conceptual framework regarding theoretical aspects supporting life concepts, such as (i) the physical, (ii) the cellular and (iii) the molecular approaches. Based on ontological analysis, we propose that Life should not be positioned under the ontological category of Matter. Yet, life should be better understood under the top-level ontology of “Process”. Exercising an epistemological approach, we propose that the essential characteristic pervading each and every living being is the presence of organic codes. Therefore, we explore theories in biosemiotics in order to propose a clear concept of life as a macrocode composed by multiple inter-related coding layers. Therefore, we suggest a clear distinction between the concept of life and living beings, a distinction that is not evident in theoretical terms. From the proposed concept, we suggest that the evolutionary process is a fundamental characteristic for life’s maintenance but not to its definition. The current proposition opens a fertile field of debate in astrobiology, biosemiotics and robotics.

The unexploited unification of general relativity and quantum physics is a painstaking issue that prevents physicists to properly understanding the whole of Nature. Here we propose a pure mathematical approach that introduces the problem in terms of group theory. Indeed, we build a cyclic groupoid (a nonempty set with a binary operation defined on it) that encompasses both the theories as subsets, making it possible to join together two of their most dissimilar experimental results, i.e., the commutativity detectable in our macroscopic relativistic world and the noncommutativity detectable in the quantum, microscopic world. This approach, combined with the Connes fusion operator, leads to a mathematical framework useful in the investigation of relativity/quantum mechanics relationships.

This paper proposes a new approach to investigation into the aesthetics. Specifically, it argues that it is possible to explain the aesthetic and its underlying dynamic relations with axiomatic structure (the octahedral axiom derived category) based on contemporary mathematics – namely, category theory – and through this argument suggests the possibility for discussion about the mathematical structure of the aesthetic. If there was a way to describe the structure of aesthetics with the language of mathematical structures and mathematical axioms – a language completely devoid of arbitrariness – then we would make possible a synthetical argument about the essential human activity of “the aesthetics”, and we would also gain a new method and viewpoint on the philosophy and meaning of the act of creating a work of art and artistic activities. This paper presents one hypothesis as a first step in constructing the science of dynamic generative aesthetics based on axiomatic functionalism, which is in turn based on a new interdisciplinary investigation into the functional structure of aesthetics.

After proving, in a purely categorial way, that the inclusion functor InAlg(Σ) from Alg(Σ), the category of many-sorted Σ-algebras, to PAlg(Σ), the category of many-sorted partial Σ-algebras, has a left adjoint FΣ, the (absolutely) free completion functor, we recall, in connection with the functor FΣ, the generalized recursion theorem of Schmidt, which we will also call the Schmidt construction. Next we define a category Cmpl(Σ), of Σ-completions, and prove that FΣ, labeled with its domain category and the unit of the adjunction of which it is a part, is a weakly initial object in it. Following this we associate to an ordered pair (α,f), where α=(K,γ,α) is a morphism of Σ-completions from F=(C,F,η) to G=(D,G,ρ) and f a homomorphism in D from the partial Σ-algebra A to the partial Σ-algebra B, a homomorphism ΥαG,0(f):Schα(f)B. We then prove that there exists an endofunctor, ΥαG,0, of Mortw(D), the twisted morphism category of D, thus showing the naturalness of the previous construction. Afterwards we prove that, for every Σ-completion G=(D,G,ρ), there exists a functor ΥG from the comma category (Cmpl(Σ)↓G) to End(Mortw(D)), the category of endofunctors of Mortw(D), such that ΥG,0, the object mapping of ΥG, sends a morphism of Σ-completion in Cmpl(Σ) with codomain G, to the endofunctor ΥαG,0.

In this paper, we give the Galois adjunction form of the regular relation, and by using residuated mapping, we find the connection between it and order-generating set. Furthermore, we obtain the equivalent conclusion of "regular". In addition, by using the specialization order of topological space and the lower approximate operator in the rough set, we find a continuous homeomorphic mapping from a regular space to a Alexandrov topological space

How language mediates emotional perception and experience is poorly understood. The present event-related potential (ERP) study examined the explicit and implicit processing of emotional speech to differentiate the relative influences of communication channel, emotion category and task type in the prosodic salience effect. Thirty participants (15 women) were presented with spoken words denoting happiness, sadness and neutrality in either the prosodic or semantic channel. They were asked to judge the emotional content (explicit task) and speakers’ gender (implicit task) of the stimuli. Results indicated that emotional prosody (relative to semantics) triggered larger N100 and P200 amplitudes with greater delta, theta and alpha inter-trial phase coherence (ITPC) values in the corresponding early time windows, and continued to produce larger LPC amplitudes and faster responses during late stages of higher-order cognitive processing. The relative salience of prosodic and semantics was modulated by emotion and task, though such modulatory effects varied across different processing stages. The prosodic salience effect was reduced for sadness processing and in the implicit task during early auditory processing and decision-making but reduced for happiness processing in the explicit task during conscious emotion processing. Additionally, across-trial synchronization of delta, theta and alpha bands predicted the ERP components with higher ITPC values significantly associated with stronger N100, P200 and LPC enhancement. These findings reveal the neurocognitive dynamics of emotional speech processing with prosodic salience tied to stage-dependent emotion- and task-specific effects, which can reveal insights to research reconciling language and emotion processing from cross-linguistic/cultural and clinical perspectives.

The assessment of an organization/product's environmental footprint is based on the protocols developed by the Joint Research Centre of the European Union, which take into account 16 impact categories. Among the categories covered are toxicity to freshwater ecosystems and to humans. Standard protocols use only chemical parameters as input data, preventing the true impact of entire complex mixtures, such as emissions discharged into the environment, from being determined. Biological assays allow us to bridge this gap: in the current study, assays were used to determine baseline toxicity towards aquatic organisms (green algae, luminescent bacteria, and crustaceans) as well as specific toxicity (mutagenicity and carcinogenicity). Expected impacts were compared using two approaches (standard and bioassay-centered results obtained are not always in line and, in general, the traditional method underestimates impacts). This demonstrates the importance of these assays and suggests that they be used in LCA (Life Cycle Assessment) protocols as well.

Objectives: In order to solve the problem that most of the existing research focuses on the binary tactile attributes of objects,which ignores the tactile attribute strength and category recognition,an attribute strength and category recognition method based on convolutional neural network matrix-label is proposed. Methods:Firstly,in the data preparation stage,we preprocess the raw data and determine the matrix labels to build the haptic dataset.Secondly,in the feature extraction stage,we fuse the haptic data of two fingers and use the convolutional neural network to extract the attribute strength features.Finally,in the attribute strength and category recognition stage,all channel haptic data is fused to predict the attribute strength and category.Results:We compared with the multi-label convolutional neural network method in terms of elastic strength,hardness strength and category,and compared the attribute strength recognition capabilities of the two methods using novel objects outside the haptic dataset.The results show that the accuracy of the last 20 iterations of the matrix-label method has an average elastic strength of 96.73%,hardness strength of 97.34%,and category of 96.67%.The performance is better.When the Euclidean distance between the prediction of the novel object and the real label is less than 1,the accuracy of the elastic strength is best to reach 100%,and the hardness strength is best to reach 100%.The performance is better. Conclusions:The effectiveness of the method has been verified.Comparing with the convolutional neural network method,our method can effectively recognize the attribute strength and category of objects.

Once a wheat sheaf has been sealed and tied up, its packed down straws display the same orientation and zero-divergence. This observation brings us to the mathematical notion of presheaf, i.e., a topological structure in which diverging functions are locally superimposed. We show how the concepts of presheaves and the correlated globular sets, borrowed from category theory and algebraic topology, allow a well-founded mathematical approach to otherwise elusive activities of the brain. The mathematical assessment of brain functions in terms of presheaves: a) explains why spontaneous random spikes synchronize; b) leads to the counterintuitive intuition of antidromic effects in neuronal spikes: when an entrained oscillation propagates from A to B, changes in B lead to changes in A. We provide testable previsions: a) we suggest the proper locations of transcranial magnetic stimulation’s coils to improve the clinical outcomes of drug-resistant epilepsy; b) we advocate that axonal stimulation by external sources backpropagates and alters the neuronal electric oscillatory frequency. Further, we describe how the hierarchical information transmission inside globular sets provides fresh insights concerning different issues at various coarse-grained scales, such as object persistence, memory reinforcement in spite of random noise, Bayesian inferential circuits.

Life Cycle Assessment (LCA) methodology is increasingly prevalent in the quantification of environmental status in the building sector, following new legislative frameworks. Countries need to quantify and assess their environmental impacts as a previous base for regulation and decision making. In this context, standardised national data sets are being developed, based on consensus with manufacturers: sectoral Environmental Product Declarations. This study focuses on assessing these EPDs with the aim of providing relevant information for global decision-making, focusing on consistency and pointing out shortcomings. An assessment has been carried out both at national level, considering all sectoral EPDs and declared products, and at international level, with three common building materials (brick, steel and concrete). The results highlight the lack of traceability in the development and assessment of uncertainty, resulting in substantial discrepancies in reported impacts, especially in the later stages of the life cycle (up to 90% difference). Meanwhile, impacts such as Global Warming Potential or total renewable and non-renewable primary energy use show homogeneous values in the cradle-to-gate stages with differences generally less than 10%. The analysis of sectoral EPDs should be a design guide with environmental sustainability criteria, as the last section of this study attempts to focus on.

Rapid Visual Screening (RVS) is a procedure that estimates structural scores for buildings and prioritize their retrofit and upgrade requirements. Despite the speed and simplicity of RVS, many of the collected parameters are non-commensurable and include subjectivity due to visual observations. It might cause uncertainties in the evaluation, which emphasizes the use of a fuzzy-based method. This study aims to propose a novel RVS methodology based on the interval type-2 fuzzy logic system (IT2FLS) to set the priority of vulnerable building to undergo detailed assessment while covering uncertainties and minimizing their effects during evaluation. The proposed method estimates the vulnerability of a building, in terms of Visual Damage Index, considering the number of stories, age of building, plan irregularity, vertical irregularity, building quality, and peak ground velocity, as inputs with a single output variable. Applicability of the proposed method has been investigated using a post-earthquake damage database of 28 reinforced concrete buildings from the Bingöl earthquake in Turkey.

Using classical clinical observations, we first outline an elementary conceptual model for the Mind Representation System, then move to a more elaborate mathematical model that refers to discrete cofibration with enriched fibers.

We introduce the Concept-Model-Graph-View Cycle (CMGVC). The CMGVC facilitates coherent architecture analysis, reasoning, insight, and decision-making based on conceptual models that are transformed into a generic, robust graph data structure (GDS). The GDS is then transformed into multiple views of the model, which inform stakeholders in various ways. This GDS-based approach decouples the view from the model and constitutes a powerful enhancement of model-based systems engineering (MBSE). The CMGVC applies the rigorous foundations of Category Theory, a mathematical framework of representations and transformations. We show that modeling languages are categories, drawing an analogy to programming languages. The CMGVC architecture is superior to direct transformations and language-coupled common representations. We demonstrate the CMGVC to transform a conceptual system architecture model built with the Object Process Modeling Language (OPM) into dual graphs and a stakeholder-informing matrix that stimulates system architecture insight.

Research for a theory of quantum gravity has recently led to the use of presheaf topos. Quantum uncertainty is linked to the truth values of intuitionistic logic. This paper proposes transposing this model into a classic probability context, that of conditional mathematical expectations. A simulation of Brownian motion is offered for illustrative purposes.