-
Are Large Language Models Moral Hypocrites? A Study Based on Moral Foundations
Authors:
José Luiz Nunes,
Guilherme F. C. F. Almeida,
Marcelo de Araujo,
Simone D. J. Barbosa
Abstract:
Large language models (LLMs) have taken centre stage in debates on Artificial Intelligence. Yet there remains a gap in how to assess LLMs' conformity to important human values. In this paper, we investigate whether state-of-the-art LLMs, GPT-4 and Claude 2.1 (Gemini Pro and LLAMA 2 did not generate valid results) are moral hypocrites. We employ two research instruments based on the Moral Foundatio…
▽ More
Large language models (LLMs) have taken centre stage in debates on Artificial Intelligence. Yet there remains a gap in how to assess LLMs' conformity to important human values. In this paper, we investigate whether state-of-the-art LLMs, GPT-4 and Claude 2.1 (Gemini Pro and LLAMA 2 did not generate valid results) are moral hypocrites. We employ two research instruments based on the Moral Foundations Theory: (i) the Moral Foundations Questionnaire (MFQ), which investigates which values are considered morally relevant in abstract moral judgements; and (ii) the Moral Foundations Vignettes (MFVs), which evaluate moral cognition in concrete scenarios related to each moral foundation. We characterise conflicts in values between these different abstractions of moral evaluation as hypocrisy. We found that both models displayed reasonable consistency within each instrument compared to humans, but they displayed contradictory and hypocritical behaviour when we compared the abstract values present in the MFQ to the evaluation of concrete moral violations of the MFV.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
Authors:
Fernando Lucatelli Nunes,
Matthijs Vákár
Abstract:
We study the categorical structure of the Grothendieck construction of an indexed category $\mathcal{L}:\mathcal{C}^{op}\to\mathbf{CAT}$ and characterise fibred limits, colimits, and monoidal structures. Next, we give sufficient conditions for the monoidal closure of the total category $Σ_\mathcal{C} \mathcal{L}$ of a Grothendieck construction of an indexed category…
▽ More
We study the categorical structure of the Grothendieck construction of an indexed category $\mathcal{L}:\mathcal{C}^{op}\to\mathbf{CAT}$ and characterise fibred limits, colimits, and monoidal structures. Next, we give sufficient conditions for the monoidal closure of the total category $Σ_\mathcal{C} \mathcal{L}$ of a Grothendieck construction of an indexed category $\mathcal{L}:\mathcal{C}^{op}\to\mathbf{CAT}$. Our analysis is a generalization of Gödel's Dialectica interpretation, and it relies on a novel notion of $Σ$-tractable monoidal structure. As we will see, $Σ$-tractable coproducts simultaneously generalize cocartesian coclosed structures, biproducts and extensive coproducts. We analyse when the closed structure is fibred -- usually it is not.
△ Less
Submitted 21 May, 2024; v1 submitted 13 May, 2024;
originally announced May 2024.
-
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
Authors:
Maria Manuel Clementino,
Fernando Lucatelli Nunes,
Rui Prezado
Abstract:
We investigate the properties of lax comma categories over a base category $X$, focusing on topologicity, extensivity, cartesian closedness, and descent. We establish that the forgetful functor from $\mathsf{Cat}//X$ to $\mathsf{Cat}$ is topological if and only if $X$ is large-complete. Moreover, we provide conditions for $\mathsf{Cat}//X$ to be complete, cocomplete, extensive and cartesian closed…
▽ More
We investigate the properties of lax comma categories over a base category $X$, focusing on topologicity, extensivity, cartesian closedness, and descent. We establish that the forgetful functor from $\mathsf{Cat}//X$ to $\mathsf{Cat}$ is topological if and only if $X$ is large-complete. Moreover, we provide conditions for $\mathsf{Cat}//X$ to be complete, cocomplete, extensive and cartesian closed. We analyze descent in $\mathsf{Cat}//X$ and identify necessary conditions for effective descent morphisms. Our findings contribute to the literature on lax comma categories and provide a foundation for further research in 2-dimensional Janelidze's Galois theory.
△ Less
Submitted 11 June, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Steered Response Power for Sound Source Localization: A Tutorial Review
Authors:
Eric Grinstein,
Elisa Tengan,
Bilgesu Çakmak,
Thomas Dietzen,
Leonardo Nunes,
Toon van Waterschoot,
Mike Brookes,
Patrick A. Naylor
Abstract:
In the last three decades, the Steered Response Power (SRP) method has been widely used for the task of Sound Source Localization (SSL), due to its satisfactory localization performance on moderately reverberant and noisy scenarios. Many works have analyzed and extended the original SRP method to reduce its computational cost, to allow it to locate multiple sources, or to improve its performance i…
▽ More
In the last three decades, the Steered Response Power (SRP) method has been widely used for the task of Sound Source Localization (SSL), due to its satisfactory localization performance on moderately reverberant and noisy scenarios. Many works have analyzed and extended the original SRP method to reduce its computational cost, to allow it to locate multiple sources, or to improve its performance in adverse environments. In this work, we review over 200 papers on the SRP method and its variants, with emphasis on the SRP-PHAT method. We also present eXtensible-SRP, or X-SRP, a generalized and modularized version of the SRP algorithm which allows the reviewed extensions to be implemented. We provide a Python implementation of the algorithm which includes selected extensions from the literature.
△ Less
Submitted 9 May, 2024; v1 submitted 5 May, 2024;
originally announced May 2024.
-
Free extensivity via distributivity
Authors:
Fernando Lucatelli Nunes,
Rui Prezado,
Matthijs Vákár
Abstract:
We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions of extensive categories. More precisely, we show that extensive categories with pullbacks and infinitary lextensive categories are the pseudoalgebras for the p…
▽ More
We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions of extensive categories. More precisely, we show that extensive categories with pullbacks and infinitary lextensive categories are the pseudoalgebras for the pseudomonads resulting from the pseudodistributive laws. Moreover, we introduce the notion of doubly-infinitary lextensive category, and we establish that the freely generated such categories are cartesian closed. From this result, we further deduce that, in freely generated infinitary lextensive categories, the objects with a finite number of connected components are exponentiable. We conclude our work with remarks on descent theoretical aspects of this work, along with results concerning non-canonical isomorphisms, and relationship with other work.
△ Less
Submitted 11 June, 2024; v1 submitted 3 May, 2024;
originally announced May 2024.
-
Injecting New Knowledge into Large Language Models via Supervised Fine-Tuning
Authors:
Nick Mecklenburg,
Yiyou Lin,
Xiaoxiao Li,
Daniel Holstein,
Leonardo Nunes,
Sara Malvar,
Bruno Silva,
Ranveer Chandra,
Vijay Aski,
Pavan Kumar Reddy Yannam,
Tolga Aktas,
Todd Hendry
Abstract:
In recent years, Large Language Models (LLMs) have shown remarkable performance in generating human-like text, proving to be a valuable asset across various applications. However, adapting these models to incorporate new, out-of-domain knowledge remains a challenge, particularly for facts and events that occur after the model's knowledge cutoff date. This paper investigates the effectiveness of Su…
▽ More
In recent years, Large Language Models (LLMs) have shown remarkable performance in generating human-like text, proving to be a valuable asset across various applications. However, adapting these models to incorporate new, out-of-domain knowledge remains a challenge, particularly for facts and events that occur after the model's knowledge cutoff date. This paper investigates the effectiveness of Supervised Fine-Tuning (SFT) as a method for knowledge injection in LLMs, specifically focusing on the domain of recent sporting events. We compare different dataset generation strategies -- token-based and fact-based scaling -- to create training data that helps the model learn new information. Our experiments on GPT-4 demonstrate that while token-based scaling can lead to improvements in Q&A accuracy, it may not provide uniform coverage of new knowledge. Fact-based scaling, on the other hand, offers a more systematic approach to ensure even coverage across all facts. We present a novel dataset generation process that leads to more effective knowledge ingestion through SFT, and our results show considerable performance improvements in Q&A tasks related to out-of-domain knowledge. This study contributes to the understanding of domain adaptation for LLMs and highlights the potential of SFT in enhancing the factuality of LLM responses in specific knowledge domains.
△ Less
Submitted 2 April, 2024; v1 submitted 29 March, 2024;
originally announced April 2024.
-
Scaling Diffusion Models to Real-World 3D LiDAR Scene Completion
Authors:
Lucas Nunes,
Rodrigo Marcuzzi,
Benedikt Mersch,
Jens Behley,
Cyrill Stachniss
Abstract:
Computer vision techniques play a central role in the perception stack of autonomous vehicles. Such methods are employed to perceive the vehicle surroundings given sensor data. 3D LiDAR sensors are commonly used to collect sparse 3D point clouds from the scene. However, compared to human perception, such systems struggle to deduce the unseen parts of the scene given those sparse point clouds. In t…
▽ More
Computer vision techniques play a central role in the perception stack of autonomous vehicles. Such methods are employed to perceive the vehicle surroundings given sensor data. 3D LiDAR sensors are commonly used to collect sparse 3D point clouds from the scene. However, compared to human perception, such systems struggle to deduce the unseen parts of the scene given those sparse point clouds. In this matter, the scene completion task aims at predicting the gaps in the LiDAR measurements to achieve a more complete scene representation. Given the promising results of recent diffusion models as generative models for images, we propose extending them to achieve scene completion from a single 3D LiDAR scan. Previous works used diffusion models over range images extracted from LiDAR data, directly applying image-based diffusion methods. Distinctly, we propose to directly operate on the points, reformulating the noising and denoising diffusion process such that it can efficiently work at scene scale. Together with our approach, we propose a regularization loss to stabilize the noise predicted during the denoising process. Our experimental evaluation shows that our method can complete the scene given a single LiDAR scan as input, producing a scene with more details compared to state-of-the-art scene completion methods. We believe that our proposed diffusion process formulation can support further research in diffusion models applied to scene-scale point cloud data.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
Authors:
Fernando Lucatelli Nunes,
Matthijs Vákár
Abstract:
We delve into the concept of categories with products that distribute over coproducts, which we call doubly-infinitary distributive categories. We show various instances of doubly-infinitary distributive categories aiming for a comparative analysis with established notions such as extensivity, infinitary distributiveness, and cartesian closedness. Our exploration reveals that this condition repres…
▽ More
We delve into the concept of categories with products that distribute over coproducts, which we call doubly-infinitary distributive categories. We show various instances of doubly-infinitary distributive categories aiming for a comparative analysis with established notions such as extensivity, infinitary distributiveness, and cartesian closedness. Our exploration reveals that this condition represents a substantial extension beyond the classical understanding of infinitary distributive categories. Our main theorem establishes that free doubly-infinitary distributive categories are cartesian closed. We end the paper with remarks on non-canonical isomorphisms, open questions, and future work.
△ Less
Submitted 30 March, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Open-World Semantic Segmentation Including Class Similarity
Authors:
Matteo Sodano,
Federico Magistri,
Lucas Nunes,
Jens Behley,
Cyrill Stachniss
Abstract:
Interpreting camera data is key for autonomously acting systems, such as autonomous vehicles. Vision systems that operate in real-world environments must be able to understand their surroundings and need the ability to deal with novel situations. This paper tackles open-world semantic segmentation, i.e., the variant of interpreting image data in which objects occur that have not been seen during t…
▽ More
Interpreting camera data is key for autonomously acting systems, such as autonomous vehicles. Vision systems that operate in real-world environments must be able to understand their surroundings and need the ability to deal with novel situations. This paper tackles open-world semantic segmentation, i.e., the variant of interpreting image data in which objects occur that have not been seen during training. We propose a novel approach that performs accurate closed-world semantic segmentation and, at the same time, can identify new categories without requiring any additional training data. Our approach additionally provides a similarity measure for every newly discovered class in an image to a known category, which can be useful information in downstream tasks such as planning or mapping. Through extensive experiments, we show that our model achieves state-of-the-art results on classes known from training data as well as for anomaly segmentation and can distinguish between different unknown classes.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
RAG vs Fine-tuning: Pipelines, Tradeoffs, and a Case Study on Agriculture
Authors:
Angels Balaguer,
Vinamra Benara,
Renato Luiz de Freitas Cunha,
Roberto de M. Estevão Filho,
Todd Hendry,
Daniel Holstein,
Jennifer Marsman,
Nick Mecklenburg,
Sara Malvar,
Leonardo O. Nunes,
Rafael Padilha,
Morris Sharp,
Bruno Silva,
Swati Sharma,
Vijay Aski,
Ranveer Chandra
Abstract:
There are two common ways in which developers are incorporating proprietary and domain-specific data when building applications of Large Language Models (LLMs): Retrieval-Augmented Generation (RAG) and Fine-Tuning. RAG augments the prompt with the external data, while fine-Tuning incorporates the additional knowledge into the model itself. However, the pros and cons of both approaches are not well…
▽ More
There are two common ways in which developers are incorporating proprietary and domain-specific data when building applications of Large Language Models (LLMs): Retrieval-Augmented Generation (RAG) and Fine-Tuning. RAG augments the prompt with the external data, while fine-Tuning incorporates the additional knowledge into the model itself. However, the pros and cons of both approaches are not well understood. In this paper, we propose a pipeline for fine-tuning and RAG, and present the tradeoffs of both for multiple popular LLMs, including Llama2-13B, GPT-3.5, and GPT-4. Our pipeline consists of multiple stages, including extracting information from PDFs, generating questions and answers, using them for fine-tuning, and leveraging GPT-4 for evaluating the results. We propose metrics to assess the performance of different stages of the RAG and fine-Tuning pipeline. We conduct an in-depth study on an agricultural dataset. Agriculture as an industry has not seen much penetration of AI, and we study a potentially disruptive application - what if we could provide location-specific insights to a farmer? Our results show the effectiveness of our dataset generation pipeline in capturing geographic-specific knowledge, and the quantitative and qualitative benefits of RAG and fine-tuning. We see an accuracy increase of over 6 p.p. when fine-tuning the model and this is cumulative with RAG, which increases accuracy by 5 p.p. further. In one particular experiment, we also demonstrate that the fine-tuned model leverages information from across geographies to answer specific questions, increasing answer similarity from 47% to 72%. Overall, the results point to how systems built using LLMs can be adapted to respond and incorporate knowledge across a dimension that is critical for a specific industry, paving the way for further applications of LLMs in other industrial domains.
△ Less
Submitted 30 January, 2024; v1 submitted 16 January, 2024;
originally announced January 2024.
-
GPT-4 as an Agronomist Assistant? Answering Agriculture Exams Using Large Language Models
Authors:
Bruno Silva,
Leonardo Nunes,
Roberto Estevão,
Vijay Aski,
Ranveer Chandra
Abstract:
Large language models (LLMs) have demonstrated remarkable capabilities in natural language understanding across various domains, including healthcare and finance. For some tasks, LLMs achieve similar or better performance than trained human beings, therefore it is reasonable to employ human exams (e.g., certification tests) to assess the performance of LLMs. We present a comprehensive evaluation o…
▽ More
Large language models (LLMs) have demonstrated remarkable capabilities in natural language understanding across various domains, including healthcare and finance. For some tasks, LLMs achieve similar or better performance than trained human beings, therefore it is reasonable to employ human exams (e.g., certification tests) to assess the performance of LLMs. We present a comprehensive evaluation of popular LLMs, such as Llama 2 and GPT, on their ability to answer agriculture-related questions. In our evaluation, we also employ RAG (Retrieval-Augmented Generation) and ER (Ensemble Refinement) techniques, which combine information retrieval, generation capabilities, and prompting strategies to improve the LLMs' performance. To demonstrate the capabilities of LLMs, we selected agriculture exams and benchmark datasets from three of the largest agriculture producer countries: Brazil, India, and the USA. Our analysis highlights GPT-4's ability to achieve a passing score on exams to earn credits for renewing agronomist certifications, answering 93% of the questions correctly and outperforming earlier general-purpose models, which achieved 88% accuracy. On one of our experiments, GPT-4 obtained the highest performance when compared to human subjects. This performance suggests that GPT-4 could potentially pass on major graduate education admission tests or even earn credits for renewing agronomy certificates. We also explore the models' capacity to address general agriculture-related questions and generate crop management guidelines for Brazilian and Indian farmers, utilizing robust datasets from the Brazilian Agency of Agriculture (Embrapa) and graduate program exams from India. The results suggest that GPT-4, ER, and RAG can contribute meaningfully to agricultural education, assessment, and crop management practice, offering valuable insights to farmers and agricultural professionals.
△ Less
Submitted 12 October, 2023; v1 submitted 9 October, 2023;
originally announced October 2023.
-
Generalized multicategories: change-of-base, embedding, and descent
Authors:
Rui Prezado,
Fernando Lucatelli Nunes
Abstract:
Via the adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Span}(\mathcal V) \to \mathcal V \text{-} \mathsf{Mat} $ and a cartesian monad $ T $ on an extensive category $ \mathcal V $ with finite limits, we construct an adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Cat}(T,\mathcal V) \to (\overline T, \mathcal V)\text{-}\mathsf{Cat} $ between cate…
▽ More
Via the adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Span}(\mathcal V) \to \mathcal V \text{-} \mathsf{Mat} $ and a cartesian monad $ T $ on an extensive category $ \mathcal V $ with finite limits, we construct an adjunction $ - \boldsymbol{\cdot} 1 \dashv \mathcal V(1,-) \colon \mathsf{Cat}(T,\mathcal V) \to (\overline T, \mathcal V)\text{-}\mathsf{Cat} $ between categories of generalized enriched multicategories and generalized internal multicategories, provided the monad $ T $ satisfies a suitable condition, which is satisfied by several examples.
We verify, moreover, that the left adjoint is fully faithful, and preserves pullbacks, provided that the copower functor $ - \boldsymbol{\cdot} 1 \colon \mathsf{Set} \to \mathcal V $ is fully faithful. We also apply this result to study descent theory of generalized enriched multicategorical structures.
These results are built upon the study of base-change for generalized multicategories, which, in turn, was carried out in the context of categories of horizontal lax algebras arising out of a monad in a suitable 2-category of pseudodouble categories.
△ Less
Submitted 30 June, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Exploring the psychology of LLMs' Moral and Legal Reasoning
Authors:
Guilherme F. C. F. Almeida,
José Luiz Nunes,
Neele Engelmann,
Alex Wiegmann,
Marcelo de Araújo
Abstract:
Large language models (LLMs) exhibit expert-level performance in tasks across a wide range of different domains. Ethical issues raised by LLMs and the need to align future versions makes it important to know how state of the art models reason about moral and legal issues. In this paper, we employ the methods of experimental psychology to probe into this question. We replicate eight studies from th…
▽ More
Large language models (LLMs) exhibit expert-level performance in tasks across a wide range of different domains. Ethical issues raised by LLMs and the need to align future versions makes it important to know how state of the art models reason about moral and legal issues. In this paper, we employ the methods of experimental psychology to probe into this question. We replicate eight studies from the experimental literature with instances of Google's Gemini Pro, Anthropic's Claude 2.1, OpenAI's GPT-4, and Meta's Llama 2 Chat 70b. We find that alignment with human responses shifts from one experiment to another, and that models differ amongst themselves as to their overall alignment, with GPT-4 taking a clear lead over all other models we tested. Nonetheless, even when LLM-generated responses are highly correlated to human responses, there are still systematic differences, with a tendency for models to exaggerate effects that are present among humans, in part by reducing variance. This recommends caution with regards to proposals of replacing human participants with current state-of-the-art LLMs in psychological research and highlights the need for further research about the distinctive aspects of machine psychology.
△ Less
Submitted 4 March, 2024; v1 submitted 2 August, 2023;
originally announced August 2023.
-
Lax comma categories of ordered sets
Authors:
Maria Manuel Clementino,
Fernando Lucatelli Nunes
Abstract:
Let $\mathsf{Ord} $ be the category of (pre)ordered sets. Unlike $\mathsf{Ord}/X$, whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category $\mathsf{Ord} //X$. In this paper we show that the forgetful functor $\mathsf{Ord} //X\to \mathsf{Ord} $ is topological if and only if $X$ is complete. Moreover, under suitable hypothesis, $\mathsf{Ord} // X$ is com…
▽ More
Let $\mathsf{Ord} $ be the category of (pre)ordered sets. Unlike $\mathsf{Ord}/X$, whose behaviour is well-known, not much can be found in the literature about the lax comma 2-category $\mathsf{Ord} //X$. In this paper we show that the forgetful functor $\mathsf{Ord} //X\to \mathsf{Ord} $ is topological if and only if $X$ is complete. Moreover, under suitable hypothesis, $\mathsf{Ord} // X$ is complete and cartesian closed if and only if $X$ is. We end by analysing descent in this category. Namely, when $X$ is complete and cartesian closed, we show that, for a morphism in $\mathsf{Ord} //X$, being pointwise effective for descent in $\mathsf{Ord} $ is sufficient, while being effective for descent in $\mathsf{Ord} $ is necessary, to be effective for descent in $\mathsf{Ord} //X$.
△ Less
Submitted 6 June, 2023; v1 submitted 27 December, 2022;
originally announced December 2022.
-
Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations
Authors:
Fernando Lucatelli Nunes,
Rui Prezado,
Lurdes Sousa
Abstract:
For any suitable base category $\mathcal{V} $, we find that $\mathcal{V} $-fully faithful lax epimorphisms in $\mathcal{V} $-$\mathsf{Cat} $ are precisely those $\mathcal{V}$-functors $F \colon \mathcal{A} \to \mathcal{B}$ whose induced $\mathcal{V} $-functors $\mathsf{Cauchy} F \colon \mathsf{Cauchy} \mathcal{A} \to \mathsf{Cauchy} \mathcal{B} $ between the Cauchy completions are equivalences. Fo…
▽ More
For any suitable base category $\mathcal{V} $, we find that $\mathcal{V} $-fully faithful lax epimorphisms in $\mathcal{V} $-$\mathsf{Cat} $ are precisely those $\mathcal{V}$-functors $F \colon \mathcal{A} \to \mathcal{B}$ whose induced $\mathcal{V} $-functors $\mathsf{Cauchy} F \colon \mathsf{Cauchy} \mathcal{A} \to \mathsf{Cauchy} \mathcal{B} $ between the Cauchy completions are equivalences. For the case $\mathcal{V} = \mathsf{Set} $, this is equivalent to requiring that the induced functor $\mathsf{CAT} \left( F,\mathsf{Cat}\right) $ between the categories of split (op)fibrations is an equivalence.
By reducing the study of effective descent functors with respect to the indexed category of split (op)fibrations $\mathcal{F}$ to the study of the codescent factorization, we find that these observations on fully faithful lax epimorphisms provide us with a characterization of (effective) $\mathcal{F}$-descent morphisms in the category of small categories $\mathcal{Cat}$; namely, we find that they are precisely the (effective) descent morphisms with respect to the indexed categories of discrete opfibrations -- previously studied by Sobral. We include some comments on the Beck-Chevalley condition and future work.
△ Less
Submitted 4 February, 2023; v1 submitted 21 October, 2022;
originally announced October 2022.
-
Logical Relations for Partial Features and Automatic Differentiation Correctness
Authors:
Fernando Lucatelli Nunes,
Matthijs Vákár
Abstract:
We present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in categorical semantics. We demonstrate how it can be used to give a very straightforward proof of correctness of practical forward- and reverse-mode dual numbers style automatic differentiation (AD) on ML-family languages. The…
▽ More
We present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in categorical semantics. We demonstrate how it can be used to give a very straightforward proof of correctness of practical forward- and reverse-mode dual numbers style automatic differentiation (AD) on ML-family languages. The key idea is to combine it with a suitable open logical relations technique for reasoning about differentiable partial functions (a suitable lifting of the partiality monad to logical relations), which we introduce.
△ Less
Submitted 23 October, 2022; v1 submitted 16 October, 2022;
originally announced October 2022.
-
Automatic Differentiation for ML-family languages: correctness via logical relations
Authors:
Fernando Lucatelli Nunes,
Matthijs Vákár
Abstract:
We give a simple, direct and reusable logical relations technique for languages with term and type recursion and partially defined differentiable functions. We demonstrate it by working out the case of Automatic Differentiation (AD) correctness: namely, we present a correctness proof of a dual numbers style AD code transformation for realistic functional languages in the ML-family. We also show ho…
▽ More
We give a simple, direct and reusable logical relations technique for languages with term and type recursion and partially defined differentiable functions. We demonstrate it by working out the case of Automatic Differentiation (AD) correctness: namely, we present a correctness proof of a dual numbers style AD code transformation for realistic functional languages in the ML-family. We also show how this code transformation provides us with correct forward- and reverse-mode AD.
The starting point is to interpret a functional programming language as a suitable freely generated categorical structure. In this setting, by the universal property of the syntactic categorical structure, the dual numbers AD code transformation and the basic $ω$-cpo semantics arise as structure preserving functors. The proof follows, then, by a novel logical relations argument.
The key to much of our contribution is a powerful monadic logical relations technique for term recursion and recursive types. It provides us with a semantic correctness proof based on a simple approach for denotational semantics, making use only of the very basic concrete model of $ω$-cpos.
△ Less
Submitted 14 June, 2024; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Learning Rhetorical Structure Theory-based descriptions of observed behaviour
Authors:
Luis Botelho,
Luis Nunes,
Ricardo Ribeiro,
Rui J. Lopes
Abstract:
In a previous paper, we have proposed a set of concepts, axiom schemata and algorithms that can be used by agents to learn to describe their behaviour, goals, capabilities, and environment. The current paper proposes a new set of concepts, axiom schemata and algorithms that allow the agent to learn new descriptions of an observed behaviour (e.g., perplexing actions), of its actor (e.g., undesired…
▽ More
In a previous paper, we have proposed a set of concepts, axiom schemata and algorithms that can be used by agents to learn to describe their behaviour, goals, capabilities, and environment. The current paper proposes a new set of concepts, axiom schemata and algorithms that allow the agent to learn new descriptions of an observed behaviour (e.g., perplexing actions), of its actor (e.g., undesired propositions or actions), and of its environment (e.g., incompatible propositions). Each learned description (e.g., a certain action prevents another action from being performed in the future) is represented by a relationship between entities (either propositions or actions) and is learned by the agent, just by observation, using domain-independent axiom schemata and or learning algorithms. The relations used by agents to represent the descriptions they learn were inspired on the Theory of Rhetorical Structure (RST). The main contribution of the paper is the relation family Although, inspired on the RST relation Concession. The accurate definition of the relations of the family Although involves a set of deontic concepts whose definition and corresponding algorithms are presented. The relations of the family Although, once extracted from the agent's observations, express surprise at the observed behaviour and, in certain circumstances, present a justification for it.
The paper shows results of the presented proposals in a demonstration scenario, using implemented software.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Receding Moving Object Segmentation in 3D LiDAR Data Using Sparse 4D Convolutions
Authors:
Benedikt Mersch,
Xieyuanli Chen,
Ignacio Vizzo,
Lucas Nunes,
Jens Behley,
Cyrill Stachniss
Abstract:
A key challenge for autonomous vehicles is to navigate in unseen dynamic environments. Separating moving objects from static ones is essential for navigation, pose estimation, and understanding how other traffic participants are likely to move in the near future. In this work, we tackle the problem of distinguishing 3D LiDAR points that belong to currently moving objects, like walking pedestrians…
▽ More
A key challenge for autonomous vehicles is to navigate in unseen dynamic environments. Separating moving objects from static ones is essential for navigation, pose estimation, and understanding how other traffic participants are likely to move in the near future. In this work, we tackle the problem of distinguishing 3D LiDAR points that belong to currently moving objects, like walking pedestrians or driving cars, from points that are obtained from non-moving objects, like walls but also parked cars. Our approach takes a sequence of observed LiDAR scans and turns them into a voxelized sparse 4D point cloud. We apply computationally efficient sparse 4D convolutions to jointly extract spatial and temporal features and predict moving object confidence scores for all points in the sequence. We develop a receding horizon strategy that allows us to predict moving objects online and to refine predictions on the go based on new observations. We use a binary Bayes filter to recursively integrate new predictions of a scan resulting in more robust estimation. We evaluate our approach on the SemanticKITTI moving object segmentation challenge and show more accurate predictions than existing methods. Since our approach only operates on the geometric information of point clouds over time, it generalizes well to new, unseen environments, which we evaluate on the Apollo dataset.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Automatic Labeling to Generate Training Data for Online LiDAR-based Moving Object Segmentation
Authors:
Xieyuanli Chen,
Benedikt Mersch,
Lucas Nunes,
Rodrigo Marcuzzi,
Ignacio Vizzo,
Jens Behley,
Cyrill Stachniss
Abstract:
Understanding the scene is key for autonomously navigating vehicles and the ability to segment the surroundings online into moving and non-moving objects is a central ingredient for this task. Often, deep learning-based methods are used to perform moving object segmentation (MOS). The performance of these networks, however, strongly depends on the diversity and amount of labeled training data, inf…
▽ More
Understanding the scene is key for autonomously navigating vehicles and the ability to segment the surroundings online into moving and non-moving objects is a central ingredient for this task. Often, deep learning-based methods are used to perform moving object segmentation (MOS). The performance of these networks, however, strongly depends on the diversity and amount of labeled training data, information that may be costly to obtain. In this paper, we propose an automatic data labeling pipeline for 3D LiDAR data to save the extensive manual labeling effort and to improve the performance of existing learning-based MOS systems by automatically generating labeled training data. Our proposed approach achieves this by processing the data offline in batches. It first exploits an occupancy-based dynamic object removal to detect possible dynamic objects coarsely. Second, it extracts segments among the proposals and tracks them using a Kalman filter. Based on the tracked trajectories, it labels the actually moving objects such as driving cars and pedestrians as moving. In contrast, the non-moving objects, e.g., parked cars, lamps, roads, or buildings, are labeled as static. We show that this approach allows us to label LiDAR data highly effectively and compare our results to those of other label generation methods. We also train a deep neural network with our auto-generated labels and achieve similar performance compared to the one trained with manual labels on the same data, and an even better performance when using additional datasets with labels generated by our approach. Furthermore, we evaluate our method on multiple datasets using different sensors and our experiments indicate that our method can generate labels in diverse environments.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Descent for internal multicategory functors
Authors:
Rui Prezado,
Fernando Lucatelli Nunes
Abstract:
We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach extends the techniques developed by Ivan Le Creurer in his study of descent for inter…
▽ More
We give sufficient conditions for effective descent in categories of (generalized) internal multicategories. Two approaches to study effective descent morphisms are pursued. The first one relies on establishing the category of internal multicategories as an equalizer of categories of diagrams. The second approach extends the techniques developed by Ivan Le Creurer in his study of descent for internal essentially algebraic structures.
△ Less
Submitted 1 October, 2022; v1 submitted 19 December, 2021;
originally announced December 2021.
-
CHAD for Expressive Total Languages
Authors:
Fernando Lucatelli Nunes,
Matthijs Vákár
Abstract:
We show how to apply forward and reverse mode Combinatory Homomorphic Automatic Differentiation (CHAD) to total functional programming languages with expressive type systems featuring the combination of - tuple types; - sum types; - inductive types; - coinductive types; - function types. We achieve this by analysing the categorical semantics of such types in $Σ$-types (Grothendieck constructions)…
▽ More
We show how to apply forward and reverse mode Combinatory Homomorphic Automatic Differentiation (CHAD) to total functional programming languages with expressive type systems featuring the combination of - tuple types; - sum types; - inductive types; - coinductive types; - function types. We achieve this by analysing the categorical semantics of such types in $Σ$-types (Grothendieck constructions) of suitable categories. Using a novel categorical logical relations technique for such expressive type systems, we give a correctness proof of CHAD in this setting by showing that it computes the usual mathematical derivative of the function that the original program implements. The result is a principled, purely functional and provably correct method for performing forward and reverse mode automatic differentiation (AD) on total functional programming languages with expressive type systems.
△ Less
Submitted 3 April, 2023; v1 submitted 1 October, 2021;
originally announced October 2021.
-
On lax epimorphisms and the associated factorization
Authors:
Fernando Lucatelli Nunes,
Lurdes Sousa
Abstract:
We study lax epimorphisms in 2-categories, with special attention to $\mathsf{Cat}$ and $\mathcal{V}$-$\mathsf{Cat}$. We show that any 2-category with convenient colimits has an orthogonal $LaxEpi$-factorization system, and we give a concrete description of this factorization in $\mathsf{Cat}$.
We study lax epimorphisms in 2-categories, with special attention to $\mathsf{Cat}$ and $\mathcal{V}$-$\mathsf{Cat}$. We show that any 2-category with convenient colimits has an orthogonal $LaxEpi$-factorization system, and we give a concrete description of this factorization in $\mathsf{Cat}$.
△ Less
Submitted 7 April, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Parthenos: A Source Code Injection Approach for Software Transformation
Authors:
Gabriel Lopes Nunes,
Kleinner Farias,
Lucas Silveira Kupssinski
Abstract:
Maintaining legacy enterprise information systems is a known necessity in companies. To date, it remains an expensive and time-consuming process, requiring high effort and cost to get small changes implemented. MITRAS seeks to reduce the maintenance cost by providing an automatic maintenance system model based on graph transformations. This article presents Parthenos, a different approach to MITRA…
▽ More
Maintaining legacy enterprise information systems is a known necessity in companies. To date, it remains an expensive and time-consuming process, requiring high effort and cost to get small changes implemented. MITRAS seeks to reduce the maintenance cost by providing an automatic maintenance system model based on graph transformations. This article presents Parthenos, a different approach to MITRAS, whose goal is to guarantee the correctness of introduced modifications at a syntax and type semantics level of the source code. Along with that, it proposes an extensible architecture, which allows the most varied types of systems to carry out software maintenance. Parthenos was evaluated through functional tests to evaluate its effectiveness, using measures of precision, recall, and f-measure.
△ Less
Submitted 11 May, 2021;
originally announced May 2021.
-
From the spin-fermion model to anisotropic superconductivity
Authors:
Lizardo H. C. M. Nunes,
Eduardo C. Marino
Abstract:
We use the spin-fermion model to describe the CuO$_2$ planes of the high-Tc superconductors. Using a large wavelength approach, we show that the ferromagnetic component of the Cu spin fluctuations couple to the oxygen holes producing a pairing interaction that leads to a superconducting gap whose symmetry is determined by the anisotropy of the Kondo interaction. We calculate Tc as a function of th…
▽ More
We use the spin-fermion model to describe the CuO$_2$ planes of the high-Tc superconductors. Using a large wavelength approach, we show that the ferromagnetic component of the Cu spin fluctuations couple to the oxygen holes producing a pairing interaction that leads to a superconducting gap whose symmetry is determined by the anisotropy of the Kondo interaction. We calculate Tc as a function of the hole concentration in a mean-field approximation and our numerical results are in good agreement with the experiments.
△ Less
Submitted 2 October, 2020;
originally announced October 2020.
-
Effects of a Magnetic Field on Superconductivity and Quantum Criticality in Quasi-Two-Dimensional Systems with Dirac Electrons
Authors:
E. C. Marino,
Lizardo H. C. M. Nunes
Abstract:
We study the effects of an external magnetic field on thensuperconducting phase diagram of a quasi-two-dimensional system of Dirac electrons at an arbitrary temperature. At zero temperature, there is a quantum phase transition connecting a normal and a superconducting phase, occurring at a critical line that corresponds to a magnetic field dependent critical coupling parameter, which should be obs…
▽ More
We study the effects of an external magnetic field on thensuperconducting phase diagram of a quasi-two-dimensional system of Dirac electrons at an arbitrary temperature. At zero temperature, there is a quantum phase transition connecting a normal and a superconducting phase, occurring at a critical line that corresponds to a magnetic field dependent critical coupling parameter, which should be observed in planar materials containing Dirac electrons, such as $Cu_xTiSe_2$. Moreover, the superconducting gap is obtained as a function of temperature, magnetic field and coupling parameter ($λ_{\rm R}$). From this, we extract the critical magnetic field $ B_{ c } $ as a function of the temperature. For small values of $ B_{ c } $, we obtain a linear decay of the critical field, which is similar to the behavior observed experimentally in the copper doped dichalcogenide $Cu_xTiSe_2$ and also in intercalated graphite.
△ Less
Submitted 4 October, 2020;
originally announced October 2020.
-
Superconductor-insulator transition induced by pressure within the X-boson approach
Authors:
Lizardo H. C. M. Nunes,
M. S. Figueira,
E. V. L. de Mello
Abstract:
The pressure induced superconducting phase diagram is calculated for an extension of the periodic Anderson model (PAM) in the $ U = \infty $ limit taking into account the effect of a nearest neighbor attractive interaction between f-electrons. We analyze the role of the chemical potential compared to several plots of the f-band density of states and we also found a superconductor-insulator transit…
▽ More
The pressure induced superconducting phase diagram is calculated for an extension of the periodic Anderson model (PAM) in the $ U = \infty $ limit taking into account the effect of a nearest neighbor attractive interaction between f-electrons. We analyze the role of the chemical potential compared to several plots of the f-band density of states and we also found a superconductor-insulator transition induced by pressure when the chemical potential crosses the hybridization gap.
△ Less
Submitted 25 September, 2020;
originally announced October 2020.
-
Study of the Kondo and high-temperature limits of the slave-boson and X-boson methods
Authors:
Lizardo H. C. M. Nunes,
M. S. Figueira,
M. E. Foglio
Abstract:
In this Letter we study the periodic Anderson model, employing both the slave-boson and the X-boson approaches in the mean field approximation. We investigate the breakdown of the slave-boson at intermediate temperatures when the total occupation number of particles Nt = Nf + Nc is keep constant, where Nf and Nc are respectively the occupation numbers of the localized and conduction electrons, and…
▽ More
In this Letter we study the periodic Anderson model, employing both the slave-boson and the X-boson approaches in the mean field approximation. We investigate the breakdown of the slave-boson at intermediate temperatures when the total occupation number of particles Nt = Nf + Nc is keep constant, where Nf and Nc are respectively the occupation numbers of the localized and conduction electrons, and we show that the high-temperature limit of the slave-boson is Nf = Nc = Nt /2. We also compare the results of the two approaches in the Kondo limit and we show that at low-temperatures the X-boson exhibits a phase transition, from the Kondo heavy fermion (K-HF) regime to a local moment magnetic regime (LMM).
△ Less
Submitted 25 September, 2020;
originally announced October 2020.
-
A quantum critical superconducting phase transition in quasi-two-dimensional systems with Dirac electrons
Authors:
E. C. Marino,
Lizardo H. C. M. Nunes
Abstract:
We present a theory describing the superconducting (SC) interaction of Dirac electrons in a quasi-two-dimensional system consisting of a stack of N planes. The occurrence of a SC phase is investigated both at T = 0 and T 5 0. At T = 0, we find a quantum phase transition connecting the normal and SC phases. Our theory qualitatively reproduces the SC phase transition occurring in the underdoped regi…
▽ More
We present a theory describing the superconducting (SC) interaction of Dirac electrons in a quasi-two-dimensional system consisting of a stack of N planes. The occurrence of a SC phase is investigated both at T = 0 and T 5 0. At T = 0, we find a quantum phase transition connecting the normal and SC phases. Our theory qualitatively reproduces the SC phase transition occurring in the underdoped regime of the high-Tc cuprates. This fact points to the possible relevance of Dirac electrons in the mechanism of high-Tc superconductivity.
△ Less
Submitted 25 September, 2020;
originally announced September 2020.
-
Competing effective interactions of Dirac electrons in the Spin-Fermion system
Authors:
E. C. Marino,
Lizardo H. C. M. Nunes
Abstract:
Recently discovered advanced materials, such as heavy fermions, frequently exhibit a rich phase diagram suggesting the presence of different competing interactions. A unified description of the origin of these multiple interactions, albeit very important for the comprehension of such materials is, in general not available. It would be therefore very useful to have a simple model where the common s…
▽ More
Recently discovered advanced materials, such as heavy fermions, frequently exhibit a rich phase diagram suggesting the presence of different competing interactions. A unified description of the origin of these multiple interactions, albeit very important for the comprehension of such materials is, in general not available. It would be therefore very useful to have a simple model where the common source of different interactions could be possibly traced back. In this work we consider a system consisting in a set of localized spins on a square lattice with antiferromagnetic nearest neighbors interactions and itinerant electrons, which are assumed to be Dirac-like and interact with the localized spins through a Kondo magnetic interaction. This system is conveniently described by the Spin-Fermion model, which we use in order to determine the effective interactions among the itinerant electrons. By integrating out the localized degrees of freedom we obtain a set of different interactions, which includes: a BCS-like superconducting term, a Nambu-Jona-Lasinio-like, excitonic term and a spin-spin magnetic term. The resulting phase diagram is investigated by evaluation of the mean-field free-energy as a function of the relevant order parameters. This shows the competition of the above interactions, depending on the temperature, chemical potential and coupling constants.
△ Less
Submitted 25 September, 2020;
originally announced September 2020.
-
Nonextensive thermodynamics applied to superconductivity
Authors:
Lizardo H. C. M. Nunes,
E. V. L. de Mello
Abstract:
We have shown that the weak-coupling limit superconductors are well described by $ q \sim 1 $, where $ q $ is a real parameter which characterizes the degree of nonextensivity of Tsallis' entropy. Nevertheless, small deviations with respect to q=1 provide better agreement when compared with experimental results. We have also shown that the generalized BCS theory with $ q \neq 1 $ exhibit power-law…
▽ More
We have shown that the weak-coupling limit superconductors are well described by $ q \sim 1 $, where $ q $ is a real parameter which characterizes the degree of nonextensivity of Tsallis' entropy. Nevertheless, small deviations with respect to q=1 provide better agreement when compared with experimental results. We have also shown that the generalized BCS theory with $ q \neq 1 $ exhibit power-law behavior of several measurable macroscopic functions in the low-temperature regime. These power-law properties are found in many high-Tc oxides superconductors and motivated us to extend Tsallis' entropy calculations to these systems. Therefore, we have calculated the phase diagram and the specific heat and we compare our results with the experimental data for the YBCO compound.
△ Less
Submitted 29 September, 2020;
originally announced September 2020.
-
Antiferromagnetic phase diagram of the cuprate superconductors
Authors:
Lizardo H. C. M. Nunes,
A. W. Teixeira,
E. C. Marino
Abstract:
Taking the spin-fermion model as the starting point for describing the cuprate superconductors, we obtain an effective nonlinear sigma-field hamiltonian, which takes into account the effect of doping in the system. We obtain an expression for the spin-wave velocity as a function of the chemical potential. For appropriate values of the parameters we determine the antiferromagnetic phase diagram for…
▽ More
Taking the spin-fermion model as the starting point for describing the cuprate superconductors, we obtain an effective nonlinear sigma-field hamiltonian, which takes into account the effect of doping in the system. We obtain an expression for the spin-wave velocity as a function of the chemical potential. For appropriate values of the parameters we determine the antiferromagnetic phase diagram for the YBa$_2$Cu$_3$O$_{6+x}$ compound as a function of the dopant concentration in good agreement with the experimental data. Furthermore, our approach provides a unified description for the phase diagrams of the hole-doped and the electron doped compounds, which is consistent with the remarkable similarity between the phase diagrams of these compounds, since we have obtained the suppression of the antiferromagnetic phase as the modulus of the chemical potential increases. The aforementioned result then follows by considering positive values of the chemical potential related to the addition of holes to the system, while negative values correspond to the addition of electrons.
△ Less
Submitted 25 September, 2020;
originally announced September 2020.
-
Temperature vs. doping phase diagram of cuprate superconductors
Authors:
Lizardo H. C. M. Nunes,
A. W. Teixeira,
E. C. Marino
Abstract:
Starting from a spin-fermion model for the cuprate superconductors, we obtain an effective interaction for the charge carriers by integrating out the spin degrees of freedom. Our model predicts a quantum critical point for the superconducting interaction coupling, which sets up a threshold for the onset of superconductivity in the system. We show that the physical value of this coupling is below t…
▽ More
Starting from a spin-fermion model for the cuprate superconductors, we obtain an effective interaction for the charge carriers by integrating out the spin degrees of freedom. Our model predicts a quantum critical point for the superconducting interaction coupling, which sets up a threshold for the onset of superconductivity in the system. We show that the physical value of this coupling is below this threshold, thus explaining why there is no superconducting phase for the undoped system. Then, by including doping, we find a dome-shaped dependence of the critical temperature as charge carriers are added to the system, in agreement with the experimental phase diagram. The superconducting critical temperature is calculated without adjusting any free parameter and yields, at optimal doping $ T_c \sim $ 45 K, which is comparable to the experimental data.
△ Less
Submitted 25 September, 2020;
originally announced September 2020.
-
Towards the Systematic Testing of Virtual Reality Programs (extended version)
Authors:
Stevao A. Andrade,
Fatima L. S. Nunes,
Marcio E. Delamaro
Abstract:
Software testing is a critical activity to ensure that software complies with its specification. However, current software testing activities tend not to be completely effective when applied in specific software domains in Virtual Reality (VR) that has several new types of features such as images, sounds, videos, and differentiated interaction, which can become sources of new kinds of faults. This…
▽ More
Software testing is a critical activity to ensure that software complies with its specification. However, current software testing activities tend not to be completely effective when applied in specific software domains in Virtual Reality (VR) that has several new types of features such as images, sounds, videos, and differentiated interaction, which can become sources of new kinds of faults. This paper presents an overview of the main VR characteristics that can have an impact on verification, validation, and testing (VV&T). Furthermore, it analyzes some of the most successful VR open-source projects to draw a picture concerning the danger of the lack of software testing activities. We compared the current state of software testing practice in open-source VR projects and evaluate how the lack of testing can be damaging to the development of a product. We assessed the incidence of code smells and verified how such projects behave concerning the tendency to present faults. The results showed that the practice of software testing is not yet widespread in the development of VR applications. It was also found that there is a high incidence of code smells in VR projects. Regarding fault-proneness the results showed that about 12.2% of the classes analyzed in VR projects are fault-prone. Regarding the application of software testing techniques on VR projects, it was observed that only a small number of projects are concerned about developing test cases for VR projects, perhaps because we still do not have the necessary tools to help in this direction. Concerning smells, we concluded that there is a high incidence in VR projects, especially regarding implementing smells and this high incidence can have a significant influence on faults. Finally, the study related to fault proneness pointed out that the lack of software testing activity is a significant risk to the success of the projects.
△ Less
Submitted 18 September, 2020;
originally announced September 2020.
-
Flat band superconductivity in the square-octagon lattice
Authors:
Lizardo H. C. M. Nunes,
Cristiane Morais Smith
Abstract:
The discovery of superconductivity in twisted bilayer graphene has triggered a resurgence of interest in flat-band superconductivity. Here, we investigate the square-octagon lattice, which also exhibits two perfectly flat bands when next-nearest neighbour hopping or an external magnetic field are added to the system. We calculate the superconducting phase diagram in the presence of on-site attract…
▽ More
The discovery of superconductivity in twisted bilayer graphene has triggered a resurgence of interest in flat-band superconductivity. Here, we investigate the square-octagon lattice, which also exhibits two perfectly flat bands when next-nearest neighbour hopping or an external magnetic field are added to the system. We calculate the superconducting phase diagram in the presence of on-site attractive interactions and find two superconducting domes, as observed in several types of unconventional superconductors. The critical temperature shows a linear dependence on the coupling constant, suggesting that superconductivity might reach high temperatures in the square-octagon lattice. Our model could be experimentally realized using photonic or ultracold atoms lattices.
△ Less
Submitted 20 March, 2020;
originally announced March 2020.
-
Lax comma $2$-categories and admissible $2$-functors
Authors:
Maria Manuel Clementino,
Fernando Lucatelli Nunes
Abstract:
This paper is a contribution towards a two dimensional extension of the basic ideas and results of Janelidze-Galois theory. In the present paper, we give a suitable counterpart notion to that of \textit{absolute admissible Galois structure} for the lax idempotent context, compatible with the context of \textit{lax orthogonal factorization systems}. As part of this work, we study lax comma $2$-cate…
▽ More
This paper is a contribution towards a two dimensional extension of the basic ideas and results of Janelidze-Galois theory. In the present paper, we give a suitable counterpart notion to that of \textit{absolute admissible Galois structure} for the lax idempotent context, compatible with the context of \textit{lax orthogonal factorization systems}. As part of this work, we study lax comma $2$-categories, giving analogue results to the basic properties of the usual comma categories. We show that each morphism of a $2$-category induces a $2$-adjunction between lax comma $2$-categories and comma $2$-categories, playing the role of the usual \textit{change of base functors}. With these induced $2$-adjunctions, we are able to show that each $2$-adjunction induces $2$-adjunctions between lax comma $2$-categories and comma $2$-categories, which are our analogues of the usual lifting to the comma categories used in Janelidze-Galois theory. We give sufficient conditions under which these liftings are $2$-premonadic and induce a lax idempotent $2$-monad, which corresponds to our notion of $2$-admissible $2$-functor. In order to carry out this work, we analyse when a composition of $2$-adjunctions is a lax idempotent $2$-monad, and when it is $2$-premonadic. We give then examples of our $2$-admissible $2$-functors (and, in particular, simple $2$-functors), specially using a result that says that all admissible ($2$-)functors in the classical sense are also $2$-admissible (and hence simple as well). We finish the paper relating coequalizers in lax comma $2$-categories and Kan extensions.
△ Less
Submitted 5 May, 2023; v1 submitted 8 February, 2020;
originally announced February 2020.
-
Effects of anisotropic correlations in fermionic zero-energy bound states of topological phases
Authors:
M. A. R. Griffith,
E. Mamani,
L. Nunes,
H. Caldas
Abstract:
Topological phases of matter have been used as a fertile realm of intensive discussions about fermionic fractionalization. In this work, we study the effects of anisotropic superconducting correlations in the fermionic fractionalization on the topological phases. We consider a hybrid version of the SSH and Kitaev models with an anisotropic superconducting order parameter to investigate the unusual…
▽ More
Topological phases of matter have been used as a fertile realm of intensive discussions about fermionic fractionalization. In this work, we study the effects of anisotropic superconducting correlations in the fermionic fractionalization on the topological phases. We consider a hybrid version of the SSH and Kitaev models with an anisotropic superconducting order parameter to investigate the unusual states with zero energy that emerges in a finite chain. To obtain these zero energy solutions, we built a chain with a well-defined domain wall at the middle of the chain. Our solutions indicate an interesting dynamic between the zero-energy state around the domain wall and the superconducting correlation parameters. Finally, we find that the presence of an isolated Majorana at the ends of the chain is strongly dependent on the existence of the solitonic excitation at the middle of the chain.
△ Less
Submitted 2 April, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
Superconducting and Pseudogap Transition Temperatures in High-Tc Cuprates and the $T_{c}$ Dependence on Pressure
Authors:
E. C. Marino,
Reginaldo O. Corrêa Jr,
R. Arouca,
Lizardo H. C. M. Nunes,
Van Sérgio Alves
Abstract:
We derive analytic expressions for the critical temperatures of the superconducting (SC) and pseudogap (PG) transitions of the high-Tc cuprates as a function of doping. These are in excellent agreement with the experimental data both for single-layered materials such as LSCO, Bi2201 and Hg1201 and multi-layered ones, such as Bi2212, Bi2223, Hg1212 and Hg1223. Optimal doping occurs when the chemica…
▽ More
We derive analytic expressions for the critical temperatures of the superconducting (SC) and pseudogap (PG) transitions of the high-Tc cuprates as a function of doping. These are in excellent agreement with the experimental data both for single-layered materials such as LSCO, Bi2201 and Hg1201 and multi-layered ones, such as Bi2212, Bi2223, Hg1212 and Hg1223. Optimal doping occurs when the chemical potential vanishes, thus leading to an universal expression for the optimal SC transition temperatures. This allows for the obtainment of a quantitative description of the growth of such temperatures with the number of layers, N, which accurately applies to the $Bi$, $Hg$ and $Tl$ families of cuprates. We study the pressure dependence of the SC transition temperatures, obtaining excellent agreement with the experimental data for different materials and dopings. These results are obtained from an effective Hamiltonian for the itinerant oxygen holes, which includes both the electric repulsion between them and their magnetic interactions with the localized copper ions. We show that the former interaction is responsible for the SC and the latter, for the PG phases, the phase diagram of cuprates resulting from the competition of both. The Hamiltonian is defined on a bipartite oxygen lattice, which results from the fact that only the $p_x$ and $p_y$ oxygen orbitals alternatively hybridize with the $3d$ copper orbitals. From this, we can provide an unified explanation for the $d_{x^2-y^2}$ symmetry of both the SC and PG order parameters and obtain the Fermi pockets observed in ARPES experiments.
△ Less
Submitted 5 January, 2020; v1 submitted 19 August, 2019;
originally announced August 2019.
-
Descent Data and Absolute Kan Extensions
Authors:
Fernando Lucatelli Nunes
Abstract:
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 sa…
▽ More
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.
△ Less
Submitted 15 May, 2021; v1 submitted 2 June, 2019;
originally announced June 2019.
-
Semantic Factorization and Descent
Authors:
Fernando Lucatelli Nunes
Abstract:
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 r…
▽ More
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é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} $.
△ Less
Submitted 2 September, 2022; v1 submitted 4 February, 2019;
originally announced February 2019.
-
The Superconducting and Pseudogap Phase Diagram of High-Tc Cuprates
Authors:
E. C. Marino,
Reginaldo O. C. Junior,
Lizardo H. C. M. Nunes,
Van Sérgio Alves
Abstract:
We derive analytic expressions for the critical temperatures of the superconducting (SC) and pseudogap (PG) phases of the high-Tc cuprates, which are in excellent agreement with the experimental data for single-layered materials such as LSCO, Bi2201 and Hg1201. Our effective Hamiltonian, defined in the oxygen square sub-lattices formed by the alternate hybridization of $p_x$ and $p_y$ orbitals wit…
▽ More
We derive analytic expressions for the critical temperatures of the superconducting (SC) and pseudogap (PG) phases of the high-Tc cuprates, which are in excellent agreement with the experimental data for single-layered materials such as LSCO, Bi2201 and Hg1201. Our effective Hamiltonian, defined in the oxygen square sub-lattices formed by the alternate hybridization of $p_x$ and $p_y$ orbitals with the $3d$ copper orbitals, provides an unified explanation for the $d_{x^2-y^2}$ symmetry of both the SC and PG order parameters. Attractive and repulsive interactions involve holes of the two different sublattices and can be derived from the spin-fermion model. Optimal doping occurs when the chemical potential vanishes. For $N$-layered cuprates, the growth of the optimal temperature with $N$, as well as the trend of the SC and AF domes to superimpose, can be simply understood. Our results for the optimal SC transition temperature are in excellent agreement with the experiments for $N=2$ materials of the $Bi$ and $Hg$ families. For $N=3$ the agreement is still satisfactory, while for $N>3$, it becomes poor. The explanation for these facts allows us to suggest a method for increasing the critical SC temperature in cuprates.
△ Less
Submitted 8 February, 2019; v1 submitted 21 May, 2018;
originally announced May 2018.
-
Pseudomonads and Descent, PhD Thesis (Chapter 1)
Authors:
Fernando Lucatelli Nunes
Abstract:
This is the introductory chapter of my PhD Thesis. This thesis consists of one introductory chapter and four single-authored papers written during my PhD studies at the University of Coimbra under supervision of Maria Manuel Clementino. In this first chapter, we give a glance of the scope of our work and briefly describe elements of the original contributions of each paper, including some connecti…
▽ More
This is the introductory chapter of my PhD Thesis. This thesis consists of one introductory chapter and four single-authored papers written during my PhD studies at the University of Coimbra under supervision of Maria Manuel Clementino. In this first chapter, we give a glance of the scope of our work and briefly describe elements of the original contributions of each paper, including some connections between them. We also give a brief exposition of our main setting, which is $2$-dimensional category theory. In this direction: (1) we give an exposition on the doctrinal adjunction, focusing on the Beck-Chevalley condition as used in Chapter "Pseudo-Kan Extensions and Descent" (arXiv: 1606.04999), (2) we apply the results of "On lifting of biadjoints and lax algebras" (arXiv: 1607.03087) in a generalized setting of the formal theory of monads and (3) we apply the biadjoint triangle theorem of "On biadjoint triangles" (aXiv: 1606.05009) to study (pseudo)exponentiable pseudocoalgebras.
△ Less
Submitted 30 July, 2018; v1 submitted 5 February, 2018;
originally announced February 2018.
-
The Dark Energy Survey Data Release 1
Authors:
T. M. C. Abbott,
F. B. Abdalla,
S. Allam,
A. Amara,
J. Annis,
J. Asorey,
S. Avila,
O. Ballester,
M. Banerji,
W. Barkhouse,
L. Baruah,
M. Baumer,
K. Bechtol,
M . R. Becker,
A. Benoit-Lévy,
G. M. Bernstein,
E. Bertin,
J. Blazek,
S. Bocquet,
D. Brooks,
D. Brout,
E. Buckley-Geer,
D. L. Burke,
V. Busti,
R. Campisano
, et al. (177 additional authors not shown)
Abstract:
We describe the first public data release of the Dark Energy Survey, DES DR1, consisting of reduced single epoch images, coadded images, coadded source catalogs, and associated products and services assembled over the first three years of DES science operations. DES DR1 is based on optical/near-infrared imaging from 345 distinct nights (August 2013 to February 2016) by the Dark Energy Camera mount…
▽ More
We describe the first public data release of the Dark Energy Survey, DES DR1, consisting of reduced single epoch images, coadded images, coadded source catalogs, and associated products and services assembled over the first three years of DES science operations. DES DR1 is based on optical/near-infrared imaging from 345 distinct nights (August 2013 to February 2016) by the Dark Energy Camera mounted on the 4-m Blanco telescope at Cerro Tololo Inter-American Observatory in Chile. We release data from the DES wide-area survey covering ~5,000 sq. deg. of the southern Galactic cap in five broad photometric bands, grizY. DES DR1 has a median delivered point-spread function of g = 1.12, r = 0.96, i = 0.88, z = 0.84, and Y = 0.90 arcsec FWHM, a photometric precision of < 1% in all bands, and an astrometric precision of 151 mas. The median coadded catalog depth for a 1.95" diameter aperture at S/N = 10 is g = 24.33, r = 24.08, i = 23.44, z = 22.69, and Y = 21.44 mag. DES DR1 includes nearly 400M distinct astronomical objects detected in ~10,000 coadd tiles of size 0.534 sq. deg. produced from ~39,000 individual exposures. Benchmark galaxy and stellar samples contain ~310M and ~ 80M objects, respectively, following a basic object quality selection. These data are accessible through a range of interfaces, including query web clients, image cutout servers, jupyter notebooks, and an interactive coadd image visualization tool. DES DR1 constitutes the largest photometric data set to date at the achieved depth and photometric precision.
△ Less
Submitted 23 April, 2019; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Pseudoalgebras and non-canonical isomorphisms
Authors:
Fernando Lucatelli Nunes
Abstract:
Given a pseudomonad $\mathcal{T} $, we prove that a lax $\mathcal{T} $-morphism between pseudoalgebras is a $\mathcal{T} $-pseudomorphism if and only if there is a suitable (possibly non-canonical) invertible $\mathcal{T} $-transformation. This result encompasses several results on \textit{non-canonical isomorphisms}, including Lack's result on normal monoidal functors between braided monoidal cat…
▽ More
Given a pseudomonad $\mathcal{T} $, we prove that a lax $\mathcal{T} $-morphism between pseudoalgebras is a $\mathcal{T} $-pseudomorphism if and only if there is a suitable (possibly non-canonical) invertible $\mathcal{T} $-transformation. This result encompasses several results on \textit{non-canonical isomorphisms}, including Lack's result on normal monoidal functors between braided monoidal categories, since it is applicable in any $2$-category of pseudoalgebras, such as the $2$-categories of monoidal categories, cocomplete categories, pseudofunctors and so on.
△ Less
Submitted 24 August, 2018; v1 submitted 6 November, 2017;
originally announced November 2017.
-
DES Science Portal: Creating Science-Ready Catalogs
Authors:
Angelo Fausti Neto,
Luiz da Costa,
Aurelio Carnero Rosell,
Julia Gschwend,
Ricardo Ogando,
Flavia Sobreira,
Marcio Maia,
Basilio Santiago,
Rogerio Rosenfeld,
Cristiano Singulani,
Lucas Nunes,
Carlos Adean,
Riccardo Campisano,
Rafael Brito,
Guilherme Soares,
Glauber C. Vila-Verde,
Tim Abbott,
Filipe Abdalla,
Sahar Allam,
Aurélien Benoit-Lévy,
David Brooks,
Elizabeth Buckley-Geer,
Diego Capozzi,
Matias Carrasco Kind,
Jorge Carretero
, et al. (33 additional authors not shown)
Abstract:
We present a novel approach for creating science-ready catalogs through a software infrastructure developed for the Dark Energy Survey (DES). We integrate the data products released by the DES Data Management and additional products created by the DES collaboration in an environment known as DES Science Portal. Each step involved in the creation of a science-ready catalog is recorded in a relation…
▽ More
We present a novel approach for creating science-ready catalogs through a software infrastructure developed for the Dark Energy Survey (DES). We integrate the data products released by the DES Data Management and additional products created by the DES collaboration in an environment known as DES Science Portal. Each step involved in the creation of a science-ready catalog is recorded in a relational database and can be recovered at any time. We describe how the DES Science Portal automates the creation and characterization of lightweight catalogs for DES Year 1 Annual Release, and show its flexibility in creating multiple catalogs with different inputs and configurations. Finally, we discuss the advantages of this infrastructure for large surveys such as DES and the Large Synoptic Survey Telescope. The capability of creating science-ready catalogs efficiently and with full control of the inputs and configurations used is an important asset for supporting science analysis using data from large astronomical surveys.
△ Less
Submitted 28 May, 2018; v1 submitted 18 August, 2017;
originally announced August 2017.
-
Freely generated $n$-categories, coinserters and presentations of low dimensional categories
Authors:
Fernando Lucatelli Nunes
Abstract:
Composing with the inclusion $\mathsf{Set}\to\mathsf{Cat} $, a graph $G$ internal to $\mathsf{Set} $ becomes a graph of discrete categories, the coinserter of which is the category freely generated by $G$. Introducing a suitable definition of $n$-computad, we show that a similar approach gives the $n$-category freely generated by an $n$-computad. Suitable $n$-categories with relations on $n$-cells…
▽ More
Composing with the inclusion $\mathsf{Set}\to\mathsf{Cat} $, a graph $G$ internal to $\mathsf{Set} $ becomes a graph of discrete categories, the coinserter of which is the category freely generated by $G$. Introducing a suitable definition of $n$-computad, we show that a similar approach gives the $n$-category freely generated by an $n$-computad. Suitable $n$-categories with relations on $n$-cells are presented by these $(n+1)$-computads, which allows us to prove results on presentations of thin groupoids and thin categories. So motivated, we introduce a notion of deficiency of (a presentation of) a groupoid via computads and prove that every small connected thin groupoid has deficiency $0$. We compare the resulting notions of deficiency and presentation with those induced by monads. In particular, we find our notion of group deficiency to coincide with the classical one. Finally, we study presentations of $2$-categories via $3$-computads, focusing on locally thin groupoidal $2$-categories. Under suitable hypotheses, we give efficient presentations of some locally thin and groupoidal $2$-categories. A fundamental tool is a $2$-dimensional analogue of the association of a "topological graph" to every graph internal to $\mathsf{Set} $. Concretely, we construct a left adjoint $\mathcal{F}_ {\mathsf{Top} _ 2} : 2\textrm{-}\mathsf{cmp}\to \mathsf{Top} $ associating a $2$-dimensional CW-complex to each small $2$-computad. Given a $2$-computad $\mathfrak{g} $, the groupoid it presents is equivalent to the fundamental groupoid of $\mathcal{F} _ {\mathsf{Top} _2}(\mathfrak{g}) $. Finally, we sketch the $3$-dimensional version $\mathcal{F}_ {\mathsf{Top} _ 3}$.
△ Less
Submitted 14 April, 2017;
originally announced April 2017.
-
Multi-criteria IoT Resource Discovery: A Comparative Analysis
Authors:
Luiz H. Nunes,
Julio C. Estrella,
Charith Perera,
Stephan Reiff-Marganiec,
Alexandre N. Delbem
Abstract:
The growth of real world objects with embedded and globally networked sensors allows to consolidate the Internet of Things paradigm and increase the number of applications in the domains of ubiquitous and context-aware computing. The merging between Cloud Computing and Internet of Things named Cloud of Things will be the key to handle thousands of sensors and their data. One of the main challenges…
▽ More
The growth of real world objects with embedded and globally networked sensors allows to consolidate the Internet of Things paradigm and increase the number of applications in the domains of ubiquitous and context-aware computing. The merging between Cloud Computing and Internet of Things named Cloud of Things will be the key to handle thousands of sensors and their data. One of the main challenges in the Cloud of Things is context-aware sensor search and selection. Typically, sensors require to be searched using two or more conflicting context properties. Most of the existing work uses some kind of multi-criteria decision analysis to perform the sensor search and selection, but does not show any concern for the quality of the selection presented by these methods. In this paper, we analyse the behaviour of the SAW, TOPSIS and VIKOR multi-objective decision methods and their quality of selection comparing them with the Pareto-optimality solutions. The gathered results allow to analyse and compare these algorithms regarding their behaviour, the number of optimal solutions and redundancy.
△ Less
Submitted 16 November, 2016;
originally announced November 2016.
-
The Effects of Relative Importance of User Constraints in Cloud of Things Resource Discovery: A Case Study
Authors:
Luiz H. Nunes,
Julio C. Estrella,
Alexandre C. B. Delbem,
Charith Perera,
Stephan Reiff-Marganiec
Abstract:
Over the last few years, the number of smart objects connected to the Internet has grown exponentially in comparison to the number of services and applications. The integration between Cloud Computing and Internet of Things, named as Cloud of Things, plays a key role in managing the connected things, their data and services. One of the main challenges in Cloud of Things is the resource discovery o…
▽ More
Over the last few years, the number of smart objects connected to the Internet has grown exponentially in comparison to the number of services and applications. The integration between Cloud Computing and Internet of Things, named as Cloud of Things, plays a key role in managing the connected things, their data and services. One of the main challenges in Cloud of Things is the resource discovery of the smart objects and their reuse in different contexts. Most of the existent work uses some kind of multi-criteria decision analysis algorithm to perform the resource discovery, but do not evaluate the impact that the user constraints has in the final solution. In this paper, we analyse the behaviour of the SAW, TOPSIS and VIKOR multi-objective decision analyses algorithms and the impact of user constraints on them. We evaluated the quality of the proposed solutions using the Pareto-optimality concept.
△ Less
Submitted 16 November, 2016;
originally announced November 2016.
-
Improving FPGA resilience through Partial Dynamic Reconfiguration
Authors:
Jose Luis Nunes
Abstract:
This paper explores advances in reconfiguration properties of SRAM-based FPGAs, namely Partial Dynamic Reconfiguration, to improve the resilience of critical systems that take advantage of this technology. Commercial of-the-shelf state-of-the-art FPGA devices use SRAM cells for the configuration memory, which allow an increase in both performance and capacity. The fast access times and unlimited n…
▽ More
This paper explores advances in reconfiguration properties of SRAM-based FPGAs, namely Partial Dynamic Reconfiguration, to improve the resilience of critical systems that take advantage of this technology. Commercial of-the-shelf state-of-the-art FPGA devices use SRAM cells for the configuration memory, which allow an increase in both performance and capacity. The fast access times and unlimited number of writes of this technology, reduces reconfiguration delays and extends the device lifetime but, at the same time, makes them more sensitive to radiation effects, in the form of Single Event Upsets. To overcome this limitation, manufacturers have proposed a few fault tolerant approaches, which rely on space/time redundancy and configuration memory content recovery - scrubbing. In this paper, we first present radiation effects on these devices and investigate the applicability of the most commonly used fault tolerant approaches, and then propose an approach to improve FPGA resilience, through the use of a less intrusive failure prediction scrubbing. It is expected that this approach relieves the system designer from dependability concerns and reduces both time intrusiveness and overall power consumption.
△ Less
Submitted 23 August, 2016;
originally announced August 2016.
-
On lifting of biadjoints and lax algebras
Authors:
Fernando Lucatelli Nunes
Abstract:
By the biadjoint triangle theorem, given a pseudomonad $\mathcal{T} $ on a $2$-category $\mathfrak{B} $, if a right biadjoint $\mathfrak{A}\to\mathfrak{B} $ has a lifting to the pseudoalgebras $\mathfrak{A}\to\mathsf{Ps}\textrm{-}\mathcal{T}\textrm{-}\mathsf{Alg} $ then this lifting is also right biadjoint provided that $\mathfrak{A} $ has codescent objects. In this paper, we give general results…
▽ More
By the biadjoint triangle theorem, given a pseudomonad $\mathcal{T} $ on a $2$-category $\mathfrak{B} $, if a right biadjoint $\mathfrak{A}\to\mathfrak{B} $ has a lifting to the pseudoalgebras $\mathfrak{A}\to\mathsf{Ps}\textrm{-}\mathcal{T}\textrm{-}\mathsf{Alg} $ then this lifting is also right biadjoint provided that $\mathfrak{A} $ has codescent objects. In this paper, we give general results on lifting of biadjoints. As a consequence, we get a \textit{biadjoint triangle theorem} which, in particular, allows us to study triangles involving the $2$-category of lax algebras, proving analogues of the result described above. More precisely, we prove that, denoting by $\ell :\mathsf{Lax}\textrm{-}\mathcal{T}\textrm{-}\mathsf{Alg} \to\mathsf{Lax}\textrm{-}\mathcal{T}\textrm{-}\mathsf{Alg}_\ell $ the inclusion, if $R: \mathfrak{A}\to\mathfrak{B} $ is right biadjoint and has a lifting $J: \mathfrak{A} \to \mathsf{Lax}\textrm{-}\mathcal{T}\textrm{-}\mathsf{Alg} $, then $\ell\circ J$ is right biadjoint as well provided that $\mathfrak{A} $ has some needed weighted bicolimits. In order to prove such theorem, we study the descent objects and the lax descent objects. At the last section, we study direct consequences of our theorems in the context of the $2$-monadic approach to coherence. In particular, we give the construction of the left $2$-adjoint to the inclusion of the strict algebras into the lax algebras.
△ Less
Submitted 9 January, 2018; v1 submitted 11 July, 2016;
originally announced July 2016.