Unique continuation principle for high order equations of Korteweg-de Vries type

In this article we consider the problem of unique continuation for a class of high order equations of Korteweg-de Vries type which include the kdV hierachy. It is proved that if the difference w of two solutions of an equation of this form has certain exponential decay for x>0 at two different times, then w is identically zero.Comment: Minor typos corrected on page 1

On the support of solutions to the Zakharov-Kuznetsov equation

In this article we prove that sufficiently smooth solutions of the Zakharov-Kuznetsov equation that have compact support for two different times are identically zero.Comment: Version of Dec 17/2010 contains simpler proof of Theorem 1.3 and new references are adde

Teoría de categorías aplicada a la programación funcional con Agda.

Teoría de categorías aplicada a la programación funcional con Agda es una implementación de algunos conceptos de la programación funcional que están basados o han sido tomados de la teoría de categorías (categorías, functores, functores aplicativos, mónadas...). En este artículo se analizan las diferencias entre la definición formal de un functor y su definición en el lenguaje de programación Haskell, y se implementa un functor en el asistente de pruebas Agda que soluciona dichas diferencias

Igualdad, discriminación racial y comunidades negras en la jurisprudencia constitucional colombiana

A partir de su proclamación, el derecho a la igualdad en Occidente ha sufrido innumerables vulneraciones por causa de la discriminación que se infligen los seres humanos unos a otros, o debido a la que propician los mismos a través de las instituciones de su creación.92 p.Contenido parcial: Diferentes acepciones de igualdad -- Vulneraciones al principio de igualdad -- De la discriminación racial y sus prácticas contra la comunidad negra en Colombia -- Conceptualización sobre las nociones de discriminación racial y comunidades negras en la jurisprudencia constitucional colombiana -- Jurisprudencia de la corte constitucional en materia de tutela

Category theory applied to functional programming

We study some of the applications of category theory to functional programming, particularly in the context of the Haskell functional programming language, and the Agda dependently typed functional programming language and proof assistant -- More specifically, we describe and explain the concepts of category theory needed for conceptualizing and better understanding algebraic data types and folds, functors, monads, and parametrically polymorphic functions -- With this purpose, we give a detailed account of categories, functors and endofunctors, natural transformations, monads and Kleisli triples, algebras and initial algebras over endofunctors, among others -- In addition, we explore all of these concepts from the standpoints of categories and programming in Haskell, and, in some cases, Agda -- In other words, we examine functional programming through category theor