Relations: Categories, Monoidal Categories, and Props
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
MAT 4162 - Homework Assignment 2
MAT 4162 - Homework Assignment 2 Instructions: Pick at least 5 problems of varying length and difficulty. You do not have to provide full details in all of the problems, but be sure to indicate which details you declare trivial. Due date: Monday June 22nd, 4pm. The category of relations Let Rel be the category whose objects are sets and whose morphisms X ! Y are relations R ⊆ X × Y . Two relations R ⊆ X × Y and S ⊆ Y × Z may be composed via S ◦ R = f(x; z)j9y 2 Y:R(x; y) ^ S(y; z): Exercise 1. Show that this composition is associative, and that Rel is indeed a category. The powerset functor(s) Consider the powerset functor P : Set ! Set. On objects, it sends a set X to its powerset P(X). A function f : X ! Y is sent to P(f): P(X) !P(Y ); U 7! P(f)(U) = f[U] =def ff(x)jx 2 Ug: Exercise 2. Show that P is indeed a functor. For every set X we have a singleton map ηX : X !P(X), defined by 2 S x 7! fxg. Also, we have a union map µX : P (X) !P(X), defined by α 7! α. Exercise 3. Show that η and µ constitute natural transformations 1Set !P and P2 !P, respectively. Objects of the form P(X) are more than mere sets. In class you have seen that they are in fact complete boolean algebras. For now, we regard P(X) as a complete sup-lattice. A partial ordering (P; ≤) is a complete sup-lattice if it is equipped with a supremum map W : P(P ) ! P which sends a subset U ⊆ P to W P , the least upper bound of U in P . -
Relations in Categories
Relations in Categories Stefan Milius A thesis submitted to the Faculty of Graduate Studies in partial fulfilment of the requirements for the degree of Master of Arts Graduate Program in Mathematics and Statistics York University Toronto, Ontario June 15, 2000 Abstract This thesis investigates relations over a category C relative to an (E; M)-factori- zation system of C. In order to establish the 2-category Rel(C) of relations over C in the first part we discuss sufficient conditions for the associativity of horizontal composition of relations, and we investigate special classes of morphisms in Rel(C). Attention is particularly devoted to the notion of mapping as defined by Lawvere. We give a significantly simplified proof for the main result of Pavlovi´c,namely that C Map(Rel(C)) if and only if E RegEpi(C). This part also contains a proof' that the category Map(Rel(C))⊆ is finitely complete, and we present the results obtained by Kelly, some of them generalized, i. e., without the restrictive assumption that M Mono(C). The next part deals with factorization⊆ systems in Rel(C). The fact that each set-relation has a canonical image factorization is generalized and shown to yield an (E¯; M¯ )-factorization system in Rel(C) in case M Mono(C). The setting without this condition is studied, as well. We propose a⊆ weaker notion of factorization system for a 2-category, where the commutativity in the universal property of an (E; M)-factorization system is replaced by coherent 2-cells. In the last part certain limits and colimits in Rel(C) are investigated. -
Knowledge Representation in Bicategories of Relations
Knowledge Representation in Bicategories of Relations Evan Patterson Department of Statistics, Stanford University Abstract We introduce the relational ontology log, or relational olog, a knowledge representation system based on the category of sets and relations. It is inspired by Spivak and Kent’s olog, a recent categorical framework for knowledge representation. Relational ologs interpolate between ologs and description logic, the dominant formalism for knowledge representation today. In this paper, we investigate relational ologs both for their own sake and to gain insight into the relationship between the algebraic and logical approaches to knowledge representation. On a practical level, we show by example that relational ologs have a friendly and intuitive—yet fully precise—graphical syntax, derived from the string diagrams of monoidal categories. We explain several other useful features of relational ologs not possessed by most description logics, such as a type system and a rich, flexible notion of instance data. In a more theoretical vein, we draw on categorical logic to show how relational ologs can be translated to and from logical theories in a fragment of first-order logic. Although we make extensive use of categorical language, this paper is designed to be self-contained and has considerable expository content. The only prerequisites are knowledge of first-order logic and the rudiments of category theory. 1. Introduction arXiv:1706.00526v2 [cs.AI] 1 Nov 2017 The representation of human knowledge in computable form is among the oldest and most fundamental problems of artificial intelligence. Several recent trends are stimulating continued research in the field of knowledge representation (KR). -
Van Kampen Colimits As Bicolimits in Span*
Van Kampen colimits as bicolimits in Span? Tobias Heindel1 and Pawe lSoboci´nski2 1 Abt. f¨urInformatik und angewandte kw, Universit¨atDuisburg-Essen, Germany 2 ECS, University of Southampton, United Kingdom Abstract. The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g. in program semantics, data type theory and rewriting. We show that these properties can be understood as a single universal property in the associated bicategory of spans. To this end, we first provide a general notion of Van Kampen cocone that specialises to the above colimits. The main result states that Van Kampen cocones can be characterised as exactly those diagrams in that induce bicolimit diagrams in the bicategory of spans Span , C C provided that C has pullbacks and enough colimits. Introduction The interplay between limits and colimits is a research topic with several applica- tions in theoretical computer science, including the solution of recursive domain equations, using the coincidence of limits and colimits. Research on this general topic has identified several classes of categories in which limits and colimits relate to each other in useful ways; extensive categories [5] and adhesive categories [21] are two examples of such classes. Extensive categories [5] have coproducts that are “well-behaved” with respect to pullbacks; more concretely, they are disjoint and universal. Extensivity has been used by mathematicians [4] and computer scientists [25] alike. In the presence of products, extensive categories are distributive [5] and thus can be used, for instance, to model circuits [28] or to give models of specifications [11]. -
PULLBACK and BASE CHANGE Contents
PART II.2. THE !-PULLBACK AND BASE CHANGE Contents Introduction 1 1. Factorizations of morphisms of DG schemes 2 1.1. Colimits of closed embeddings 2 1.2. The closure 4 1.3. Transitivity of closure 5 2. IndCoh as a functor from the category of correspondences 6 2.1. The category of correspondences 6 2.2. Proof of Proposition 2.1.6 7 3. The functor of !-pullback 8 3.1. Definition of the functor 9 3.2. Some properties 10 3.3. h-descent 10 3.4. Extension to prestacks 11 4. The multiplicative structure and duality 13 4.1. IndCoh as a symmetric monoidal functor 13 4.2. Duality 14 5. Convolution monoidal categories and algebras 17 5.1. Convolution monoidal categories 17 5.2. Convolution algebras 18 5.3. The pull-push monad 19 5.4. Action on a map 20 References 21 Introduction Date: September 30, 2013. 1 2 THE !-PULLBACK AND BASE CHANGE 1. Factorizations of morphisms of DG schemes In this section we will study what happens to the notion of the closure of the image of a morphism between schemes in derived algebraic geometry. The upshot is that there is essentially \nothing new" as compared to the classical case. 1.1. Colimits of closed embeddings. In this subsection we will show that colimits exist and are well-behaved in the category of closed subschemes of a given ambient scheme. 1.1.1. Recall that a map X ! Y in Sch is called a closed embedding if the map clX ! clY is a closed embedding of classical schemes. -
Rewriting Structured Cospans: a Syntax for Open Systems
UNIVERSITY OF CALIFORNIA RIVERSIDE Rewriting Structured Cospans: A Syntax For Open Systems A Dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics by Daniel Cicala June 2019 Dissertation Committee: Dr. John C. Baez, Chairperson Dr. Wee Liang Gan Dr. Jacob Greenstein Copyright by Daniel Cicala 2019 The Dissertation of Daniel Cicala is approved: Committee Chairperson University of California, Riverside Acknowledgments First and foremost, I would like to thank my advisor John Baez. In these past few years, I have learned more than I could have imagined about mathematics and the job of doing mathematics. I also want to thank the past and current Baez Crew for the many wonderful discussions. I am indebted to Math Department at the University of California, Riverside, which has afforded me numerous opportunities to travel to conferences near and far. Almost certainly, I would never have had a chance to pursue my doctorate had it not been for my parents who were there for me through every twist and turn on this, perhaps, too scenic route that I traveled. Most importantly, this project would have been impossible without the full-hearted support of my love, Elizabeth. I would also like to acknowledge the previously published material in this disser- tation. The interchange law in Section 3.1 was published in [15]. The material in Sections 3.2 and 3.3 appear in [16]. Also, the ZX-calculus example in Section 4.3 appears in [18]. iv Elizabeth. It’s finally over, baby! v ABSTRACT OF THE DISSERTATION Rewriting Structured Cospans: A Syntax For Open Systems by Daniel Cicala Doctor of Philosophy, Graduate Program in Mathematics University of California, Riverside, June 2019 Dr. -
DUAL TANGENT STRUCTURES for ∞-TOPOSES In
DUAL TANGENT STRUCTURES FOR 1-TOPOSES MICHAEL CHING Abstract. We describe dual notions of tangent bundle for an 1-topos, each underlying a tangent 1-category in the sense of Bauer, Burke and the author. One of those notions is Lurie's tangent bundle functor for presentable 1-categories, and the other is its adjoint. We calculate that adjoint for injective 1-toposes, where it is given by applying Lurie's tangent bundle on 1-categories of points. In [BBC21], Bauer, Burke, and the author introduce a notion of tangent 1- category which generalizes the Rosick´y[Ros84] and Cockett-Cruttwell [CC14] axiomatization of the tangent bundle functor on the category of smooth man- ifolds and smooth maps. We also constructed there a significant example: diff the Goodwillie tangent structure on the 1-category Cat1 of (differentiable) 1-categories, which is built on Lurie's tangent bundle functor. That tan- gent structure encodes the ideas of Goodwillie's calculus of functors [Goo03] and highlights the analogy between that theory and the ordinary differential calculus of smooth manifolds. The goal of this note is to introduce two further examples of tangent 1- categories: one on the 1-category of 1-toposes and geometric morphisms, op which we denote Topos1, and one on the opposite 1-category Topos1 which, following Anel and Joyal [AJ19], we denote Logos1. These two tangent structures each encode a notion of tangent bundle for 1- toposes, but from dual perspectives. As described in [AJ19, Sec. 4], one can view 1-toposes either from a `geometric' or `algebraic' point of view. -
Towards a Characterization of the Double Category of Spans
Motivation Cartesian double categories Eilenberg-Moore Objects Towards the characterization of spans Further Questions Towards a Characterization of the Double Category of Spans Evangelia Aleiferi Dalhousie University Category Theory 2017 July, 2017 Evangelia Aleiferi (Dalhousie University) Towards a Characterization of the Double Category of Spans July, 2017 1 / 29 Motivation Cartesian double categories Eilenberg-Moore Objects Towards the characterization of spans Further Questions Motivation Evangelia Aleiferi (Dalhousie University) Towards a Characterization of the Double Category of Spans July, 2017 2 / 29 Motivation Cartesian double categories Eilenberg-Moore Objects Towards the characterization of spans Further Questions Theorem (Lack, Walters, Wood 2010) For a bicategory B the following are equivalent: i. There is an equivalence B'Span(E), for some finitely complete category E. ii. B is Cartesian, each comonad in B has an Eilenberg-Moore object and every map in B is comonadic. iii. The bicategory Map(B) is an essentially locally discrete bicategory with finite limits, satisfying in B the Beck condition for pullbacks of maps, and the canonical functor C : Span(Map(B)) !B is an equivalence of bicategories. Evangelia Aleiferi (Dalhousie University) Towards a Characterization of the Double Category of Spans July, 2017 3 / 29 Examples 1. The bicategory Rel(E) of relations over a regular category E. 2. The bicategory Span(E) of spans over a finitely complete category E. Motivation Cartesian double categories Eilenberg-Moore Objects Towards the characterization of spans Further Questions Cartesian Bicategories Definition (Carboni, Kelly, Walters, Wood 2008) A bicategory B is said to be Cartesian if: i. The bicategory Map(B) has finite products ii. -
Toward a Non-Commutative Gelfand Duality: Boolean Locally Separated Toposes and Monoidal Monotone Complete $ C^{*} $-Categories
Toward a non-commutative Gelfand duality: Boolean locally separated toposes and Monoidal monotone complete C∗-categories Simon Henry February 23, 2018 Abstract ** Draft Version ** To any boolean topos one can associate its category of internal Hilbert spaces, and if the topos is locally separated one can consider a full subcategory of square integrable Hilbert spaces. In both case it is a symmetric monoidal monotone complete C∗-category. We will prove that any boolean locally separated topos can be reconstructed as the classifying topos of “non-degenerate” monoidal normal ∗-representations of both its category of internal Hilbert spaces and its category of square integrable Hilbert spaces. This suggest a possible extension of the usual Gelfand duality between a class of toposes (or more generally localic stacks or localic groupoids) and a class of symmetric monoidal C∗-categories yet to be discovered. Contents 1 Introduction 2 2 General preliminaries 3 3 Monotone complete C∗-categories and booleantoposes 6 4 Locally separated toposes and square integrable Hilbert spaces 7 5 Statementofthemaintheorems 9 arXiv:1501.07045v1 [math.CT] 28 Jan 2015 6 From representations of red togeometricmorphisms 13 6.1 Construction of the geometricH morphism on separating objects . 13 6.2 Functorialityonseparatingobject . 20 6.3 ConstructionoftheGeometricmorphism . 22 6.4 Proofofthe“reduced”theorem5.8 . 25 Keywords. Boolean locally separated toposes, monotone complete C*-categories, recon- struction theorem. 2010 Mathematics Subject Classification. 18B25, 03G30, 46L05, 46L10 . email: [email protected] 1 7 On the category ( ) and its representations 26 H T 7.1 The category ( /X ) ........................ 26 7.2 TensorisationH byT square integrable Hilbert space . -
Monoidal Functors, Equivalence of Monoidal Categories
14 1.4. Monoidal functors, equivalence of monoidal categories. As we have explained, monoidal categories are a categorification of monoids. Now we pass to categorification of morphisms between monoids, namely monoidal functors. 0 0 0 0 0 Definition 1.4.1. Let (C; ⊗; 1; a; ι) and (C ; ⊗ ; 1 ; a ; ι ) be two monoidal 0 categories. A monoidal functor from C to C is a pair (F; J) where 0 0 ∼ F : C ! C is a functor, and J = fJX;Y : F (X) ⊗ F (Y ) −! F (X ⊗ Y )jX; Y 2 Cg is a natural isomorphism, such that F (1) is isomorphic 0 to 1 . and the diagram (1.4.1) a0 (F (X) ⊗0 F (Y )) ⊗0 F (Z) −−F− (X−)−;F− (Y− )−;F− (Z!) F (X) ⊗0 (F (Y ) ⊗0 F (Z)) ? ? J ⊗0Id ? Id ⊗0J ? X;Y F (Z) y F (X) Y;Z y F (X ⊗ Y ) ⊗0 F (Z) F (X) ⊗0 F (Y ⊗ Z) ? ? J ? J ? X⊗Y;Z y X;Y ⊗Z y F (aX;Y;Z ) F ((X ⊗ Y ) ⊗ Z) −−−−−−! F (X ⊗ (Y ⊗ Z)) is commutative for all X; Y; Z 2 C (“the monoidal structure axiom”). A monoidal functor F is said to be an equivalence of monoidal cate gories if it is an equivalence of ordinary categories. Remark 1.4.2. It is important to stress that, as seen from this defini tion, a monoidal functor is not just a functor between monoidal cate gories, but a functor with an additional structure (the isomorphism J) satisfying a certain equation (the monoidal structure axiom). -
Math 395: Category Theory Northwestern University, Lecture Notes
Math 395: Category Theory Northwestern University, Lecture Notes Written by Santiago Can˜ez These are lecture notes for an undergraduate seminar covering Category Theory, taught by the author at Northwestern University. The book we roughly follow is “Category Theory in Context” by Emily Riehl. These notes outline the specific approach we’re taking in terms the order in which topics are presented and what from the book we actually emphasize. We also include things we look at in class which aren’t in the book, but otherwise various standard definitions and examples are left to the book. Watch out for typos! Comments and suggestions are welcome. Contents Introduction to Categories 1 Special Morphisms, Products 3 Coproducts, Opposite Categories 7 Functors, Fullness and Faithfulness 9 Coproduct Examples, Concreteness 12 Natural Isomorphisms, Representability 14 More Representable Examples 17 Equivalences between Categories 19 Yoneda Lemma, Functors as Objects 21 Equalizers and Coequalizers 25 Some Functor Properties, An Equivalence Example 28 Segal’s Category, Coequalizer Examples 29 Limits and Colimits 29 More on Limits/Colimits 29 More Limit/Colimit Examples 30 Continuous Functors, Adjoints 30 Limits as Equalizers, Sheaves 30 Fun with Squares, Pullback Examples 30 More Adjoint Examples 30 Stone-Cech 30 Group and Monoid Objects 30 Monads 30 Algebras 30 Ultrafilters 30 Introduction to Categories Category theory provides a framework through which we can relate a construction/fact in one area of mathematics to a construction/fact in another. The goal is an ultimate form of abstraction, where we can truly single out what about a given problem is specific to that problem, and what is a reflection of a more general phenomenom which appears elsewhere. -
Categories with Fuzzy Sets and Relations
Categories with Fuzzy Sets and Relations John Harding, Carol Walker, Elbert Walker Department of Mathematical Sciences New Mexico State University Las Cruces, NM 88003, USA jhardingfhardy,[email protected] Abstract We define a 2-category whose objects are fuzzy sets and whose maps are relations subject to certain natural conditions. We enrich this category with additional monoidal and involutive structure coming from t-norms and negations on the unit interval. We develop the basic properties of this category and consider its relation to other familiar categories. A discussion is made of extending these results to the setting of type-2 fuzzy sets. 1 Introduction A fuzzy set is a map A : X ! I from a set X to the unit interval I. Several authors [2, 6, 7, 20, 22] have considered fuzzy sets as a category, which we will call FSet, where a morphism from A : X ! I to B : Y ! I is a function f : X ! Y that satisfies A(x) ≤ (B◦f)(x) for each x 2 X. Here we continue this path of investigation. The underlying idea is to lift additional structure from the unit interval, such as t-norms, t-conorms, and negations, to provide additional structure on the category. Our eventual aim is to provide a setting where processes used in fuzzy control can be abstractly studied, much in the spirit of recent categorical approaches to processes used in quantum computation [1]. Order preserving structure on I, such as t-norms and conorms, lifts to provide additional covariant structure on FSet. In fact, each t-norm T lifts to provide a symmetric monoidal tensor ⊗T on FSet.