A fresh perspective on canonical extensions for bounded lattices
|
|
- Melvin Horn
- 5 years ago
- Views:
Transcription
1 A fresh perspective on canonical extensions for bounded lattices Mathematical Institute, University of Oxford Department of Mathematics, Matej Bel University Second International Conference on Order, Algebra and Logics Kraków, Poland 8 June 2011
2 Let L be a lattice and C a complete lattice with L isomorphic to a sublattice of C. Then C is a completion of L and C is a dense completion if any element of C can be expressed as both a meet of joins and join of meets of elements of L, C is a compact completion if for any filter F, and ideal I, of L, F I = there exist finite subsets F F and I I such that F I. A dense and compact completion C of L is called a canonical extension of L. Theorem (Gehrke & Harding, 2001) Every bounded lattice L has a canonical extension L δ, and this is unique up to an isomorphism which fixes L.
3 Construction of the canonical extension Gehrke & Harding construction uses a polarity between FiltL and IdlL. The original construction for Boolean algebras (Jónsson & Tarski, 1951) used Stone Duality. The canonical extension of a Boolean algebra, B, is the power set of its Stone space. We present a novel construction of the canonical extension of a bounded lattice L, based on hom-functors. This method has the advantage of simplifying the extension of lattice homomorphisms. The hom-functors act on morphisms by composition.
4 Canonical extensions for distributive lattices Let D be the variety of bounded distributive lattices. Canonical extensions for distributive lattices make use of Priestley duality. The underlying set of the dual space of L D is the set of prime filters. Let 2 = {0, 1};,. The set of prime filters of L can be identified with the set of distributive lattice homomorphisms from L into 2. Denote this D(L, 2). Theorem (Gehrke & Jónsson, 1994) For L D, the set of order-preserving maps from the Priestley dual space of L into 2 is a canonical extension of L. The variety of bounded lattices L is not finitely generated, so there is no natural duality available. However, we use a similar approach, and get hom-functors from L to the dual space and to the canonical extension.
5 Hom-functors for Priestley duality Let L D and consider the set D(L, 2). Define a topology T on D(L, 2) by subbasic open sets of the form V a = { f D(L, 2) f (a) = 1 } and V a = { f D(L, 2) f (a) = 0 } for a L. Let X be the category of compact totally order-disconnected (Priestley) spaces with continuous order-preserving maps as morphisms. The functor D: D X is defined by D(L) = (D(L, 2), T, ). Let 2 T be the two-element ordered set with the discrete topology. Given a Priestley space X = (X, T, ), the functor E: X D is defined by E(X) = (X (X, 2 T ),, ) where and are defined pointwise.
6 Hom-functors in the distributive case Let L D and let P be the category of posets with order-preserving maps as morphisms. The functor F : D P is defined by F(L) = (D(L, 2), ) Note: F is the composition of D and the forgetful functor. The functor G : P D is defined by G(P) = (P(P, 2 ),, ) L E D G F L = e L (L) = ED(L) L δ
7 Maximal partial E-preserving maps Let G be the category of graphs with edge-preserving maps and X = (X, E) a graph where E is a reflexive relation on X. Let ϕ: X 2 be a maximal partial E-preserving map. Then ϕ 1 (0) = { x X y ϕ 1 (1), (y, x) / E } ϕ 1 (1) = { x X y ϕ 1 (0), (x, y) / E } We order the set G mp (X, 2 ) by ϕ ψ ϕ 1 (1) ψ 1 (1) ψ 1 (0) ϕ 1 (0) Theorem The ordered set G(X) = ( G mp (X, 2 ), ) is a complete lattice.
8 Ploščica s representation of bounded lattices Let L L and 2 = {0, 1};,, 0, 1. Denote by L mp (L, 2) the maximal partial homomorphisms from L into 2. For f, g L mp (L, 2), (f, g) E ( a dom f dom g) (f (a) g(a)). Example: L = M 3. For x, y, z L, define 1 a b c 0 1 if z x f xy (z) = 0 if z y otherwise
9 Example of the relation E: L mp (M 3, 2) = { f ab, f ac, f bc, f ba, f ca, f cb }. f ab f cb f ca f ba f ac f bc Note: E not transitive, since (f bc, f ac ) E and (f ac, f ab ) E but (f bc, f ab ) / E.
10 Topology on L mp (L, 2): For a L, V a = { f L mp (L, 2) f (a) = 0 }, W a = { f L mp (L, 2) f (a) = 1 }. Let T be the topology having subbasic closed sets of the form V a, W a for a L.
11 Topological graphs: A graph X = (X, E) with a topology T is called a topological graph. For L L, let D(L) = (L mp (L, 2), T, E) and 2 T = {0, 1}, T,. Consider G T, the category of topological graphs with continuous E-preserving maps. Given D(L) and 2 T above, we will be interested in the maximal partial continuous E-preserving maps from D(L) to 2 T. We denote this set by G mp T (D(L), 2 T ).
12 Representation theorem: For f L mp (L, 2) and a L, define e a : L mp (L, 2) 2 T 1 if f (a) = 1 e a (f ) = 0 if f (a) = 0 otherwise by Theorem (Ploščica, 1995) The bounded lattice L is isomorphic to G mp T (D(L), 2 T ) via the isomorphism a e a (a L).
13 Canonical extensions using maximal partial maps: Let L L and let F(L) = (L mp (L, 2), E). Theorem The complete lattice G(F(L)) = ( G mp (F(L), 2 ), ) is a canonical extension of L.
14 Hom-functors acting on morphisms We want to replicate the distributive case. For L, K D, and u D(L, K), we have F(u): F(K) F(L), f f u. However, this will not work for non-surjective lattice homomorphisms.
15 Example of non-surjective homomorphism Let L = 3, K = M 3 and u : L K (u L (L, K)) with u(a) = b. 1 a 0 1 b c d 0 Consider f cd L mp (K, 2). Now f u : L 2 is defined as 1 if x = 1 (f u)(x) = if x = a 0 if x = 0 Clearly, f u / L mp (L, 2).
16 How do we solve this problem? We have to use an enlarged first dual in order to have well-defined hom-functors on non-surjective homomorphisms. This is used by Allwein & Hartonas (1993) for a duality theorem for bounded lattices. For L L, consider the set of all (not necessarily maximal) partial homomorphisms L p (L, 2). We define F : L G by F (L) = ( L p (L, 2), E ). Also, with C the category of complete lattices with complete lattice homomorphisms, consider G : G C G(X) = ( G mp (X, 2 ),, ). Proposition Let L be a bounded lattice with F(L) = (L mp (L, 2), E) and F (L) = (L p (L, 2), E). Then the complete lattices G mp (F(L), 2 ) and G mp (F (L), 2 ) are order-isomorphic.
17 Hom-functors acting on morphisms Let u : L K be a lattice homomorphism. Then for x L p (K, 2), we define ( F (u) ) (x) = x u. It is easy to show that for any x L p (K, 2,), we have x u L p (L, 2). Similarly for graphs X and Y, and v G (X, Y), define for ϕ G mp (Y, 2 ), ( G(v) ) (ϕ) = ϕ v.
18 Extending lattice homomorphisms For { ϕ i i I } G mp (F (L), 2 ) meets and joins are defined for x L p (L, 2) by ( ( i I ϕ i i I ϕ i ) (x) = {1 if x i I ϕ 1 i (1), 0 if there is no y i I ϕ 1 i (1) with (y, x) E; ) (x) = {1 if there is no y i I ϕ 1 i (0) with (x, y) E, 0 if x i I ϕ 1 i (0). Theorem Let u : L K be a lattice homomorphism. Then GF (u) : L δ K δ is a complete lattice homomorphism.
19 Proof. Let x L p (K, 2) and { ϕ i i I } G mp (F (L), 2). Then x ( i I (G F (u)(ϕ i )) ) 1 (1) x (G F (u)(ϕ i )) 1 (1) i I ( i I ) ϕ i (F (u)(x)) = 1 ( i I ) ϕ i (x u) = 1 x u i ) i I(ϕ 1 (1) x u ( 1(1) i I ϕ i) ( i I ϕ i) (x u) = 1 ( i I ϕ i) (F (u)(x)) = 1 x ( G F (u)( i I ϕ i) ) 1 (1).
Canonical extensions and the intermediate structure
Canonical extensions and the intermediate structure Andrew Craig Mathematical Institute, Oxford University Workshop on Lattices, Relations and Kleene Algebras UCL 21 September 2010 Let L be a lattice and
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More informationLattice Theory Lecture 5. Completions
Lattice Theory Lecture 5 Completions John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Completions Definition A completion of a poset P
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationRelational semantics for a fragment of linear logic
Relational semantics for a fragment of linear logic Dion Coumans March 4, 2011 Abstract Relational semantics, given by Kripke frames, play an essential role in the study of modal and intuitionistic logic.
More informationA VIEW OF CANONICAL EXTENSION
A VIEW OF CANONICAL EXTENSION MAI GEHRKE AND JACOB VOSMAER Abstract. This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological
More informationarxiv: v1 [math.lo] 10 Sep 2013
STONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION arxiv:1309.2422v1 [math.lo] 10 Sep 2013 MAI GEHRKE Abstract. Our main result is that any topological algebra based on a Boolean space is the extended
More informationA topological duality for posets
A topological duality for posets RAMON JANSANA Universitat de Barcelona join work with Luciano González TACL 2015 Ischia, June 26, 2015. R. Jansana 1 / 20 Introduction In 2014 M. A. Moshier and P. Jipsen
More informationTopological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions
Topological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions M. Andrew Moshier and Peter Jipsen 1. Introduction The two main objectives of this paper are (a) to
More informationA duality-theoretic approach to MTL-algebras
A duality-theoretic approach to MTL-algebras Sara Ugolini (Joint work with W. Fussner) BLAST 2018 - Denver, August 6th 2018 A commutative, integral residuated lattice, or CIRL, is a structure A = (A,,,,,
More informationAdjunctions! Everywhere!
Adjunctions! Everywhere! Carnegie Mellon University Thursday 19 th September 2013 Clive Newstead Abstract What do free groups, existential quantifiers and Stone-Čech compactifications all have in common?
More informationDuality in Logic. Duality in Logic. Lecture 2. Mai Gehrke. Université Paris 7 and CNRS. {ε} A ((ab) (ba) ) (ab) + (ba) +
Lecture 2 Mai Gehrke Université Paris 7 and CNRS A {ε} A ((ab) (ba) ) (ab) + (ba) + Further examples - revisited 1. Completeness of modal logic with respect to Kripke semantics was obtained via duality
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationNotes about Filters. Samuel Mimram. December 6, 2012
Notes about Filters Samuel Mimram December 6, 2012 1 Filters and ultrafilters Definition 1. A filter F on a poset (L, ) is a subset of L which is upwardclosed and downward-directed (= is a filter-base):
More informationMIXING MODAL AND SUFFICIENCY OPERATORS
Bulletin of the Section of Logic Volume 28/2 (1999), pp. 99 107 Ivo Düntsch Ewa Or lowska MIXING MODAL AND SUFFICIENCY OPERATORS Abstract We explore Boolean algebras with sufficiency operators, and investigate
More informationA general Stone representation theorem
arxiv:math/0608384v1 [math.lo] 15 Aug 2006 A general Stone representation theorem Mirna; after a paper by A. Jung and P. Sünderhauf and notes by G. Plebanek September 10, 2018 This note contains a Stone-style
More informationAn algebraic approach to Gelfand Duality
An algebraic approach to Gelfand Duality Guram Bezhanishvili New Mexico State University Joint work with Patrick J Morandi and Bruce Olberding Stone = zero-dimensional compact Hausdorff spaces and continuous
More informationSTONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION
STONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION Mai Gehrke To cite this version: Mai Gehrke. STONE DUALITY, TOPOLOGICAL ALGEBRA, AND RECOGNITION. Journal of Pure and Applied Algebra, Elsevier, 2016.
More informationCONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.
CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.
More informationCategory Theory (UMV/TK/07)
P. J. Šafárik University, Faculty of Science, Košice Project 2005/NP1-051 11230100466 Basic information Extent: 2 hrs lecture/1 hrs seminar per week. Assessment: Written tests during the semester, written
More informationCanonical extension of coherent categories
Canonical extension of coherent categories Dion Coumans Radboud University Nijmegen Topology, Algebra and Categories in Logic (TACL) Marseilles, July 2011 1 / 33 Outline 1 Canonical extension of distributive
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationMV-algebras and fuzzy topologies: Stone duality extended
MV-algebras and fuzzy topologies: Stone duality extended Dipartimento di Matematica Università di Salerno, Italy Algebra and Coalgebra meet Proof Theory Universität Bern April 27 29, 2011 Outline 1 MV-algebras
More informationHouston Journal of Mathematics. c 2004 University of Houston Volume 30, No. 4, 2004
Houston Journal of Mathematics c 2004 University of Houston Volume 30, No. 4, 2004 MACNEILLE COMPLETIONS OF HEYTING ALGEBRAS JOHN HARDING AND GURAM BEZHANISHVILI Communicated by Klaus Kaiser Abstract.
More informationBOOLEAN TOPOLOGICAL DISTRIBUTIVE LATTICES AND CANONICAL EXTENSIONS
BOOLEAN TOPOLOGICAL DISTRIBUTIVE LATTICES AND CANONICAL EXTENSIONS B. A. DAVEY, M. HAVIAR AND H. A. PRIESTLEY Abstract. This paper presents a unified account of a number of dual category equivalences of
More informationCompletions of Ordered Algebraic Structures A Survey
Completions of Ordered Algebraic Structures A Survey John Harding New Mexico State University www.math.nmsu.edu/johnharding.html jharding@nmsu.edu UncLog-2008 JAIST, March 2008 This is a survey of results
More informationA Natural Equivalence for the Category of Coherent Frames
A Natural Equivalence for the Category of Coherent Frames Wolf Iberkleid and Warren Wm. McGovern Abstract. The functor on the category of bounded lattices induced by reversing their order, gives rise to
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationTopological Duality and Algebraic Completions
Topological Duality and Algebraic Completions Mai Gehrke Abstract In this chapter we survey some developments in topological duality theory and the theory of completions for lattices with additional operations
More informationDuality for first order logic
Duality for first order logic Dion Coumans Radboud University Nijmegen Aio-colloquium, June 2010 Outline 1 Introduction to logic and duality theory 2 Algebraic semantics for classical first order logic:
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
More informationComputing Spectra via Dualities in the MTL hierarchy
Computing Spectra via Dualities in the MTL hierarchy Diego Valota Department of Computer Science University of Milan valota@di.unimi.it 11th ANNUAL CECAT WORKSHOP IN POINTFREE MATHEMATICS Overview Spectra
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More informationAn adjoint construction for topological models of intuitionistic modal logic Extended abstract
An adjoint construction for topological models of intuitionistic modal logic Extended abstract M.J. Collinson, B.P. Hilken, D.E. Rydeheard April 2003 The purpose of this paper is to investigate topological
More informationGiven a lattice L we will note the set of atoms of L by At (L), and with CoAt (L) the set of co-atoms of L.
ACTAS DEL VIII CONGRESO DR. ANTONIO A. R. MONTEIRO (2005), Páginas 25 32 SOME REMARKS ON OCKHAM CONGRUENCES LEONARDO CABRER AND SERGIO CELANI ABSTRACT. In this work we shall describe the lattice of congruences
More informationThe prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce
The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationQuasi-primal Cornish algebras
1 / 26 Quasi-primal Cornish algebras Brian A. Davey and Asha Gair La Trobe University Australia TACL, 24 June 2015 Ischia 2 / 26 Why quasi-primal algebras? Why Cornish algebras? Priestley duality for Cornish
More informationVarieties of Heyting algebras and superintuitionistic logics
Varieties of Heyting algebras and superintuitionistic logics Nick Bezhanishvili Institute for Logic, Language and Computation University of Amsterdam http://www.phil.uu.nl/~bezhanishvili email: N.Bezhanishvili@uva.nl
More informationUNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS
Bulletin of the Section of Logic Volume 32:1/2 (2003), pp. 19 26 Wojciech Dzik UNITARY UNIFICATION OF S5 MODAL LOGIC AND ITS EXTENSIONS Abstract It is shown that all extensions of S5 modal logic, both
More informationDUALITIES, NATURAL AND OTHERWISE GAIA With acknowledgements, in particular, to Brian Davey and Leonardo Cabrer
DUALITIES, NATURAL AND OTHERWISE Hilary Priestley Mathematical Institute, University of Oxford GAIA 2013 With acknowledgements, in particular, to Brian Davey and Leonardo Cabrer From Brian Davey s La Trobe
More informationSPECTRAL-LIKE DUALITY FOR DISTRIBUTIVE HILBERT ALGEBRAS WITH INFIMUM
SPECTRAL-LIKE DUALITY FOR DISTRIBUTIVE HILBERT ALGEBRAS WITH INFIMUM SERGIO A. CELANI AND MARÍA ESTEBAN Abstract. Distributive Hilbert Algebras with infimum, or DH -algebras, are algebras with implication
More informationA Duality for Distributive Unimodal Logic
A Duality for Distributive Unimodal Logic Adam Přenosil 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Pod vodárenskou věží 271/2, 182 00 Praha Abstract We introduce distributive
More informationGENERALIZED JOIN-HEMIMORPHISMS ON BOOLEAN ALGEBRAS
IJMMS 2003:11, 681 693 PII. S016117120311112X http://ijmms.hindawi.com Hindawi Publishing Corp. GENERALIZED JOIN-HEMIMORPHISMS ON BOOLEAN ALGEBRAS SERGIO CELANI Received 14 November 2001 We introduce the
More informationOn the Structure of Rough Approximations
On the Structure of Rough Approximations (Extended Abstract) Jouni Järvinen Turku Centre for Computer Science (TUCS) Lemminkäisenkatu 14 A, FIN-20520 Turku, Finland jjarvine@cs.utu.fi Abstract. We study
More informationDistributive Lattices with Quantifier: Topological Representation
Chapter 8 Distributive Lattices with Quantifier: Topological Representation Nick Bezhanishvili Department of Foundations of Mathematics, Tbilisi State University E-mail: nickbezhanishvilli@netscape.net
More informationExercises on chapter 0
Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that
More informationPartially ordered monads and powerset Kleene algebras
Partially ordered monads and powerset Kleene algebras Patrik Eklund 1 and Werner Gähler 2 1 Umeå University, Department of Computing Science, SE-90187 Umeå, Sweden peklund@cs.umu.se 2 Scheibenbergstr.
More informationTense Operators on m Symmetric Algebras
International Mathematical Forum, Vol. 6, 2011, no. 41, 2007-2014 Tense Operators on m Symmetric Algebras Aldo V. Figallo Universidad Nacional de San Juan. Instituto de Ciencias Básicas Avda. I. de la
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationA bitopological point-free approach to compactifications
A bitopological point-free approach to compactifications Olaf Karl Klinke a, Achim Jung a, M. Andrew Moshier b a School of Computer Science University of Birmingham Birmingham, B15 2TT England b School
More informationPointless Topology. Seminar in Analysis, WS 2013/14. Georg Lehner ( ) May 3, 2015
Pointless Topology Seminar in Analysis, WS 2013/14 Georg Lehner (1125178) May 3, 2015 Starting with the motivating example of Stone s representation theorem that allows one to represent Boolean algebras
More informationLattice-ordered Groups
Chapter 2 Lattice-ordered Groups In this chapter we present the most basic parts of the theory of lattice-ordered groups. Though our main concern will eventually be with abelian groups it is not appreciably
More informationA Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries
A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries Johannes Marti and Riccardo Pinosio Draft from April 5, 2018 Abstract In this paper we present a duality between nonmonotonic
More informationA Grothendieck site is a small category C equipped with a Grothendieck topology T. A Grothendieck topology T consists of a collection of subfunctors
Contents 5 Grothendieck topologies 1 6 Exactness properties 10 7 Geometric morphisms 17 8 Points and Boolean localization 22 5 Grothendieck topologies A Grothendieck site is a small category C equipped
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationSkew Boolean algebras
Skew Boolean algebras Ganna Kudryavtseva University of Ljubljana Faculty of Civil and Geodetic Engineering IMFM, Ljubljana IJS, Ljubljana New directions in inverse semigroups Ottawa, June 2016 Plan of
More informationReview of category theory
Review of category theory Proseminar on stable homotopy theory, University of Pittsburgh Friday 17 th January 2014 Friday 24 th January 2014 Clive Newstead Abstract This talk will be a review of the fundamentals
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More information10. Finite Lattices and their Congruence Lattices. If memories are all I sing I d rather drive a truck. Ricky Nelson
10. Finite Lattices and their Congruence Lattices If memories are all I sing I d rather drive a truck. Ricky Nelson In this chapter we want to study the structure of finite lattices, and how it is reflected
More informationCategory Theory. Course by Dr. Arthur Hughes, Typset by Cathal Ormond
Category Theory Course by Dr. Arthur Hughes, 2010 Typset by Cathal Ormond Contents 1 Types, Composition and Identities 3 1.1 Programs..................................... 3 1.2 Functional Laws.................................
More informationSECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES
SECTION 2: THE COMPACT-OPEN TOPOLOGY AND LOOP SPACES In this section we will give the important constructions of loop spaces and reduced suspensions associated to pointed spaces. For this purpose there
More informationDuality in Logic and Computation
Duality in Logic and Computation Prakash Panangaden 1 1 School of Computer Science McGill University IEEE Symposium On Logic In Computer Science, June 2013 Panangaden (McGill University) Duality in Logic
More informationOn k-groups and Tychonoff k R -spaces (Category theory for topologists, topology for group theorists, and group theory for categorical topologists)
On k-groups and Tychonoff k R -spaces 0 On k-groups and Tychonoff k R -spaces (Category theory for topologists, topology for group theorists, and group theory for categorical topologists) Gábor Lukács
More informationPriestley Duality for Bilattices
A. Jung U. Rivieccio Priestley Duality for Bilattices In memoriam Leo Esakia Abstract. We develop a Priestley-style duality theory for different classes of algebras having a bilattice reduct. A similar
More informationLECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES
LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES VIVEK SHENDE Historically, sheaves come from topology and analysis; subsequently they have played a fundamental role in algebraic geometry and certain
More informationarxiv: v2 [math.lo] 25 Jul 2017
Luca Carai and Silvio Ghilardi arxiv:1702.08352v2 [math.lo] 25 Jul 2017 Università degli Studi di Milano, Milano, Italy luca.carai@studenti.unimi.it silvio.ghilardi@unimi.it July 26, 2017 Abstract The
More informationCompletions of Ordered Algebraic Structures: A Survey
Completions of Ordered Algebraic Structures: A Survey John Harding Department of Mathematical Sciences New Mexico State University Las Cruces, NM 88003 E-mail: jharding@nmsu.edu Http://www.math.nmsu.edu/
More informationUniversity of Oxford, Michaelis November 16, Categorical Semantics and Topos Theory Homotopy type theor
Categorical Semantics and Topos Theory Homotopy type theory Seminar University of Oxford, Michaelis 2011 November 16, 2011 References Johnstone, P.T.: Sketches of an Elephant. A Topos-Theory Compendium.
More informationAlgebraic duality for partially ordered sets
arxiv:math/0002025v1 [math.ct] 3 Feb 2000 Algebraic duality for partially ordered sets Roman R. Zapatrin Department of Mathematics, SPb UEF, Griboyedova 30/32, 191023, St-Petersburg, Russia and Division
More informationModal logic and the Vietoris functor
Modal logic and the Vietoris functor Yde Venema and Jacob Vosmaer Dedicated to the memory of Leo Esakia, who was and will remain a great source of inspiration, both as a logician and as a person Abstract
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture I Set-up. Let K be an algebraically closed field. By convention all our algebraic groups will be linear algebraic
More informationQUASI-MODAL ALGEBRAS
126 2001) MATHEMATICA BOHEMICA No. 4, 721 736 QUASI-MODAL ALGEBAS Sergio Celani, Tandil eceived October 22, 1999) Abstract. In this paper we introduce the class of Boolean algebras with an operator between
More informationDistributive Substructural Logics as Coalgebraic Logics over Posets
Distributive Substructural Logics as Coalgebraic Logics over Posets Marta Bílková, Rostislav Horčík 1 Institute of Computer Science, Academy of Sciences of the Czech Republic Jiří Velebil 1 Faculty of
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationCongruence lattices and Compact Intersection Property
Congruence lattices and Compact Intersection Property Slovak Academy of Sciences, Košice June 8, 2013 Congruence lattices Problem. For a given class K of algebras describe Con K =all lattices isomorphic
More informationTopos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos
Lectures 21 and 22: toposes of 2 / 30 Toposes as mathematical universes of Recall that every Grothendieck topos E is an elementary topos. Thus, given the fact that arbitrary colimits exist in E, we can
More informationCoreflections in Algebraic Quantum Logic
Coreflections in Algebraic Quantum Logic Bart Jacobs Jorik Mandemaker Radboud University, Nijmegen, The Netherlands Abstract Various generalizations of Boolean algebras are being studied in algebraic quantum
More informationLogics for Compact Hausdorff Spaces via de Vries Duality
Logics for Compact Hausdorff Spaces via de Vries Duality Thomas Santoli ILLC, Universiteit van Amsterdam June 16, 2016 Outline Main goal: developing a propositional calculus for compact Hausdorff spaces
More informationType Classification of Unification Problems over Distributive Lattices and De Morgan Algebras
Type Classification of Unification Problems over Distributive Lattices and De Morgan Algebras Simone Bova Vanderbilt University (Nashville TN, USA) joint work with Leonardo Cabrer AMS Western Section Meeting
More informationLectures on Galois Theory. Some steps of generalizations
= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame
More information8. Distributive Lattices. Every dog must have his day.
8. Distributive Lattices Every dog must have his day. In this chapter and the next we will look at the two most important lattice varieties: distributive and modular lattices. Let us set the context for
More informationModules over a Scheme
Modules over a Scheme Daniel Murfet October 5, 2006 In these notes we collect various facts about quasi-coherent sheaves on a scheme. Nearly all of the material is trivial or can be found in [Gro60]. These
More informationC -ALGEBRAS MATH SPRING 2015 PROBLEM SET #6
C -ALGEBRAS MATH 113 - SPRING 2015 PROBLEM SET #6 Problem 1 (Positivity in C -algebras). The purpose of this problem is to establish the following result: Theorem. Let A be a unital C -algebra. For a A,
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
More informationUnification and Projectivity in De Morgan and Kleene Algebras
Unification and Projectivity in De Morgan and Kleene Algebras Simone Bova Institut für Informationssysteme Technische Universität Wien (Wien, Austria) simone.bova@tuwien.ac.at Leonardo Cabrer Mathematics
More informationModal and Intuitionistic Natural Dualities via the Concept of Structure Dualizability
via the Concept of Structure Dualizability Kyoto University, Japan http://researchmap.jp/ymaruyama TACL, Marseille, July 26-30, 2011 Outline 1 TND does not subsume JT, KKV, or Esakia dualities 2 New Notions:
More informationBoolean Algebra. Sungho Kang. Yonsei University
Boolean Algebra Sungho Kang Yonsei University Outline Set, Relations, and Functions Partial Orders Boolean Functions Don t Care Conditions Incomplete Specifications 2 Set Notation $09,3/#0,9 438 v V Element
More information1 Categorical Background
1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,
More informationLecture 1: Lattice(I)
Discrete Mathematics (II) Spring 207 Lecture : Lattice(I) Lecturer: Yi Li Lattice is a special algebra structure. It is also a part of theoretic foundation of model theory, which formalizes the semantics
More informationWhat s category theory, anyway? Dedicated to the memory of Dietmar Schumacher ( )
What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher (1935-2014) Robert Paré November 7, 2014 Many subjects How many subjects are there in mathematics? Many subjects How many subjects
More informationTOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES. Closed categories and Banach spaces
CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES MICHAEL BARR Closed categories and Banach spaces Cahiers de topologie et géométrie différentielle catégoriques, tome 17, n o 4 (1976), p. 335-342.
More informationNegation from the perspective of neighborhood semantics
Negation from the perspective of neighborhood semantics Junwei Yu Abstract This paper explores many important properties of negations using the neighborhood semantics. We generalize the correspondence
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationDuality and recognition
Duality and recognition Mai Gehrke Radboud University Nijmegen, The Netherlands Abstract. The fact that one can associate a finite monoid with universal properties to each language recognised by an automaton
More information