Algebraic theories and algebraic categories offer an innovative and revelatory description of the syntax and the semantics. An algebraic theory is a concrete mathematical object -- the concept -- namely a set of variables together with formal symbols and equalities between these terms; stated otherwise, an algebraic theory is a small category with finite products. An algebra or model of the theory is a set-theoretical interpretation -- a possible meaning -- or, more categorically, a finite product-preserving functor from the theory into the category of sets. We call the category of models of an algebraic theory an algebraic category. By generalising the theory we do generalise the models. This concept is the fascinating aspect of the subject and the reference point of our project. We are interested in the study of categories of models. We pursue our task by considering models of different theories and by investigating the corresponding categories of models they constitute. We analyse localizations (namely, fully faithful right adjoint functors whose left adjoint preserves finite limits) of algebraic categories and localizations of presheaf categories. These are still categories of models of the corresponding theory. We provide a classification of localizations and a classification of geometric morphisms (namely, functors together with a finite limit-preserving left adjoint), in both the presheaf and the algebraic context.

This thesis consists of two parts: a synthesis of the theory of categories enriched in a quantaloid; and a weakening of this theory for it to include semicategories describing ordered sheaves on a quantaloid. A synthesis of, and supplements to, results in the literature concerning the theory of categories enriched in a quantaloid Q (as particular case of categories enriched in a bicategory) is contained in the first chapters. This theory is built with Q-categories, functors and distributors, and contains such notions as, for example, adjoint functors, weighted colimits, presheaves, Kan extensions, Cauchy completions and Morita equivalence, and so on. The literature does not provide an overview of these matters, so it was necessary to provide one here. Then the necessary theory is developed to arrive at an elementary description of ``ordered sheaves on a quantaloid Q', henceforth referred to as Q-orders. As there is no ``topos of sheaves on a quantaloid', Q-orders cannot be defined as ordered objects in such a topos. Instead a description of Q-orders as categorical structures enriched in the quantaloid Q is proposed. The well-known ordered sheaves on a locale L (i.e.~ordered objects in the topos of sheaves on L) should of course be a particular example of the general theory, taking Q to be the (one-object suspension of) L. Then it turns out that the theory of Q-categories has to be weakened to include ``categories without units', i.e. Q-semicategories. But for Q-semicategories to admit a convenient distributor calculus, a ``regularity' condition has to be imposed. And for those regular Q-semicategories to admit a reasonable theory of Cauchy completions and Morita equivalence, the even stronger condition of ``total regularity' has to be imposed. The former notion has been studied before for semicategories enriched in a symmetric monoidal closed category; the latter notion is new, and is introduced via the intuitively clear idea of ``stability of objects'. The point is then that precisely the Cauchy complete totally regular Q-semicategories are the Q-orders; for a locale L they are indeed the ordered objects in the topos of sheaves on L. A (bi)equivalent description of those Q-orders can be given in terms of categories enriched in the split-idempotent completion of the quantaloid Q: a totally regular semicategory enriched in Q corresponds in a precise sense to a category enriched in the split-idempotent completion of Q. Applying this once more to a locale L instead of a quantaloid Q, these results thus deepen the work of the Louvain-la-Neuve school, and reconcile it with that of the Sydney school, on the description of (ordered) sheaves on a locale as enriched categorical structures. The extended introduction gives a compact yet intuitive presentation of the developments contained in the thesis.

We study complex analogues on Calabi-Yau manifolds of gauge theories on low dimensional real manifolds. In particular we define a holomorphic analogue of the Casson invariant, counting coherent sheaves on a Calabi-Yau 3-fold.

