ELEMENTS IN MATHEMATICS FOR INFORMATION SCIENCE NO.14 CATEGORY THEORY. Tatsuya Hagino
|
|
- Pierce Lamb
- 5 years ago
- Views:
Transcription
1 1 ELEMENTS IN MTHEMTICS FOR INFORMTION SCIENCE NO.14 CTEGORY THEORY Tatsuya Haino
2 2 Set Theory Set Theory Foundation o Modern Mathematics a set a collection o elements with some property c x loical ormula about x Description o elements is important: i.e. when x Limit o set theory Russell's Paradox The collection o all sets is not a set. R = x x x} R R or R R
3 3 Cateory Theory lternative oundation o Mathematics Some call it bstract Nonsense. Describe thins with relationship with others. Set Theory x description o inside contents Cateory Theory description rom outside actions Uniy many concepts in one. Can see symmetry easily.
4 Cateory cateory C consists o: collection o objects: C =,, C, For objects and, a collection o arrows (or morphisms): hom C, = {,, h, } I hom C (, ), we may write it as: : is the domain o is the codomain (or rane) o 4 cateory C mush satisy the ollowin properties: For : and : C, : C For :, : C and : C D, h = (h ) For each object, there exists an identity arrow 1 : and or :, 1 = and 1 = C (h ) h D h C 1 1
5 5 Example o Cateory Set: the cateory o sets objects: sets arrows: unctions is the unction composition 1 is the identity unction o Grp: the cateory o roups 1 ) objects: roups (G,, e, arrows: homomorphisms is the unction composition 1 is the identity unction o 1 (G,, e, ): roup x y z = x y z x e = e x = x x x 1 = x 1 x = e homomorphism: : G H x y = x y CPO: the cateory o complete partial ordered sets objects: CPO arrows: continuous unctions is the unction composition. 1 D is the identity unction o D
6 6 Example o Cateory (cont.) Monoid M,, e as a cateory object: only one object arrows: M (i.e. elements in M) is 1 is e (M,, e): monoid x y z = x y z x e = e x = x Partially ordered set (D, ) as a cateory objects: D (i.e. elements in D) arrows: (i.e. at most one arrow rom x y) is ``i x y and y z, then x z'' 1 x is ``x x'' (D, ): partially ordered set x x i x y and y z, then x z i x y and y x, then x = y
7 7 Dual Cateory Dual Cateory C op o cateory C C op objects = C objects C op arrows: hom C op, = hom C (, ) Reverse the direction o arrows. C C C op C ny property which is true in cateory C is also true in its dual cateory C op. (C op ) op = C
8 8 Mono, Epi and Isomorphic Mono : is mono-morphism or any object D and any arrows : D and h: D, i = h, then = h. Epi h D : is epi-morphism or any object D and any arrows : D and h: D, i = h, then = h. Isomorphic Object and is are isomorphic there are : and : such that = 1 and = 1. h D Mono in C op is epi in C. Epi in C op is mono in C. Isomorphic objects play the same role in C.
9 9 Initial and Final Objects Initial object I or any object, there is a unique arrow rom I to. I! Final object F or any object, there is a unique arrow rom to F.! F Theorem: The initial object, i it exists, is unique up to isomorphic. Dual Theorem: The inal object, i it exists, is unique up to isomorphic. Initial Object Final Object Set { } Grp { e } { e } CPO { } Partially Ordered Set 丅
10 10 Product and Co-Product is the product o and There are two arrows π 1 : and π 2 :. For any object C and arrows : C and : C, there exists a unique arrow h: C such that the ollowin diaram commutes: + is the co-product o and There are two arrows ι 1 : + and ι 2 : +. For any object C and arrows : C and : C, there exists a unique arrow h: + C such that the ollowin diaram commutes: π 1 π 2 ι 1 ι 2 + C!h C!h π 1 h = π 2 h = h ι 1 = h ι 2 =
11 11 Product and Co-Product Set Partially Ordered Set D, Product = { x, y x and y } π 1 x, y = x π 2 x, y = y For : C and : C, h z = z, z x y = x y π 1 : x y x π 2 : x y y For : z x and : z y, h: z x y Co-Product + = x, 1 x y, 2 y ι 1 x = x, 1 ι 2 y = y, 2 For : C and : C, h x, 1 = x and h y, 2 = y + = x y ι 1 : x x y ι 2 : y x y For : x z and : y z, h: x y z Theorem: I product exists, it is unique up to isomorphic. Dual Theorem: I co-product + exists, it is unique up to isomorphic.
12 More Topic o Cateory Theory 12 More diarams Equalizer and Co-Equalizer Pushout and Pullback Limit and Co-Limit Functions between cateories Functor and Natural Transormation djunction let and riht adjoint Product is the riht adjoint o diaonal unctor. Co-product is the let adjoint o diaonal unctor. Exponential (unction space, riht adjoint o product) Natural Number Object Cartesian Closed Cateory Topos
13 13 Summary Cateory Theory lternative oundation o Mathematics Cateory Objects and rrows Special objects Initial and inal objects Product and co-product
UMS 7/2/14. Nawaz John Sultani. July 12, Abstract
UMS 7/2/14 Nawaz John Sultani July 12, 2014 Notes or July, 2 2014 UMS lecture Abstract 1 Quick Review o Universals Deinition 1.1. I S : D C is a unctor and c an object o C, a universal arrow rom c to S
More informationJoseph Muscat Categories. 1 December 2012
Joseph Muscat 2015 1 Categories joseph.muscat@um.edu.mt 1 December 2012 1 Objects and Morphisms category is a class o objects with morphisms : (a way o comparing/substituting/mapping/processing to ) such
More informationGENERAL ABSTRACT NONSENSE
GENERAL ABSTRACT NONSENSE MARCELLO DELGADO Abstract. In this paper, we seek to understand limits, a uniying notion that brings together the ideas o pullbacks, products, and equalizers. To do this, we will
More informationBECK'S THEOREM CHARACTERIZING ALGEBRAS
BEK'S THEOREM HARATERIZING ALGEBRAS SOFI GJING JOVANOVSKA Abstract. In this paper, I will construct a proo o Beck's Theorem characterizin T -alebras. Suppose we have an adjoint pair o unctors F and G between
More informationGENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS
GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More informationA Peter May Picture Book, Part 1
A Peter May Picture Book, Part 1 Steve Balady Auust 17, 2007 This is the beinnin o a larer project, a notebook o sorts intended to clariy, elucidate, and/or illustrate the principal ideas in A Concise
More informationSpan, Cospan, and Other Double Categories
ariv:1201.3789v1 [math.ct] 18 Jan 2012 Span, Cospan, and Other Double Categories Susan Nieield July 19, 2018 Abstract Given a double category D such that D 0 has pushouts, we characterize oplax/lax adjunctions
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationThe Category of Sets
The Cateory o Sets Hans Halvorson October 16, 2016 [[Note to students: this is a irst drat. Please report typos. A revised version will be posted within the next couple o weeks.]] 1 Introduction The aim
More informationRELATIVE GOURSAT CATEGORIES
RELTIVE GOURST CTEGORIES JULI GOEDECKE ND TMR JNELIDZE bstract. We deine relative Goursat cateories and prove relative versions o the equivalent conditions deinin reular Goursat cateories. These include
More informationA brief Introduction to Category Theory
A brief Introduction to Category Theory Dirk Hofmann CIDMA, Department of Mathematics, University of Aveiro, 3810-193 Aveiro, Portugal Office: 11.3.10, dirk@ua.pt, http://sweet.ua.pt/dirk/ October 9, 2017
More informationAn Introduction to Topos Theory
An Introduction to Topos Theory Ryszard Paweł Kostecki Institute o Theoretical Physics, University o Warsaw, Hoża 69, 00-681 Warszawa, Poland email: ryszard.kostecki % uw.edu.pl June 26, 2011 Abstract
More informationCategory Theory. Travis Dirle. December 12, 2017
Category Theory 2 Category Theory Travis Dirle December 12, 2017 2 Contents 1 Categories 1 2 Construction on Categories 7 3 Universals and Limits 11 4 Adjoints 23 5 Limits 31 6 Generators and Projectives
More informationCategorical Background (Lecture 2)
Cateorical Backround (Lecture 2) February 2, 2011 In the last lecture, we stated the main theorem o simply-connected surery (at least or maniolds o dimension 4m), which hihlihts the importance o the sinature
More informationHSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS
HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS MICHAEL BARR Abstract. Given a triple T on a complete category C and a actorization system E /M on the category o algebras, we show there is a 1-1 correspondence
More informationCategory Theory 2. Eugenia Cheng Department of Mathematics, University of Sheffield Draft: 31st October 2007
Cateory Theory 2 Euenia Chen Department o Mathematics, niversity o Sheield E-mail: echen@sheieldacuk Drat: 31st October 2007 Contents 2 Some basic universal properties 1 21 Isomorphisms 2 22 Terminal objects
More informationCATEGORIES. 1.1 Introduction
1 CATEGORIES 1.1 Introduction What is category theory? As a irst approximation, one could say that category theory is the mathematical study o (abstract) algebras o unctions. Just as group theory is the
More information( ) x y z. 3 Functions 36. SECTION D Composite Functions
3 Functions 36 SECTION D Composite Functions By the end o this section you will be able to understand what is meant by a composite unction ind composition o unctions combine unctions by addition, subtraction,
More informationClassifying Categories The Jordan-Hölder and Krull-Schmidt-Remak Theorems for Abelian Categories
U.U.D.M. Project Report 2018:5 Classiying Categories The Jordan-Hölder and Krull-Schmidt-Remak Theorems or belian Categories Daniel hlsén Examensarbete i matematik, 30 hp Handledare: Volodymyr Mazorchuk
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 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 informationPart 1. 1 Basic Theory of Categories. 1.1 Concrete Categories
Part 1 1 Basic Theory o Cateories 1.1 Concrete Cateories One reason or inventin the concept o cateory was to ormalize the notion o a set with additional structure, as it appears in several branches o mathematics.
More informationCONVENIENT CATEGORIES OF SMOOTH SPACES
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 363, Number 11, November 2011, Paes 5789 5825 S 0002-9947(2011)05107-X Article electronically published on June 6, 2011 CONVENIENT CATEGORIES OF
More informationare well-formed, provided Φ ( X, x)
(October 27) 1 We deine an axiomatic system, called the First-Order Theory o Abstract Sets (FOTAS) Its syntax will be completely speciied Certain axioms will be iven; but these may be extended by additional
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 informationLIMITS AND COLIMITS. m : M X. in a category G of structured sets of some sort call them gadgets the image subset
5 LIMITS ND COLIMITS In this chapter we irst briely discuss some topics namely subobjects and pullbacks relating to the deinitions that we already have. This is partly in order to see how these are used,
More informationDescent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationON THE CONSTRUCTION OF LIMITS AND COLIMITS IN -CATEGORIES
ON THE CONSTRUCTION OF LIMITS ND COLIMITS IN -CTEGORIES EMILY RIEHL ND DOMINIC VERITY bstract. In previous work, we introduce an axiomatic ramework within which to prove theorems about many varieties o
More informationAssume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is.
COMMUTATIVE ALGERA LECTURE 2: MORE CATEGORY THEORY VIVEK SHENDE Last time we learned about Yoneda s lemma, and various universal constructions initial and final objects, products and coproducts (which
More informationBasic Category Theory
BRICS LS-95-1 J. van Oosten: Basic Category Theory BRICS Basic Research in Computer Science Basic Category Theory Jaap van Oosten BRICS Lecture Series LS-95-1 ISSN 1395-2048 January 1995 Copyright c 1995,
More informationDUALITY AND SMALL FUNCTORS
DUALITY AND SMALL FUNCTORS GEORG BIEDERMANN AND BORIS CHORNY Abstract. The homotopy theory o small unctors is a useul tool or studying various questions in homotopy theory. In this paper, we develop the
More informationCOMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY
COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an
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 informationMADE-TO-ORDER WEAK FACTORIZATION SYSTEMS
MADE-TO-ORDER WEAK FACTORIZATION SYSTEMS EMILY RIEHL The aim o this note is to briely summarize techniques or building weak actorization systems whose right class is characterized by a particular liting
More informationCategory theory for computer science. Overall idea
Category theory for computer science generality abstraction convenience constructiveness Overall idea look at all objects exclusively through relationships between them capture relationships between objects
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 informationOriented Bivariant Theories, I
ESI The Erwin Schrödiner International Boltzmannasse 9 Institute or Mathematical Physics A-1090 Wien, Austria Oriented Bivariant Theories, I Shoji Yokura Vienna, Preprint ESI 1911 2007 April 27, 2007 Supported
More informationarxiv:math/ v1 [math.ct] 16 Jun 2006
arxiv:math/0606393v1 [math.ct] 16 Jun 2006 Strict 2-toposes Mark Weber bstract. 2-cateorical eneralisation o the notion o elementary topos is provided, and some o the properties o the yoneda structure
More informationTopological aspects of restriction categories
Calgary 2006, Topological aspects of restriction categories, June 1, 2006 p. 1/22 Topological aspects of restriction categories Robin Cockett robin@cpsc.ucalgary.ca University of Calgary Calgary 2006,
More informationFrom Wikipedia, the free encyclopedia
Monomorphism - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/monomorphism 1 of 3 24/11/2012 02:01 Monomorphism From Wikipedia, the free encyclopedia In the context of abstract algebra or
More informationFibrations of bicategories
Fibrations o bicategories Igor Baković Faculty o Natural Sciences and Mathematics University o Split Teslina 12/III, 21000 Split, Croatia Abstract The main purpose o this work is to describe a generalization
More informationTHE COALGEBRAIC STRUCTURE OF CELL COMPLEXES
Theory and pplications o Categories, Vol. 26, No. 11, 2012, pp. 304 330. THE COLGEBRIC STRUCTURE OF CELL COMPLEXES THOMS THORNE bstract. The relative cell complexes with respect to a generating set o coibrations
More informationModèles des langages de programmation Domaines, catégories, jeux. Programme de cette seconde séance:
Modèles des langages de programmation Domaines, catégories, jeux Programme de cette seconde séance: Modèle ensembliste du lambda-calcul ; Catégories cartésiennes fermées 1 Synopsis 1 the simply-typed λ-calculus,
More informationArrow-theoretic differential theory
Arrow-theoretic dierential theory Urs Schreiber August 17, 2007 Abstract We propose and study a notion o a tangent (n + 1)-bundle to an arbitrary n-category Despite its simplicity, this notion turns out
More informationUniversity of Cape Town
The copyright o this thesis rests with the. No quotation rom it or inormation derived rom it is to be published without ull acknowledgement o the source. The thesis is to be used or private study or non-commercial
More informationTriangulated categories and localization
Trianulated cateories and localization Karin Marie Jacobsen Master o Science in Physics and Mathematics Submission date: Januar 212 Supervisor: Aslak Bakke Buan, MATH Norweian University o Science and
More information{1X } if X = Y otherwise.
C T E G O R Y T H E O R Y Dr E. L. Cheng e.cheng@dpmms.cam.ac.uk http://www.dpmms.cam.ac.uk/ elgc2 Michaelmas 2002 1 Categories, unctors and natural transormations 1.1 Categories DEFINITION 1.1.1 category
More information3 3 Lemma and Protomodularity
Ž. Journal o Algebra 236, 778795 2001 doi:10.1006jabr.2000.8526, available online at http:www.idealibrary.com on 3 3 Lemma and Protomodularity Dominique Bourn Uniersite du Littoral, 220 a. de l Uniersite,
More informationTangent Categories. David M. Roberts, Urs Schreiber and Todd Trimble. September 5, 2007
Tangent Categories David M Roberts, Urs Schreiber and Todd Trimble September 5, 2007 Abstract For any n-category C we consider the sub-n-category T C C 2 o squares in C with pinned let boundary This resolves
More informationTHE GORENSTEIN DEFECT CATEGORY
THE GORENSTEIN DEFECT CATEGORY PETTER ANDREAS BERGH, DAVID A. JORGENSEN & STEFFEN OPPERMANN Dedicated to Ranar-Ola Buchweitz on the occasion o his sixtieth birthday Abstract. We consider the homotopy cateory
More informationThe inner automorphism 3-group of a strict 2-group
The inner automorphism 3-roup o a strict 2-roup Dav Roberts and Urs Schreiber July 25, 2007 Abstract or any roup G, there is a 2-roup o inner automorphisms, INN(G). This plays the role o the universal
More informationTHE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS
THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS FINNUR LÁRUSSON Abstract. We give a detailed exposition o the homotopy theory o equivalence relations, perhaps the simplest nontrivial example o a model structure.
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 informationEpimorphisms and maximal covers in categories of compact spaces
@ Applied General Topoloy c Universidad Politécnica de Valencia Volume 14, no. 1, 2013 pp. 41-52 Epimorphisms and maximal covers in cateories o compact spaces B. Banaschewski and A. W. Haer Abstract The
More informationSTRONGLY GORENSTEIN PROJECTIVE MODULES OVER UPPER TRIANGULAR MATRIX ARTIN ALGEBRAS. Shanghai , P. R. China. Shanghai , P. R.
STRONGLY GORENSTEIN PROJETIVE MODULES OVER UPPER TRINGULR MTRIX RTIN LGERS NN GO PU ZHNG Department o Mathematics Shanhai University Shanhai 2444 P R hina Department o Mathematics Shanhai Jiao Ton University
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 informationINTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES
INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES 1. Why correspondences? This part introduces one of the two main innovations in this book the (, 2)-category of correspondences as a way to encode
More informationGeneralized Matrix Artin Algebras. International Conference, Woods Hole, Ma. April 2011
Generalized Matrix Artin Algebras Edward L. Green Department of Mathematics Virginia Tech Blacksburg, VA, USA Chrysostomos Psaroudakis Department of Mathematics University of Ioannina Ioannina, Greece
More informationCategories and Modules
Categories and odules Takahiro Kato arch 2, 205 BSTRCT odules (also known as profunctors or distributors) and morphisms among them subsume categories and functors and provide more general and abstract
More informationIntroduction to Categorical Semantics for Proof Theory (OPLSS 2015)
Introduction to Categorical Semantics for Proof Theory (OPLSS 2015) Edward Morehouse Carnegie Mellon University June 2015 (revised June 15, 2015) Contents 1 asic Categories 3 1.1 Definition of a Category.......................
More informationIntroduction to Categorical Quantum Mechanics. Chris Heunen and Jamie Vicary
Introduction to Categorical Quantum Mechanics Chris Heunen and Jamie Vicary February 20, 2013 ii Preace Physical systems cannot be studied in isolation, since we can only observe their behaviour with respect
More informationCOARSE-GRAINING OPEN MARKOV PROCESSES. John C. Baez. Kenny Courser
COARE-GRAINING OPEN MARKOV PROCEE John C. Baez Department o Mathematics University o Caliornia Riverside CA, UA 95 and Centre or Quantum echnoloies National University o inapore inapore 7543 Kenny Courser
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationRepresentation Theory of Hopf Algebroids. Atsushi Yamaguchi
Representation Theory o H Algebroids Atsushi Yamaguchi Contents o this slide 1. Internal categories and H algebroids (7p) 2. Fibered category o modules (6p) 3. Representations o H algebroids (7p) 4. Restrictions
More informationELEMENTARY TOPOI: SETS, GENERALIZED
ELEMENTARY TOPOI: SETS, GENERALIZED CHRISTOPHER HENDERSON Abstract. An elementary topos is a nice way to generalize the notion of sets using categorical language. If we restrict our world to categories
More informationProgramming Languages in String Diagrams. [ one ] String Diagrams. Paul-André Melliès. Oregon Summer School in Programming Languages June 2011
Programming Languages in String Diagrams [ one ] String Diagrams Paul-ndré Melliès Oregon Summer School in Programming Languages June 2011 String diagrams diagrammatic account o logic and programming 2
More informationGrothendieck duality for affine M 0 -schemes.
Grothendieck duality for affine M 0 -schemes. A. Salch March 2011 Outline Classical Grothendieck duality. M 0 -schemes. Derived categories without an abelian category of modules. Computing Lf and Rf and
More informationSPAN, COSPAN, AND OTHER DOUBLE CATEGORIES
Theory and Applications o Categories, Vol. 26, No. 26, 212, pp. 729 742. SPAN, COSPAN, AND OTHER DOUBLE CATEGORIES SUSAN NIEFIELD Abstract. Given a double category D such that D has pushouts, we characterize
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 informationINTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY
INTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY RAVI VAKIL CONTENTS 1. What we re doin this week 1 2. Precise statements 2 2.1. Basic operations and properties 4 3. Provin thins 6
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 informationCategory theory and set theory: algebraic set theory as an example of their interaction
Category theory and set theory: algebraic set theory as an example of their interaction Brice Halimi May 30, 2014 My talk will be devoted to an example of positive interaction between (ZFC-style) set theory
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 informationJournal of Pure and Applied Algebra
Journal o Pure and Applied Algebra 215 (2011) 2135 2147 Contents lists available at ScienceDirect Journal o Pure and Applied Algebra journal homepage: www.elsevier.com/locate/jpaa Internal Kleisli categories
More informationApplications of 2-categorical algebra to the theory of operads. Mark Weber
Applications of 2-categorical algebra to the theory of operads Mark Weber With new, more combinatorially intricate notions of operad arising recently in the algebraic approaches to higher dimensional algebra,
More informationCategories and Quantum Informatics: Monoidal categories
Cateories and Quantum Inormatics: Monoidal cateories Chris Heunen Sprin 2018 A monoidal cateory is a cateory equipped with extra data, describin how objects and morphisms can be combined in parallel. This
More information1. Introduction and preliminaries
Quasigroups and Related Systems 23 (2015), 283 295 The categories of actions of a dcpo-monoid on directed complete posets Mojgan Mahmoudi and Halimeh Moghbeli-Damaneh Abstract. In this paper, some categorical
More informationA Gentle Introduction to Category Theory
Gentle Introduction to Category Theory rian Whetter pril 2014 1 Introduction Category theory (sometimes called abstract nonsense ) grew out of a desire to create a general theory between different mathematical
More informationAn introduction to toposes. Richard Pettigrew Department of Philosophy University of Bristol
n introduction to toposes Richard Pettigrew Department of Philosophy University of Bristol Contents 1 Motivating category theory 1 1.1 The idea behind category theory.................. 1 2 The definition
More informationFunctor Semantics for Refactoring-Induced Data Migration
Functor Semantics for Refactoring-Induced Data Migration Harald König, Michael Löwe, Christoph Schulz Bericht Nr.: 02007/01 Impressum Forschungsberichte der FHDW Hannover Veröffentlichungen aus dem Bereich
More informationWestern University. Imants Barušs King's University College, Robert Woodrow
Western University Scholarship@Western Psycholoy Psycholoy 2013 A reduction theorem or the Kripke-Joyal semantics: Forcin over an arbitrary cateory can always be replaced by orcin over a complete Heytin
More informationENHANCED SIX OPERATIONS AND BASE CHANGE THEOREM FOR ARTIN STACKS
ENHANCED SIX OPERATIONS AND BASE CHANGE THEOREM FOR ARTIN STACKS YIFENG LIU AND WEIZHE ZHENG Abstract. In this article, we develop a theory o Grothendieck s six operations or derived categories in étale
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 informationPART II.2. THE!-PULLBACK AND BASE CHANGE
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.
More informationBarr s Embedding Theorem for Enriched Categories
Barr s Embedding Theorem for Enriched Categories arxiv:0903.1173v3 [math.ct] 31 Aug 2009 Dimitri Chikhladze November 9, 2018 Abstract We generalize Barr s embedding theorem for regular categories to the
More informationA UNIFIED FRAMEWORK FOR GENERALIZED MULTICATEGORIES
Theory and Applications o Categories, Vol. 24, No. 21, 2010, pp. 580 655. A UNIFIED FRAMEWORK FOR GENERALIZED MULTICATEGORIES G.S.H. CRUTTWELL AND MICHAEL A. SHULMAN Abstract. Notions o generalized multicategory
More informationThe excess intersection formula for Grothendieck-Witt groups
manuscripta mathematica manuscript No. (will be inserted by the editor) Jean Fasel The excess intersection ormula or Grothendieck-Witt roups Received: date / Revised version: date Abstract. We prove the
More informationKleisli Category and Database Mappings
Kleisli Category and Database Mappings Zoran Majkić 1 and Bhanu Prasad 2 1 ETF, Applied Mathematics Department, University of Belgrade, Serbia 2 Department of Computer and Information Sciences, Florida
More informationarxiv: v7 [cs.db] 24 Jul 2015
Relational oundations or unctorial Data Miration David I. Spivak, Ryan Wisnesky Massachusetts Institute o Technoloy {dspivak, wisnesky}@math.mit.edu arxiv:1212.5303v7 [cs.db] 24 Jul 2015 July 28, 2015
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationC2.7: CATEGORY THEORY
C2.7: CATEGORY THEORY PAVEL SAFRONOV WITH MINOR UPDATES 2019 BY FRANCES KIRWAN Contents Introduction 2 Literature 3 1. Basic definitions 3 1.1. Categories 3 1.2. Set-theoretic issues 4 1.3. Functors 5
More informationThe Uniformity Principle on Traced Monoidal Categories
Electronic Notes in Theoretical Computer Science 69 (2003) URL: http://www.elsevier.nl/locate/entcs/volume69.html 19 pages The Uniormity Principle on Traced Monoidal Categories Masahito Hasegawa Research
More informationBARYCENTRIC SUBDIVISION AND ISOMORPHISMS OF GROUPOIDS
BARYCENTRIC SUBDIVISION AND ISOMORPHISMS OF GROUPOIDS JASHA SOMMER-SIMPSON Abstract Given roupoids G and H as well as an isomorpism Ψ : Sd G = Sd H between subdivisions, we construct an isomorpism P :
More informationFinite group schemes
Finite group schemes Johan M. Commelin October 27, 2014 Contents 1 References 1 2 Examples 2 2.1 Examples we have seen before.................... 2 2.2 Constant group schemes....................... 3 2.3
More informationInternal categories and anafunctors
CHAPTER 1 Internal cateories and anafunctors In this chapter we consider anafunctors [Mak96, Bar6] as eneralised maps between internal cateories [Ehr63], and show they formally invert fully faithful, essentially
More informationarxiv: v1 [math.ct] 29 Mar 2017
DECORATED CORELATIONS BRENDAN FONG arxiv:703.09888v [math.ct] 29 Mar 207 Abstract. Let C be a category with finite colimits, and let (E, M) be a factorisation system on C with M stable under pushouts.
More informationCategory Theory for Linear Logicians
Category Theory for Linear Logicians Richard Blute Philip Scott September 10, 2003 Abstract This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis
More informationA 2-CATEGORIES COMPANION
A 2-CATEGORIES COMPANION STEPHEN LACK Abstract. This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional
More informationBALANCED CATEGORY THEORY
Theory and Applications o Categories, Vol. 20, No. 6, 2008, pp. 85 5. BALANCED CATEGORY THEORY CLAUDIO PISANI Abstract. Some aspects o basic category theory are developed in a initely complete category
More information