Semantic Factorization and Descent

Let $\mathbb{A}$ be a $2$-category with suitable opcomma objects and pushouts. We give a direct proof that, provided that the codensity monad of a morphism $p$ exists and is preserved by a suitable morphism, the factorization given by the lax descent object of the higher cokernel of $p$ is up to isomorphism the same as the semantic factorization of $p$, either one existing if the other does. The result can be seen as a counterpart account to the celebrated B\'{e}nabou-Roubaud theorem. This leads in particular to a monadicity theorem, since it characterizes monadicity via descent. It should be noted that all the conditions on the codensity monad of $p$ trivially hold whenever $p$ has a left adjoint and, hence, in this case, we find monadicity to be a $2$-dimensional exact condition on $p$, namely, to be an effective faithful morphism of the $2$-category $\mathbb{A}$.Comment: Full revision, new diagrams, 48 page

Atitudes dos gestores face à criatividade e às práticas de inovação nas indústrias criativas

This article aims to demonstrate that the relationship between entrepreneurs' attitudes to creativity and business innovation practices is stronger in the case of creative industries. A sample of 454 managers of micro and medium-sized companies (94 belonging to creative industries) was surveyed using an inventory of innovative business practices and the scale of attitudes towards creativity. The results, derived from a linear regression model (two factors for the scale of attitudes - Leadership and Autonomy - and for the inventory of business practices - Performance and Strategy), confirmed the proposition by revealing the influence of the creative attitudes of managers regarding the company's innovative practices, fundamentally on Strategy, especially in the creative industries segment. The innovative manager appeared as a disciplined individual driven to collaborating with the employees. Although this research requires further evidence, the results suggest interesting characterisations of the managers who develop their activity in the cluster of creative industries.Este artigo tem como objetivo demonstrar que a relação entre as atitudes do empresário face à criatividade e as práticas de inovação é mais forte no caso das indústrias criativas. Foram inquiridos 454 gestores de micro, pequenas e médias empresas (94 pertencentes às indústrias criativas), utilizando um inventário de práticas empresariais e uma escala de atitudes face à criatividade. Os resultados, obtidos utilizando um modelo de regressão linear (dois fatores para a escala de atitudes –Liderança e Autonomia - e dois para o inventário de práticas empresariais – Desempenho e Estratégia) confirmaram a hipótese, ao revelar a influência das atitudes do empresário face à criatividade sobre as práticas inovadoras da empresa, nomeadamente na Estratégia e no segmento das indústrias criativas. O gestor inovador surge como um indivíduo disciplinado, orientado para colaborar com os empregados. Apesar desta investigação necessitar de maior aprofundamento, os resultados sugerem uma caracterização interessante dos gestores que desenvolvem a sua atividade no cluster das indústrias criativasinfo:eu-repo/semantics/publishedVersio

Intelligent Management and Efficient Operation of Big Data

This chapter details how Big Data can be used and implemented in networking and computing infrastructures. Specifically, it addresses three main aspects: the timely extraction of relevant knowledge from heterogeneous, and very often unstructured large data sources, the enhancement on the performance of processing and networking (cloud) infrastructures that are the most important foundational pillars of Big Data applications or services, and novel ways to efficiently manage network infrastructures with high-level composed policies for supporting the transmission of large amounts of data with distinct requisites (video vs. non-video). A case study involving an intelligent management solution to route data traffic with diverse requirements in a wide area Internet Exchange Point is presented, discussed in the context of Big Data, and evaluated.Comment: In book Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence, IGI Global, 201

Performance of GNSS evil waveform detectors in the presence of multipath

The detection of evil waveforms (EWF) in GNSS signals is crucial to refrain from using anomalous signals in the PVT solution, which could degrade significantly its accuracy. The EWF detectors are, in general, based on the computation of the distortion of the code autocorrelation function. Thus, the multipath effect, an independent mechanism that also distorts the autocorrelation shape, can be incorrectly assumed by the EWF detector as the presence of EWF, leading to a major increase of the probability of false alarm. In the paper we analyze the robustness of the main EWF detectors and modulations to the presence of multipath.info:eu-repo/semantics/publishedVersio

On biadjoint triangles

We prove a biadjoint triangle theorem and its strict version, which are 2-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the 1-dimensional case, we demonstrate how we can apply our results to get the pseudomonadicity characterization (due to Le Creurer, Marmolejo and Vitale). Furthermore, we study applications of our main theorems in the context of the 2-monadic approach to coherence. As a direct consequence of our strict biadjoint triangle theorem, we give the construction (due to Lack) of the left 2-adjoint to the inclusion of the strict algebras into the pseudoalgebras. In the last section, we give two brief applications on lifting biadjunctions and pseudo-Kan extensions

Descent Data and Absolute Kan Extensions

The fundamental construction underlying descent theory, the lax descent category, comes with a functor that forgets the descent data. We prove that, in any $2$-category $\mathfrak{A}$ with lax descent objects, the forgetful morphisms create all Kan extensions that are preserved by certain morphisms. As a consequence, in the case $\mathfrak{A} = \mathsf{Cat}$, we get a monadicity theorem which says that a right adjoint functor is monadic if and only if it is, up to the composition with an equivalence, (naturally isomorphic to) a functor that forgets descent data. In particular, within the classical context of descent theory, we show that, in a fibred category, the forgetful functor between the category of internal actions of a precategory $a$ and the category of internal actions of the underlying discrete precategory is monadic if and only if it has a left adjoint. More particularly, this shows that one of the implications of the celebrated Benabou-Roubaud theorem does not depend on the so called Beck-Chevalley condition. Namely, we prove that, in indexed categories, whenever an effective descent morphism induces a right adjoint functor, the induced functor is monadic.Comment: 31 page