As pointed out by I. Moerdijk and G. Reyes in [63], C&#8734-rings have been studied specially for their use in Singularity Theory and in order to construct topos models for Synthetic Differential Geometry. In this work, we follow a complementary trail, deepening our knowledge about them through a more pure bias, making use of Category Theory and accounting them from a logical-categorial viewpoint. We begin by giving a comprehensive systematization of the fundamental facts of the (equational) theory of C&#8734-rings, widespread here and there in the current literature - mostly without proof - which underly the theory of C&#8734-rings. Next we develop some topics of what we call a &#8734Commutative Algebra, expanding some partial results of [66] and [67]. We make a systematic study of von Neumann-regular C&#8734-rings (following [2]) and we present some interesting results about them, together with their (functorial) relationship with Boolean spaces. We study some sheaf theoretic notions on C&#8734-rings, such as &#8734(locally)-ringed spaces and the smooth Zariski site. Finally we describe classifying toposes for the (algebraic) theory of &#8734 rings, the (coherent) theory of local C&#8734-rings and the (algebraic) theory of von Neumann regular C&#8734-rings. / Conforme observado por I. Moerdijk e G. Reyes em [63], os anéis C&#8734 têm sido estudados especialmente tendo em vista suas aplicações em Teoria de Singularidades e para construir toposes que sirvam de modelos para a Geometria Diferencial Sintética. Neste trabalho, seguimos um caminho complementar, aprofundando nosso conhecimento sobre eles por um viés mais puro, fazendo uso da Teoria das Categorias e os analisando a partir de pontos de vista algébrico e lógico-categorial. Iniciamos o trabalho apresentando uma sistematização abrangente dos fatos fundamentais da teoria (equacional) dos anéis C&#8734, distribuídos aqui e ali na literatura atual - a maioria sem demonstrações - mas que servem de base para a teoria. Na sequência, desenvolvemos alguns tópicos do que denominamos Álgebra Comutativa C&#8734, expandindo resultados parciais de [66] e [67]. Realizamos um estudo sistemático dos anéis C&#8734 von Neumann-regulares - na linha do estudo algébrico realizado em [2]- e apresentamos alguns resultados interessantes a seu respeito, juntamente com sua relação (funtorial) com os espaços booleanos. Estudamos algumas noções pertinentes à Teoria de Feixes para anéis &#8734, tais como espaços (localmente) &#8734anelados e o sítio de Zariski liso. Finalmente, descrevemos toposes classicantes para a teoria (algébrica) dos anéis C&#8734, a teoria (coerente) dos anéis locais C&#8734 e a teoria (algébrica) dos anéis C&#8734 von Neumann regulares.

As pointed out by I. Moerdijk and G. Reyes in [63], C&#8734-rings have been studied specially for their use in Singularity Theory and in order to construct topos models for Synthetic Differential Geometry. In this work, we follow a complementary trail, deepening our knowledge about them through a more pure bias, making use of Category Theory and accounting them from a logical-categorial viewpoint. We begin by giving a comprehensive systematization of the fundamental facts of the (equational) theory of C&#8734-rings, widespread here and there in the current literature - mostly without proof - which underly the theory of C&#8734-rings. Next we develop some topics of what we call a &#8734Commutative Algebra, expanding some partial results of [66] and [67]. We make a systematic study of von Neumann-regular C&#8734-rings (following [2]) and we present some interesting results about them, together with their (functorial) relationship with Boolean spaces. We study some sheaf theoretic notions on C&#8734-rings, such as &#8734(locally)-ringed spaces and the smooth Zariski site. Finally we describe classifying toposes for the (algebraic) theory of &#8734 rings, the (coherent) theory of local C&#8734-rings and the (algebraic) theory of von Neumann regular C&#8734-rings. / Conforme observado por I. Moerdijk e G. Reyes em [63], os anéis C&#8734 têm sido estudados especialmente tendo em vista suas aplicações em Teoria de Singularidades e para construir toposes que sirvam de modelos para a Geometria Diferencial Sintética. Neste trabalho, seguimos um caminho complementar, aprofundando nosso conhecimento sobre eles por um viés mais puro, fazendo uso da Teoria das Categorias e os analisando a partir de pontos de vista algébrico e lógico-categorial. Iniciamos o trabalho apresentando uma sistematização abrangente dos fatos fundamentais da teoria (equacional) dos anéis C&#8734, distribuídos aqui e ali na literatura atual - a maioria sem demonstrações - mas que servem de base para a teoria. Na sequência, desenvolvemos alguns tópicos do que denominamos Álgebra Comutativa C&#8734, expandindo resultados parciais de [66] e [67]. Realizamos um estudo sistemático dos anéis C&#8734 von Neumann-regulares - na linha do estudo algébrico realizado em [2]- e apresentamos alguns resultados interessantes a seu respeito, juntamente com sua relação (funtorial) com os espaços booleanos. Estudamos algumas noções pertinentes à Teoria de Feixes para anéis &#8734, tais como espaços (localmente) &#8734anelados e o sítio de Zariski liso. Finalmente, descrevemos toposes classicantes para a teoria (algébrica) dos anéis C&#8734, a teoria (coerente) dos anéis locais C&#8734 e a teoria (algébrica) dos anéis C&#8734 von Neumann regulares.

