Infinite-dimensionality in quantum foundations
|
|
- Gloria Rich
- 6 years ago
- Views:
Transcription
1 nfinite-dimensionality in quantum foundations W*-algebras as presheaves over matrix algebras Robert Furber (Aalborg University) Mathys Rennela (Radboud University) Sam Staton (Oxford University) QPL 16 Friday 10 June 2016 Page 1 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
2 Outline Key steps of the proof Related work Summary Page 2 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
3 Where we are, sofar Key steps of the proof Related work Summary
4 Overview of the talk W -Alg CP, category of W*-algebras together with completely positive maps. N CP, category of natural numbers n, seen as the algebra of n n complex matrices, and completely positive maps (CP-maps) between them. Set, category of sets and functions. Page 3 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
5 Overview of the talk W -Alg CP, category of W*-algebras together with completely positive maps. N CP, category of natural numbers n, seen as the algebra of n n complex matrices, and completely positive maps (CP-maps) between them. Set, category of sets and functions. Theorem: The hom-set functor W -Alg CP ( is full and faithful., =) : W -Alg op CP! [N CP, Set] Page 3 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
6 Overview of the talk W -Alg CP, category of W*-algebras together with completely positive maps. N CP, category of natural numbers n, seen as the algebra of n n complex matrices, and completely positive maps (CP-maps) between them. Set, category of sets and functions. Theorem: The hom-set functor W -Alg CP ( is full and faithful., =) : W -Alg op CP! [N CP, Set] What is the intuition behind this theorem? Page 3 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
7 Algebra of complex matrices C*-algebra: algebra of physical observables. ntuition: Measurable quantities of a physical system. Page 4 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
8 Algebra of complex matrices C*-algebra: algebra of physical observables. ntuition: Measurable quantities of a physical system. N CP, category of natural numbers n (seen as M n )andcp-maps. M n,c*-algebraofn n complex matrices. M k (M l ) = M k l ntuition: M k represents k possibly-entangled copies of C. Page 4 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
9 Algebra of complex matrices C*-algebra: algebra of physical observables. ntuition: Measurable quantities of a physical system. N CP, category of natural numbers n (seen as M n )andcp-maps. M n,c*-algebraofn n complex matrices. M k (M l ) = M k l ntuition: M k represents k possibly-entangled copies of C. M k (A), C*-algebraofk k matrices whose entries are in the C*-algebra A. ntuition: as a vector space, M k (A) is M k A. Page 4 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
10 Quantum channels = completely positive maps Alinearmapf : A! B is completely positive if it is n-positive for every n 2 N, i.e. the following map is positive for every n 2 N: M n (f ): M n (A)! M n (B) [x i,j ] i,japplen 7! [f (x i,j )] i,japplen Page 5 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
11 Quantum channels = completely positive maps Alinearmapf : A! B is completely positive if it is n-positive for every n 2 N, i.e. the following map is positive for every n 2 N: M n (f ): M n (A)! M n (B) [x i,j ] i,japplen 7! [f (x i,j )] i,japplen ntuition: Quantum channels, i.e. communication channels which transmit quantum information. Page 5 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
12 Quantum channels = completely positive maps Alinearmapf : A! B is completely positive if it is n-positive for every n 2 N, i.e. the following map is positive for every n 2 N: M n (f ): M n (A)! M n (B) [x i,j ] i,japplen 7! [f (x i,j )] i,japplen ntuition: Quantum channels, i.e. communication channels which transmit quantum information. Complete positivity is at the core of quantum computation Page 5 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
13 W*-algebras W*-algebras: C*-algebras with nice domain-theoretic properties. Example: the poset of positive elements below the unit forms a dcpo. Page 6 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
14 W*-algebras W*-algebras: C*-algebras with nice domain-theoretic properties. Example: the poset of positive elements below the unit forms a dcpo. Examples of W*-algebras All finite dimensional C*-algebras. Every algebra of bounded operators B(H) on any Hilbert space H. Every function space L 1 (X ) for any standard measure space X. The space `1(N) of bounded sequences. Page 6 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
15 W*-algebras W*-algebras: C*-algebras with nice domain-theoretic properties. Example: the poset of positive elements below the unit forms a dcpo. Examples of W*-algebras All finite dimensional C*-algebras. Every algebra of bounded operators B(H) on any Hilbert space H. Every function space L 1 (X ) for any standard measure space X. The space `1(N) of bounded sequences. Categories of W*-algebras W -Alg CP : category of W*-algebras and (normal) CP-maps W -Alg P : category of W*-algebras and (normal) positive maps Page 6 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
16 nfinite-dimensional structures: why should we care? Page 7 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
17 nfinite-dimensional structures: why should we care? Argument 1: Benefit from the full power of the theory of operator algebras. Page 7 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
18 nfinite-dimensional structures: why should we care? Argument 1: Benefit from the full power of the theory of operator algebras. Argument 2: nfinite dimensionality arise naturally in quantum field theory [Zeidler, 2008]. Page 7 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
19 nfinite-dimensional structures: why should we care? Argument 1: Benefit from the full power of the theory of operator algebras. Argument 2: nfinite dimensionality arise naturally in quantum field theory [Zeidler, 2008]. Argument 3: The register space in a scalable quantum computer arguably has an infinite dimensional aspect [Ralph et al., 2003]. Page 7 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
20 nfinite-dimensional structures: why should we care? Argument 1: Benefit from the full power of the theory of operator algebras. Argument 2: nfinite dimensionality arise naturally in quantum field theory [Zeidler, 2008]. Argument 3: The register space in a scalable quantum computer arguably has an infinite dimensional aspect [Ralph et al., 2003]. Argument 4: nfinite dimensionality comes into play in Quantum PL (e.g. [Gielerak and Sawerwain, 2010, Rennela and Staton, 2015]). Page 7 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
21 W -Alg CP, category of W*-algebras and CP-maps. N CP, category of natural numbers n (seen as M n )andcp-maps. Set, category of sets and functions. Theorem: The hom-set functor H = W -Alg CP (, =) : W -Alg op CP! [N CP, Set] is full and faithful, i.e. for A, B W*-algebras. W -Alg op CP (A, B) = [N CP, Set](H(A), H(B)) Page 8 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
22 Rewording The hom-set functor W -Alg CP (, =) : W -Alg op CP! [N CP, Set] is full and faithful. Page 9 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
23 Rewording The hom-set functor W -Alg CP (, =) : W -Alg op CP! [N CP, Set] is full and faithful. Matrix algebras are dense in W*-algebras. Page 9 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
24 Rewording The hom-set functor W -Alg CP (, =) : W -Alg op CP! [N CP, Set] is full and faithful. Matrix algebras are dense in W*-algebras. More precisely: All W*-algebras are canonical colimits of diagrams of matrix algebras and completely positive maps. Page 9 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
25 Rewording The hom-set functor W -Alg CP (, =) : W -Alg op CP! [N CP, Set] is full and faithful. Matrix algebras are dense in W*-algebras. More precisely: All W*-algebras are canonical colimits of diagrams of matrix algebras and completely positive maps. ntuition: n operator-theoretic categorical quantum foundations, finite-dimensional quantum structures can approximate their infinite-dimensional counterparts. Page 9 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations
26 Where we are, sofar Key steps of the proof Related work Summary
27 Key steps Page 10 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
28 Key steps (1) W -Alg CP! [N CP, W -Alg P ] is a full and faithful functor. Page 10 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
29 Key steps (1) W -Alg CP! [N CP, W -Alg P ] is a full and faithful functor. (2) W -Alg P (, C) :W -Alg op P! Cone is a full and faithful functor. Page 10 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
30 Key steps (1) W -Alg CP! [N CP, W -Alg P ] is a full and faithful functor. (2) W -Alg P (, C) :W -Alg op P (3) Natural maps in! Cone is a full and faithful functor. [N CP, Set] = [FdC -Alg CP, Set] are cone homomorphisms since FdCC -Alg CP, category of commutative C*-algebras, is equivalent to the Lawvere theory of abstract cones. Page 10 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
31 Key steps (1) W -Alg CP! [N CP, W -Alg P ] is a full and faithful functor. (2) W -Alg P (, C) :W -Alg op P (3) Natural maps in! Cone is a full and faithful functor. [N CP, Set] = [FdC -Alg CP, Set] are cone homomorphisms since FdCC -Alg CP, category of commutative C*-algebras, is equivalent to the Lawvere theory of abstract cones. Result: W -Alg CP (, =) : W -Alg op CP! [N CP, Set] is full and faithful. Page 10 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
32 Variation on [Rennela and Staton, 2015] Full and faithful functor M : W -Alg CP! [N CP, W -Alg P ] (C*-algebra) 7! (indexed family of C*-algebras) M(A) ={M n (A)} n (CP-map) 7! (natural family of positive maps) M(A f! B) ={M n (A) Mn(f )! M n (B)} n (Faithfulness is obvious. Fullness is more involved and requires the use of stabilizer states.) Page 11 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
33 W*-algebras as cones The homset W -Alg P (A, C) of positive linear functionals of a W*-algebra A is a cone, i.e. a module for the semiring of positive reals. The normal positive linear functional functor W -Alg P (, C) :W -Alg op P! Cone is full and faithful, where Cone is the category of cones and structure preserving functions between them. (Fullness essentially comes from the fact that the closedness and completeness of the positive cone imply that every positive linear map A! C is bounded (see e.g. [Namioka, 1957] or[schaefer, 1966, Th. V.5.5(ii)]).) Page 12 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
34 Lawvere and the cones FdC -Alg CP, category of all finite dimensional C*-algebras and completely positive maps. [N CP, Set] ' [FdC -Alg CP, Set] Page 13 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
35 Lawvere and the cones FdC -Alg CP, category of all finite dimensional C*-algebras and completely positive maps. [N CP, Set] ' [FdC -Alg CP, Set] FdCC -Alg CP, category of commutative finite-dimensional C*-algebras and completely positive maps. FdCC -Alg CP is equivalent to the Lawvere theory for abstract cones. [Furber and Jacobs, 2013, Prop. 4.3] Page 13 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
36 Lawvere and the cones FdC -Alg CP, category of all finite dimensional C*-algebras and completely positive maps. [N CP, Set] ' [FdC -Alg CP, Set] FdCC -Alg CP, category of commutative finite-dimensional C*-algebras and completely positive maps. FdCC -Alg CP is equivalent to the Lawvere theory for abstract cones. [Furber and Jacobs, 2013, Prop. 4.3] Consequence: Cone, category of cones, is a full subcategory of the category [FdCC -Alg CP, Set]. Page 13 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
37 Future work Study precisely the construction of W*-algebras as colimits. Page 14 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
38 Future work Study precisely the construction of W*-algebras as colimits. Characterize which presheaves on N CP correspond to W*-algebras. Page 14 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
39 Future work Study precisely the construction of W*-algebras as colimits. Characterize which presheaves on N CP correspond to W*-algebras. Link with Tobias Fritz perspective on infinite-dimensionality? [Fritz, 2013] Page 14 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
40 Future work Study precisely the construction of W*-algebras as colimits. Characterize which presheaves on N CP correspond to W*-algebras. Link with Tobias Fritz perspective on infinite-dimensionality? [Fritz, 2013] Tensor product as the unique extension of the standard tensor product of matrix algebras that preserves colimits of CP-maps in each argument. [Day, 1970] Page 14 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Key steps of the proof
41 Where we are, sofar Key steps of the proof Related work Summary
42 Colimits in operator theory AF C*-algebras are limits of directed diagrams of finite-dimensional C*-algebras and *-homomorphisms [Bratteli, 1972]. n a dual direction, C*-algebras and *-homomorphisms form a locally presentable category [Pelletier and Rosický, 1993]. Page 15 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Related work
43 (Quantum) PL Defining computational constructs on dense subcategories is increasingly common (e.g. [Melliès, 2010]). Page 16 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Related work
44 (Quantum) PL Defining computational constructs on dense subcategories is increasingly common (e.g. [Melliès, 2010]). [Malherbe et al., 2013] [Q op, Set] with Q related to N CP : Q is the category of finite sequences of finite-dimensional Hilbert spaces and trace non-increasing completely positive maps. Our result is a link between their proposal and operator theory. Page 16 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Related work
45 (Quantum) PL Defining computational constructs on dense subcategories is increasingly common (e.g. [Melliès, 2010]). [Malherbe et al., 2013] [Q op, Set] with Q related to N CP : Q is the category of finite sequences of finite-dimensional Hilbert spaces and trace non-increasing completely positive maps. Our result is a link between their proposal and operator theory. [Pagani et al., 2014] N CP (biproduct completion of N CP ). Can we think about objects of this category as W*-algebras? Page 16 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Related work
46 Contextuality Density theorems also appear in contextuality. Page 17 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Related work
47 Contextuality Density theorems also appear in contextuality. Boolean algebras are dense in effect algebras. [Staton and Uijlen, 2015] Compact Hausdorff spaces are dense in piecewise C*-algebras. [Flori and Fritz, 2016, Thm. 4.5] ntuition: base category as a classical perspective. Page 17 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Related work
48 Contextuality Density theorems also appear in contextuality. Boolean algebras are dense in effect algebras. [Staton and Uijlen, 2015] Compact Hausdorff spaces are dense in piecewise C*-algebras. [Flori and Fritz, 2016, Thm. 4.5] ntuition: base category as a classical perspective. How to study tensor products of C*/W*-algebras in this way? Page 17 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Related work
49 Topological vector spaces TVect C, category of topological vector spaces over C and continuous C-linear maps. Consider a subcategory V of TVect C such that (1) C 2 V and A 2 V =) M n (A) 2 V (closed under matrices) (2) M : V C N Mat! TVect C factors through V V C the closure of the category V under matrices of morphisms. Theorem: the functor M : V C! [N Mat, V] is full and faithful. Page 18 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Related work
50 Topological vector spaces TVect C, category of topological vector spaces over C and continuous C-linear maps. Consider a subcategory V of TVect C such that (1) C 2 V and A 2 V =) M n (A) 2 V (closed under matrices) (2) M : V C N Mat! TVect C factors through V V C the closure of the category V under matrices of morphisms. Theorem: the functor M : V C! [N Mat, V] is full and faithful. M : OpSpace! [N Mat, Banach] and M : OpSystem! [N Mat, OUS] full and faithful functors. Page 18 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Related work
51 Where we are, sofar Key steps of the proof Related work Summary
52 Summary The hom-set functor W -Alg CP (, =) : W -Alg op CP! [N CP, Set] is full and faithful. Matrix algebras are dense in W*-algebras. ntuition: n operator-theoretic categorical quantum foundations, finite-dimensional quantum structures can approximate their infinite-dimensional counterparts. Concrete applications? Quantum PL, contextuality,... We re looking into it! Page 19 of 19 Rennela 6-10/6/16 nfinite-dimensionality in quantum foundations Summary
Programming Languages in String Diagrams. [ four ] Local stores. Paul-André Melliès. Oregon Summer School in Programming Languages June 2011
Programming Languages in String iagrams [ four ] Local stores Paul-André Melliès Oregon Summer School in Programming Languages June 2011 Finitary monads A monadic account of algebraic theories Algebraic
More informationDualities in Mathematics: Locally compact abelian groups
Dualities in Mathematics: Locally compact abelian groups Part III: Pontryagin Duality Prakash Panangaden 1 1 School of Computer Science McGill University Spring School, Oxford 20-22 May 2014 Recall Gelfand
More informationMORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 04 39 MORITA EQUIVALENCE OF MANY-SORTED ALGEBRAIC THEORIES JIŘÍ ADÁMEK, MANUELA SOBRAL AND LURDES SOUSA Abstract: Algebraic
More informationMorita equivalence of many-sorted algebraic theories
Journal of Algebra 297 (2006) 361 371 www.elsevier.com/locate/jalgebra Morita equivalence of many-sorted algebraic theories Jiří Adámek a,,1, Manuela Sobral b,2, Lurdes Sousa c,3 a Department of Theoretical
More informationAn introduction to locally finitely presentable categories
An introduction to locally finitely presentable categories MARU SARAZOLA A document born out of my attempt to understand the notion of locally finitely presentable category, and my annoyance at constantly
More informationA NOTE ON ENRICHED CATEGORIES
U.P.B. Sci. Bull., Series A, Vol. 72, Iss. 4, 2010 ISSN 1223-7027 A NOTE ON ENRICHED CATEGORIES Adriana Balan 1 În această lucrare se arată că o categorie simetrică monoidală închisă bicompletă V cu biproduse
More informationAn introduction to Yoneda structures
An introduction to Yoneda structures Paul-André Melliès CNRS, Université Paris Denis Diderot Groupe de travail Catégories supérieures, polygraphes et homotopie Paris 21 May 2010 1 Bibliography Ross Street
More informationarxiv: v1 [math.ct] 28 Oct 2017
BARELY LOCALLY PRESENTABLE CATEGORIES arxiv:1710.10476v1 [math.ct] 28 Oct 2017 L. POSITSELSKI AND J. ROSICKÝ Abstract. We introduce a new class of categories generalizing locally presentable ones. The
More informationLecture 9: Sheaves. February 11, 2018
Lecture 9: Sheaves February 11, 2018 Recall that a category X is a topos if there exists an equivalence X Shv(C), where C is a small category (which can be assumed to admit finite limits) equipped with
More informationPART I. Abstract algebraic categories
PART I Abstract algebraic categories It should be observed first that the whole concept of category is essentially an auxiliary one; our basic concepts are those of a functor and a natural transformation.
More informationCategories and Quantum Informatics: Hilbert spaces
Categories and Quantum Informatics: Hilbert spaces Chris Heunen Spring 2018 We introduce our main example category Hilb by recalling in some detail the mathematical formalism that underlies quantum theory:
More informationA fresh perspective on canonical extensions for bounded lattices
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
More informationEndomorphism Semialgebras in Categorical Quantum Mechanics
Endomorphism Semialgebras in Categorical Quantum Mechanics Kevin Dunne University of Strathclyde November 2016 Symmetric Monoidal Categories Definition A strict symmetric monoidal category (A,, I ) consists
More informationA non-commutative notion of separate continuity
A non-commutative notion of separate continuity Matthew Daws Leeds November 2014 Matthew Daws (Leeds) Separate continuity November 2014 1 / 22 Locally compact spaces Let X be a locally compact (Hausdorff)
More informationEffect Algebras, Presheaves, Non-locality, Contextuality
Effect Algebras, Presheaves, Non-locality and Contextuality Sam Staton a, Sander Uijlen b a University of Oxford b Radboud University, Nijmegen Abstract Non-locality and contextuality are among the most
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday
More informationThe Adjoint Functor Theorem.
The Adjoint Functor Theorem. Kevin Buzzard February 7, 2012 Last modified 17/06/2002. 1 Introduction. The existence of free groups is immediate from the Adjoint Functor Theorem. Whilst I ve long believed
More informationCategorical coherence in the untyped setting. Peter M. Hines
Categorical coherence in the untyped setting Peter M. Hines SamsonFest Oxford May 2013 The Untyped Setting Untyped categories Categories with only one object (i.e. monoids) with additional categorical
More informationMix Unitary Categories
1/31 Mix Unitary Categories Robin Cockett, Cole Comfort, and Priyaa Srinivasan CT2018, Ponta Delgada, Azores Dagger compact closed categories Dagger compact closed categories ( -KCC) provide a categorical
More informationLIST OF CORRECTIONS LOCALLY PRESENTABLE AND ACCESSIBLE CATEGORIES
LIST OF CORRECTIONS LOCALLY PRESENTABLE AND ACCESSIBLE CATEGORIES J.Adámek J.Rosický Cambridge University Press 1994 Version: June 2013 The following is a list of corrections of all mistakes that have
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 informationUniversal Properties in Quantum Theory
Universal Properties in Quantum Theory Mathieu Huot ENS Paris-Saclay Sam Staton University of Oxford We argue that notions in quantum theory should have universal properties in the sense of category theory.
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 informationClassical control and quantum circuits in enriched category theory
MFPS 2017 Classical control and quantum circuits in enriched category theory Mathys Rennela Institute for Computing and Information Sciences Radboud University Nijmegen, The Netherlands Sam Staton Department
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationLecture 1 Operator spaces and their duality. David Blecher, University of Houston
Lecture 1 Operator spaces and their duality David Blecher, University of Houston July 28, 2006 1 I. Introduction. In noncommutative analysis we replace scalar valued functions by operators. functions operators
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 informationvon Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
More informationElliott s program and descriptive set theory I
Elliott s program and descriptive set theory I Ilijas Farah LC 2012, Manchester, July 12 a, a, a, a, the, the, the, the. I shall need this exercise later, someone please solve it Exercise If A = limna
More informationCategorical techniques for NC geometry and gravity
Categorical techniques for NC geometry and gravity Towards homotopical algebraic quantum field theory lexander Schenkel lexander Schenkel School of Mathematical Sciences, University of Nottingham School
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More informationMorita Equivalence. Eamon Quinlan
Morita Equivalence Eamon Quinlan Given a (not necessarily commutative) ring, you can form its category of right modules. Take this category and replace the names of all the modules with dots. The resulting
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 informationSOME PROBLEMS AND RESULTS IN SYNTHETIC FUNCTIONAL ANALYSIS
SOME PROBLEMS AND RESULTS IN SYNTHETIC FUNCTIONAL ANALYSIS Anders Kock This somewhat tentative note aims at making a status about functional analysis in certain ringed toposes E, R, in particular, duality
More informationALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
More informationInvolutive Categories and Monoids, with a GNS-correspondence
nvolutive Categories and Monoids, with a GNS-correspondence Bart Jacobs Radboud University, Nijmegen, The Netherlands Abstract This paper develops the basics of the theory of involutive categories and
More information1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality
1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms
More informationCategorical relativistic quantum theory. Chris Heunen Pau Enrique Moliner Sean Tull
Categorical relativistic quantum theory Chris Heunen Pau Enrique Moliner Sean Tull 1 / 15 Idea Hilbert modules: naive quantum field theory Idempotent subunits: base space in any category Support: where
More informationABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY
ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up
More informationReconsidering MacLane. Peter M. Hines
Reconsidering MacLane Coherence for associativity in infinitary and untyped settings Peter M. Hines Oxford March 2013 Topic of the talk: Pure category theory... for its own sake. This talk is about the
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationProper Actions on C -algebras
Dartmouth College CBMS TCU May 2009 This is joint work with Astrid an Huef, Steve Kaliszewski and Iain Raeburn Proper Actions on Spaces Definition We say that G acts properly on a locally compact space
More informationD-MODULES: AN INTRODUCTION
D-MODULES: AN INTRODUCTION ANNA ROMANOVA 1. overview D-modules are a useful tool in both representation theory and algebraic geometry. In this talk, I will motivate the study of D-modules by describing
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 information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More informationDual Adjunctions Between Algebras and Coalgebras
Dual Adjunctions Between Algebras and Coalgebras Hans E. Porst Department of Mathematics University of Bremen, 28359 Bremen, Germany porst@math.uni-bremen.de Abstract It is shown that the dual algebra
More informationUniversal Properties
A categorical look at undergraduate algebra and topology Julia Goedecke Newnham College 24 February 2017, Archimedeans Julia Goedecke (Newnham) 24/02/2017 1 / 30 1 Maths is Abstraction : more abstraction
More informationActions of Compact Quantum Groups I
Actions of Compact Quantum Groups I Definition Kenny De Commer (VUB, Brussels, Belgium) Course material Material that will be treated: Actions and coactions of compact quantum groups. Actions on C -algebras
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 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 informationsset(x, Y ) n = sset(x [n], Y ).
1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,
More informationAbstracting away from cell complexes
Abstracting away from cell complexes Michael Shulman 1 Peter LeFanu Lumsdaine 2 1 University of San Diego 2 Stockholm University March 12, 2016 Replacing big messy cell complexes with smaller and simpler
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
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 informationCategorical quantum channels
Attacking the quantum version of with category theory Ian T. Durham Department of Physics Saint Anselm College 19 March 2010 Acknowledgements Some of this work has been the result of some preliminary collaboration
More informationHomological Algebra and Differential Linear Logic
Homological Algebra and Differential Linear Logic Richard Blute University of Ottawa Ongoing discussions with Robin Cockett, Geoff Cruttwell, Keith O Neill, Christine Tasson, Trevor Wares February 24,
More informationThe categorical origins of Lebesgue integration
The categorical origins of Lebesgue integration Tom Leinster University of Edinburgh These slides: on my web page Broad context One function of category theory: to show that in many cases, that which is
More informationBases as Coalgebras. Bart Jacobs
Bases as Coalgebras Bart Jacobs Institute for Computing and Information Sciences (icis), Radboud University Nijmegen, The Netherlands. Webaddress: www.cs.ru.nl/b.jacobs Abstract. The free algebra adjunction,
More informationWhat are stacks and why should you care?
What are stacks and why should you care? Milan Lopuhaä October 12, 2017 Todays goal is twofold: I want to tell you why you would want to study stacks in the first place, and I want to define what a stack
More informationwhich is a group homomorphism, such that if W V U, then
4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV
More informationTwo-sided multiplications and phantom line bundles
Two-sided multiplications and phantom line bundles Ilja Gogić Department of Mathematics University of Zagreb 19th Geometrical Seminar Zlatibor, Serbia August 28 September 4, 2016 joint work with Richard
More informationTopological algebra based on sorts and properties as free and cofree universes
Topological algebra based on sorts and properties as free and cofree universes Vaughan Pratt Stanford University BLAST 2010 CU Boulder June 2 MOTIVATION A well-structured category C should satisfy WS1-5.
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationDerived Algebraic Geometry III: Commutative Algebra
Derived Algebraic Geometry III: Commutative Algebra May 1, 2009 Contents 1 -Operads 4 1.1 Basic Definitions........................................... 5 1.2 Fibrations of -Operads.......................................
More informationOn Paradoxes in Proof-Theoretic Semantics
Quantum Group Dept. of Computer Science Oxford University 2nd PTS Conference, Tübingen, March 8, 2013 Outline 1 Categorical Harmony Logical Constants as Adjoint Functors Comparison with Other Concepts
More informationNOTES ON ATIYAH S TQFT S
NOTES ON ATIYAH S TQFT S J.P. MAY As an example of categorification, I presented Atiyah s axioms [1] for a topological quantum field theory (TQFT) to undergraduates in the University of Chicago s summer
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 informationElementary (ha-ha) Aspects of Topos Theory
Elementary (ha-ha) Aspects of Topos Theory Matt Booth June 3, 2016 Contents 1 Sheaves on topological spaces 1 1.1 Presheaves on spaces......................... 1 1.2 Digression on pointless topology..................
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 informationThe equivalence axiom and univalent models of type theory.
The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010) By Vladimir Voevodsky Abstract I will show how to define, in any type system with dependent sums, products and
More informationSheaves of C*-Algebras
Banach Algebras 2009 at Bedlewo, 16 July 2009 Dedicated to the memory of John Dauns, 24 June 1937 4 June 2009 joint work in progress with Pere Ara (Barcelona) based on P. Ara and M. Mathieu, Local multipliers
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 informationCommutants of multifusion categories
Commutants of multifusion categories David Pennes, OSU joint with André Henriques AMS Special Session on Fusion categories and applications April 1, 2017 Categorical analogies Tensor categories categorif
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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Some constructions using universal properties, old and new 1 2. Adjoint functors 3 3. Sheaves 6 Last day: What is algebraic geometry? Crash
More informationON THE COFIBRANT GENERATION OF MODEL CATEGORIES arxiv: v1 [math.at] 16 Jul 2009
ON THE COFIBRANT GENERATION OF MODEL CATEGORIES arxiv:0907.2726v1 [math.at] 16 Jul 2009 GEORGE RAPTIS Abstract. The paper studies the problem of the cofibrant generation of a model category. We prove that,
More informationAlgebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0
1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.
More informationWhat are Iteration Theories?
What are Iteration Theories? Jiří Adámek and Stefan Milius Institute of Theoretical Computer Science Technical University of Braunschweig Germany adamek,milius @iti.cs.tu-bs.de Jiří Velebil Department
More informationA Functorial Approach to Group C -Algebras
Int. J. Contemp. Math. Sci., Vol. 3, 2008, no. 22, 1095-1102 A Functorial Approach to Group C -Algebras George F. Nassopoulos University of Athens, Department of Mathematics Panepistemiopolis, Athens 157
More informationFiberwise two-sided multiplications on homogeneous C*-algebras
Fiberwise two-sided multiplications on homogeneous C*-algebras Ilja Gogić Department of Mathematics University of Zagreb XX Geometrical Seminar Vrnjačka Banja, Serbia May 20 23, 2018 joint work with Richard
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 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 informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More information(work to be done!) Ronnie Brown () Higher Structures Lisbon July 24-27, 2017 Instituto Superior Técnico, Lisbon Homotopical 1 / 19
Higher Structures Lisbon July 24-27, 2017 Instituto Superior Técnico, Lisbon Homotopical Excision: (work to be done!) Ronnie Brown Higher Structures Lisbon July 24-27, 2017 Instituto Superior Técnico,
More informationModules over a Ringed Space
Modules over a Ringed Space Daniel Murfet October 5, 2006 In these notes we collect some useful facts about sheaves of modules on a ringed space that are either left as exercises in [Har77] or omitted
More informationDESCENT THEORY (JOE RABINOFF S EXPOSITION)
DESCENT THEORY (JOE RABINOFF S EXPOSITION) RAVI VAKIL 1. FEBRUARY 21 Background: EGA IV.2. Descent theory = notions that are local in the fpqc topology. (Remark: we aren t assuming finite presentation,
More informationCartesian Closed Topological Categories and Tensor Products
Cartesian Closed Topological Categories and Tensor Products Gavin J. Seal October 21, 2003 Abstract The projective tensor product in a category of topological R-modules (where R is a topological ring)
More informationBERTRAND GUILLOU. s G q+r
STABLE A 1 -HOMOTOPY THEORY BERTRAND GUILLOU 1. Introduction Recall from the previous talk that we have our category pointed A 1 -homotopy category Ho A 1, (k) over a field k. We will often refer to an
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 informationA categorical model for a quantum circuit description language
A categorical model for a quantum circuit description language Francisco Rios (joint work with Peter Selinger) Department of Mathematics and Statistics Dalhousie University CT July 16th 22th, 2017 What
More informationSome Nearly Quantum Theories
Some Nearly Quantum Theories Howard Barnum, Matthew Graydon and Alex Wilce QPL XII, Oxford, July 2015 Outline I Euclidean Jordan algebras II Composites of EJAs III Categories of embedded EJAs I. Euclidean
More informationTypes in categorical linguistics (& elswhere)
Types in categorical linguistics (& elswhere) Peter Hines Oxford Oct. 2010 University of York N. V. M. S. Research Topic of the talk: This talk will be about: Pure Category Theory.... although it might
More informationNON-SYMMETRIC -AUTONOMOUS CATEGORIES
NON-SYMMETRIC -AUTONOMOUS CATEGORIES MICHAEL BARR 1. Introduction In [Barr, 1979] (hereafter known as SCAT) the theory of -autonomous categories is outlined. Basically such a category is a symmetric monoidal
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 informationFrom Fredenhagen s universal algebra to homotopy theory and operads
From Fredenhagen s universal algebra to homotopy theory and operads Towards homotopical algebraic quantum field theory Alexander Schenkel Alexander Schenkel School of Mathematical Sciences, University
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 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 informationQuantum Symmetries in Free Probability Theory. Roland Speicher Queen s University Kingston, Canada
Quantum Symmetries in Free Probability Theory Roland Speicher Queen s University Kingston, Canada Quantum Groups are generalizations of groups G (actually, of C(G)) are supposed to describe non-classical
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 informationHomologically trivial and annihilator locally C -algebras
Homologically trivial and annihilator locally C -algebras Yurii Selivanov Abstract. In this talk, we give a survey of recent results concerning structural properties of some classes of homologically trivial
More information