No description available.

Tropical geometry is algebraic geometry over the tropical semiring, or min-plus algebra. In this thesis, I discuss the basic geometry of plane tropical curves. By introducing the notion of abstract tropical curves, I am able to pass to a more abstract metric-topological setting. In this setting, I discuss divisors on tropical curves. I begin a study of $G$-invariant divisors and divisor classes.

No description available.

Diese Arbeit befasst sich mit der Entwicklung einer Theorie bedingter Mengen. Bedingte Mengenlehre ist reich genug um einen bedingten mathematischen Diskurs zu führen, dessen Möglichkeit wir durch die Konstruktion einer bedingten Topologielehre und bedingter reeller Analysis aufzeigen. Wir beweisen die bedingte Version folgender Sätze: Ultrafilterlemma, Tychonoff, Borel-Lebesgue, Heine-Borel, Bolzano-Weierstraß, und das Gaplemma von Debreu. Darüberhinaus beweisen wir die bedingte Version derjenigen Resultate der klassischen Mathematik, die in den Beweisen dieser Sätze benötigt werden, beginnend mit der Mengenlehre. Wir diskutieren die Verbindung von bedingter Mengenlehre zur Garben-, Topos- und L0-Theorie. / In this thesis, we develop a theory of conditional sets. Conditional set theory is sufficiently rich in order to allow for a conditional mathematical reasoning, the possibility of which we demonstrate by constructing a conditional general topology and a conditional real analysis. We prove the conditional version of the following theorems: Ultrafilter Lemma, Tychonoff, Borel-Lebesgue, Heine-Borel, Bolzano-Weierstraß, and Debreu’s Gap Lemma. Moreover, we prove the conditional version of those results in classical mathematics which are needed in the proofs of these theorems, starting from set theory. We discuss the connection of conditional set theory to sheaf, topos and L0-theory.

Começamos definindo a cohomologia clássica de De Rham e provamos alguns resultados que nos permitem calcular tal cohomologia de algumas variedades diferenciáveis. Com o intuito de provar o Teorema de De Rham, escolhemos fazer a demonstração utilizando a noção de feixes, que se mostra como uma generalização da ideia de cohomologia. Como a cohomologia de De Rham não é a única que se pode definir numa variedade, a questão da unicidade dá origem a teoria axiomática de feixes, que nos dará uma cohomologia para cada feixe dado. Mostraremos que a partir da teoria axiomática de feixes obtemos cohomologias, além das cohomologias clássicas de De Rham, a cohomologia clássica singular e a cohomologia clássica de Cech e mostraremos que essas cohomologias obtidas a partir da noção axiomática são isomorfas as definições clássicas. Concluiremos que se nos restringirmos a apenas variedades diferenciáveis, essas cohomologias são unicamente isomorfas e este será o teorema de De Rham. / We begin by defining De Rhams classical cohomology and we prove some results that allow us a calculation of the cohomology of some differentiable manifolds. In order to prove De Rhams Theorem, we chose to make a demonstration using a notion of sheaves, which is a generalization of the idea of cohomology. Since De Rhams cohomology is not a only one that can be made into a variety, the question of unicity gives rise to axiomatic theory of sheaves, which give us a cohomology for each sheaf given. We will show that from the axiomatic theory of sheaves we obtain cohomologies, besides the classical cohomologies of De Rham, a singular classical cohomology and a classical cohomology of Cech and we will show that cohomologies are obtained from the axiomatic notion are classic definitions. We will conclude that if we restrict ourselves to only differentiable manifolds, these cohomologies are uniquely isomorphic and this will be De Rhams theorem.