CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
|
|
- Shannon Morton
- 5 years ago
- Views:
Transcription
1 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 of: 1. Chapter I. Definitions and examples (i) a collection ob C of objects A, B, C,... (ii) a collection mor C of morphisms f, g, h,... (iii) two operations, dom and cod, from morphisms to objects, denoted f : A B or A f B, standing for dom f = A, cod f = B. (iv) an operation A 1 A from objects to morphisms such that 1 A : A A (v) an operation (f, g) fg from pairs with dom f = cod g such that dom fg = dom g and cod fg = cod f. These data satisfy (vi) f : A B, f1 A = 1 B f = f (vii) if fg and gh are defined, then f(gh) = (fg)h. Remark 1.2. (a) we don t require ob C and mor C to be sets. If they are, we call C a small category. (b) we don t need the objects at all, because we can recover them from the identity morphisms: A 1 A is a bijection from ob C to the collection of morphisms f satisfying fg = g and hf = h whenever the composites are defined 1. Example 1.3. (a) Set, the category of sets with set functions. Morphisms are formally pairs (f, B) where f is a function from A to B, because set functions don t specify their codomain. (b) We can impose some structure on sets and require the morphisms to respect that structure in order to obtain new categories. This way, we get Gp - the category of groups with group homomorphisms, Rng - the category of rings with ring homomorphisms, and Mod R, the category of R-modules with R-module homomorphisms. (c) Top, the category of topological structures, and Mf - the category of C manifolds with smooth C -maps between them. (d) Htpy - the homotopy category with objects the same as those of Top, but morphisms X Y are homotopy classes of maps. This is our first example of a category where the morphisms are not just special kinds of set functions. By the way, in general an equivalence relation on mor C is called a congruence if: f g = dom f = dom g, cod f = cod g f g = fh gh, kf kg whenever the composites are defined. Then for a congruence, there is a category C/ with the same objects as C, but where morphisms are -equivalence classes. 1 This needs a bit of work: if f : A A is such that fg = g and hf = h whenever the composites are defined, we have f = f1 A = 1 A. 1
2 2 PROFESSOR PETER JOHNSTONE (e) For any category C, we have the opposite category C op, obtained by reversing all morphisms. So whenever we have a theorem about categories, we get another one by inverting the arrows. This is the duality principle: if ϕ is a valid statement about categories, so is the statement ϕ obtained by reversing all morphisms. (f) A cat with one object is a monoid. In particular, a group can be viewed as a small category with one object. (g) A groupoid is a cat in which all morphisms are isomorphisms. For example, the fundamental groupoid of a topological space. (h) a category whose only morphisms are identities is called discrete. A cat in which for any A, B there is at most one morphisms A B is called a preorder, i.e. a class equipped with a reflexive and transitive relation. In particular, a partial order is a preorder in which the only isomorphisms are identities. (i) The category Rel with the same objects as Set, but morphisms given by binary relations. The composition of functions extends to composition of relations: the composite of the relations S on B C and R on A B is R S = { (a, c) b B such that (a, b) R, (b, c) S } Notice that Set is a subcategory (we haven t defined that yet, but it s obvious what it should be) of Rel, and Rel = Rel op. (j) Let K be a field. The category Mat K has objects N and morphisms n p are p n matrices over K, with composition being matrix multiplication. Note that Mat K = Mat op K by transposition. (k) Let Π be a formal theory. The category Der Π of derivations relative to Π has objects the formulas in the language of Π, and morphisms are derivations ϕ ψ, that is, a list of formulas following the rules of Π, with 1 ϕ being the one-line derivation ϕ, and composition is by concatenation. Definition 1.4. Let C, D be cats. A functor F : C D consists of: (i) an operation A F A from ob C to ob D (ii) an operation f F f from mor C to mor D having the obvious consistency properties: If f : A B then F f : F A F B F (1 A ) = 1 F A F fg = F ff g whenever fg is defined. Example 1.5. (a) Forgetful functors: they forget some amount of additional structure. We have forgetful functors Gp Set, Top Set, Rng Gp,.... (b) The free group functor. Let F A denote the free group on a set A. It comes equipped with an inclusion map η A : A F A between underlying sets, and any f : A G for G a group factors uniquely through F A. In fact, F is a functor Set Gp, because of the following commutative diagram: A η A F A f B η B F B The rest of the details are straightforward to check. (c) The abelianization of an arbitrary group G is the quotient G/G where G is the (necessarily normal) subgroup generated by the commutators x 1 y 1 xy for all x, y G. This construction defines a functor Gp AbGp.!F f
3 CATEGORY THEORY 3 (d) The powerset functor. For any set A, let P A denote the powerset. Then P is a functor Set Set: given f : A B, define P f(a ) = { f(x) x A } A A We can also make P into a functor P : Set Set op by setting P f(b ) = { x A } f(x) B B B. By the way, a contravariant functor C D is defined to be a functor C op D; a covariant functor is just a functor, as we ve defined it. (e) The dual of a vector space over a field K is a contravariant functor Mod K Mod K : given α : V W, α : W V is the operation of precomposing linear maps W K with α. (f) Let Cat denote the category of small categories and functors between them. Then C C op is a (covariant) functor Cat Cat. (g) If M, N are monoids regarded as one-object categories, a functor M N is a monoid homomorphism. In particular, Gp is a subcategory of Cat. (h) Similarly, if P and Q are partially ordered sets regarded as categories, a functor P Q is an order-preserving map. (i) Let G be a group regarded as a category G. A functor F : G Set is an action of G on a set, i.e. a permutation representation of G. Similarly, a functor G Mod K is a K-linear representation of G. (j) And of course many examples from algebraic topology, such as the fundamental group, homology and cohomology. Definition 1.6. Let C, D be categories and F, G : C D two functors. A natural transformation α : F G is an operation A α A from ob C to mor D such that for all A, (i) dom α A = F A and cod α A = GA for all A (ii) for all functors f : A B, the following diagram commutes: F A F f F B α A GA Gf GB Example 1.7. (a) There s a natural transformation α : 1 ModK (where is the dual space functor). Here α V : V V sends r V to evaluation at r. In fact, if we restrict to finite-dimensional spaces, α becomes a natural isomorphism, i.e. an isomorphism in the category [fdmod K, fdmod K ], where [C, D] denotes the category of all functors C D and natural transformations between them. Note that if α is a natural transformation and each α A is an isomorphism, then the inverses β A of the α A also form a natural transformation, since α B β B Gf = β B Gfα A β A = β B α B F fβ A = F fβ A (b) Let F : Set Gp be the free group functor and U : Gp Set the forgetful functor. The inclusion of generators η A : A UF A is a natural transformation between id Set and UF. (c) Consider the maps α A : A P(A) given by A {A}; they give a natural transformation between id Set and P. (d) Suppose G, H are groups, and f, f : G H are homomorphisms. A natural transformation f f is an element h H such that hf(g) = f (g)h for all g G, i.e. hf(g)h 1 = f (g), so h exists iff f, f are conjugate homomorphisms.
4 4 PROFESSOR PETER JOHNSTONE (e) For any space X with basepoint x, there exists a natural mapping h (X,x) : π 1 (X, x) H 1 (X), which is the (X, x) component of a natural transformation to the composite Top U Top H1 AbGp ι Gp Definition 1.8. Let f : C D be a functor. We say F is faithful if, given f, g mor C, the equations dom f = dom g, cod f = cod g and F f = F g imply f = g. F is full if, given g : F A F B in D, there exists f : A B in C with F f = g. We say a subcategory C of C is full if the inclusion C C is full. So for example AbGp is a full subcategory of Gp, but the category Lat of lattices (i.e., posets with least upper bounds and greatest lower bounds for finite subsets) is not a full subcategory of Poset. Definition 1.9. Let C and D be categories. An equivalence between C and D is a pair of functors F : C D and G : D C together with natural isomorphisms α : id C GF, β : F G id D. We denote equivalence by C D. We say a property P of categories is a categorical property if whenever C has P and C D, then D has P. Example (a) Given an object B of a category C, we write C/B for the cat whose objects are morphisms f : A B and morphisms are commutative diagrams A g A f B For example, we have Set/B Set B. We obtain a functor in the forward direction if we take an object (f : A B) to the set b B {f 1 (b)}, and a morphism g as in the diagram to the product map b B g. A functor going the other way sends b B C b to b B C π b {b} 2 B, and a map b B g b : b B C b b B C b to the map b B g b id. (b) Let 1\Cat be the cat of pointed sets (A, a) and let Part be the subcat of Rel whose morphisms are partial functions, i.e. relations R such that (a, b), (a, b ) R = b = b. Then 1\Set Part: in one direction, send (A, a) A {a} and f : (A, a) (B, b) to { } (x, y) x A, y B, f(x) = y, y b f In the other, send A to (A {A}, {A}) and a partial function f : A B to the function f defined by { f(a), if a dom f f = {B}, otherwise. (c) The cat fdmod K is equivalent to fdmod op K by the duality functors and the natural isomorphism id fdmodk. (d) The cat fdmod K is equivalent to Mat K : in one direction, we send an object n of Mat K to K n, and a morphism A to the linear map with matrix A. In the opposite direction, we choose a basis for each space V and send V dim V and (θ : V W ) the matrix representing θ with respect to the chosen bases. We say a functor F : C D is essentially surjective if, for all B ob D, there exists A ob C such that B = F A.
5 CATEGORY THEORY 5 Lemma A functor F : C D is part of an equivalence between C and D iff F is full, faithful, and essentially surjective. Proof. ( = ) Suppose given G, α and β as in Definition 1.9 (equivalence of categories). Then B = F GB for all B, so F is essentially surjective. Suppose given f, g : A B in C with F f = F g; then GF f = GF g, but f = α 1 B (GF f)α A by naturality of α, so f = g. For fullness, suppose given g : F A F B in D. Define f = α 1 B (Gg)α A : A GF A GF B B. Then GF f = Gg since both are equal to α B fα 1 A. But G is faithful, so F f = g. ( = ) For each B ob D, choose GB and an isomorphism β B : F GB B. To define G on morphisms, suppose given g : B C. Then define Gg : GB GC to be the unique morphism whose image under F is β 1 C gβ B : F GB F GC. Faithfulness of F ensures that G(g)G(h) = G(gh) whenever gh is defined, since they have the same image under F. So, G is a functor, and by construction β is a natural isomorphism F G 1 D. To define α A : A GF A, take it to be the unique map such that F α A = β 1 F A. This is natural since the unique morphism mapped to β F A is a 2-sided inverse for it. Definition (a) A category C is called skeletal if any isomorphism f in C satisfies dom f = cod f. (b) By a skeleton of a category C, we mean a full subcategory C containing exactly one object from each isomorphism class of objects of C By Lemma 1.11, if C is a skeleton of C then the inclusion functor C C is part of an equivalence. Remark Each of the following statements is equivalent to the (set-theoretic) axiom of choice: (a) Every small cat has a skeleton. (!!) (b) Every small cat is equivalent to any of its skeletons. (c) Any two skeletons of a given small cat are isomorphic Definition (a) A morphism f : A B in a cat C is called a monomorphism if, given any two morphisms g, h : C A with fg = fh, we have g = h. We write f : A B (b) Dually, f is called an epimorphism if kf = lf implies k = l whenever the composites are defined. We write Af : B (c) C is called balanced if every f mor C which is both monic and epic is an isomorphism. Example (a) In Set, monic injective; injectivity is the case C = { } of the definition, but that implies the general case. Also, epic surjective: if f is not surjective, let b B im f and consider k, l : B {0, 1} where k = 0 and l(b) = 1, l( b) = 0. (b) In Gp, monic injective (proof as in (a), but replace { } by Z. Also, epic surjective. Proof is not trivial. (c) In Rng, we again have monic injective, but there exist epimorphisms that are not surjective, e.g. the inclusion map Z Q is epic. So Rng is not balanced. (d) In Top, monic injective and epic surjective, with essentially same proof as for Set, but Top isn t balanced: e.g., different topologies on 2-point set. (e) In a poset, every morphism is both monic and epic, so the only balanced posets are discrete ones.
Categories 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 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 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 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 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 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 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 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 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 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 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 informationGALOIS CATEGORIES MELISSA LYNN
GALOIS CATEGORIES MELISSA LYNN Abstract. In abstract algebra, we considered finite Galois extensions of fields with their Galois groups. Here, we noticed a correspondence between the intermediate fields
More informationAlgebraic Geometry
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 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 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 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 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 informationIntroduction to Restriction Categories
Introduction to Restriction Categories Robin Cockett Department of Computer Science University of Calgary Alberta, Canada robin@cpsc.ucalgary.ca Estonia, March 2010 Defining restriction categories Examples
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 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 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 informationMath Homotopy Theory Hurewicz theorem
Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S
More informationElements of Category Theory
Elements of Category Theory Robin Cockett Department of Computer Science University of Calgary Alberta, Canada robin@cpsc.ucalgary.ca Estonia, Feb. 2010 Functors and natural transformations Adjoints and
More informationLectures on Homological Algebra. Weizhe Zheng
Lectures on Homological Algebra Weizhe Zheng Morningside Center of Mathematics Academy of Mathematics and Systems Science, Chinese Academy of Sciences Beijing 100190, China University of the Chinese Academy
More informationCommutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)
Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Navid Alaei September 17, 2013 1 Lattice Basics There are, in general, two equivalent approaches to defining a lattice; one is rather
More informationCategory Theory 1 Categories and functors
Category Theory 1 Categories and functors This is to accompany the reading of 1 7 October and the lecture of 8 October. mistakes and obscurities to T.Leinster@maths.gla.ac.uk. Please report Some questions
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 informationExercises on chapter 0
Exercises on chapter 0 1. A partially ordered set (poset) is a set X together with a relation such that (a) x x for all x X; (b) x y and y x implies that x = y for all x, y X; (c) x y and y z implies that
More information9 Direct products, direct sums, and free abelian groups
9 Direct products, direct sums, and free abelian groups 9.1 Definition. A direct product of a family of groups {G i } i I is a group i I G i defined as follows. As a set i I G i is the cartesian product
More informationHigher Categories, Homotopy Theory, and Applications
Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems
More informationThe Structure of Endomorphism Monoids in Conjugate Categories
International Journal of Algebra, Vol. 3, 2009, no. 17, 839-856 The Structure of Endomorphism Monoids in Conjugate Categories Randall D. Helmstutler Department of Mathematics University of Mary Washington
More informationMath 901 Notes 3 January of 33
Math 901 Notes 3 January 2012 1 of 33 Math 901 Fall 2011 Course Notes Information: These are class notes for the second year graduate level algebra course at UNL (Math 901) as taken in class and later
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 informationMaps and Monads for Modal Frames
Robert Goldblatt Maps and Monads for Modal Frames Dedicated to the memory of Willem Johannes Blok. Abstract. The category-theoretic nature of general frames for modal logic is explored. A new notion of
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationDerived Categories. Mistuo Hoshino
Derived Categories Mistuo Hoshino Contents 01. Cochain complexes 02. Mapping cones 03. Homotopy categories 04. Quasi-isomorphisms 05. Mapping cylinders 06. Triangulated categories 07. Épaisse subcategories
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
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 informationEnriched Categories. Stephen Fitz
Enriched Categories Stephen Fitz Abstract I will introduce some of the basic concepts of Enriched Category Theory with examples of enriched categories. Contents 1 Enriched Categories 2 1.1 Introduction..............................
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationTopos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.
logic s Lectures 17-20: logic in 2 / 40 logic s Interpreting first-order logic in In Logic, first-order s are a wide class of formal s used for talking about structures of any kind (where the restriction
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 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 informationTheory of Categories 1. Notes M. Grandis Laurea e Laurea Magistrale in Matematica, Genova.
Theory of Categories 1. Notes M. Grandis Laurea e Laurea Magistrale in Matematica, Genova. 0. Introduction Category Theory yields a general frame for studying mathematical structures and their universal
More informationHOMOLOGY THEORIES INGRID STARKEY
HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used
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 informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
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 informationAmalgamable diagram shapes
Amalgamable diagram shapes Ruiyuan hen Abstract A category has the amalgamation property (AP) if every pushout diagram has a cocone, and the joint embedding property (JEP) if every finite coproduct diagram
More information3 The Hom Functors Projectivity and Injectivity.
3 The Hom Functors Projectivity and Injectivity. Our immediate goal is to study the phenomenon of category equivalence, and that we shall do in the next Section. First, however, we have to be in control
More informationEXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY
EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital
More informationLie Algebra Cohomology
Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d
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 informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
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 informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
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 informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
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 informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH
ABSTRACT ALGEBRA 1, LECTURE NOTES 5: HOMOMORPHISMS, ISOMORPHISMS, SUBGROUPS, QUOTIENT ( FACTOR ) GROUPS. ANDREW SALCH 1. Homomorphisms and isomorphisms between groups. Definition 1.1. Let G, H be groups.
More informationMinimal Cell Structures for G-CW Complexes
Minimal Cell Structures for G-CW Complexes UROP+ Final Paper, Summer 2016 Yutao Liu Mentor: Siddharth Venkatesh Project suggested by: Haynes Miller August 31, 2016 Abstract: In this paper, we consider
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationNOTES ON CHAIN COMPLEXES
NOTES ON CHAIN COMPLEXES ANDEW BAKE These notes are intended as a very basic introduction to (co)chain complexes and their algebra, the intention being to point the beginner at some of the main ideas which
More informationExact Categories in Functional Analysis
Script Exact Categories in Functional Analysis Leonhard Frerick and Dennis Sieg June 22, 2010 ii To Susanne Dierolf. iii iv Contents 1 Basic Notions 1 1.1 Categories............................. 1 1.2
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More information1. The Method of Coalgebra
1. The Method of Coalgebra Jan Rutten CWI Amsterdam & Radboud University Nijmegen IMS, Singapore - 15 September 2016 Overview of Lecture one 1. Category theory (where coalgebra comes from) 2. Algebras
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 informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationLOCALIZATION THEORY FOR TRIANGULATED CATEGORIES
LOCALIZATION THEORY FOR TRIANGULATED CATEGORIES HENNING KRAUSE Contents 1. Introduction 1 2. Categories of fractions and localization functors 3 3. Calculus of fractions 9 4. Localization for triangulated
More informationarxiv: v1 [math.ct] 6 Apr 2017
DUALITY IN NON-ABELIAN ALGEBRA IV. DUALITY FOR GROUPS AND A UNIVERSAL ISOMORPHISM THEOREM AMARTYA GOSWAMI AND ZURAB JANELIDZE arxiv:1704.01863v1 [math.ct] 6 Apr 2017 Abstract. Abelian categories provide
More informationRepresentable presheaves
Representable presheaves March 15, 2017 A presheaf on a category C is a contravariant functor F on C. In particular, for any object X Ob(C) we have the presheaf (of sets) represented by X, that is Hom
More informationarxiv: v2 [math.ct] 27 Dec 2014
ON DIRECT SUMMANDS OF HOMOLOGICAL FUNCTORS ON LENGTH CATEGORIES arxiv:1305.1914v2 [math.ct] 27 Dec 2014 ALEX MARTSINKOVSKY Abstract. We show that direct summands of certain additive functors arising as
More informationMath Homotopy Theory Spring 2013 Homework 13 Solutions
Math 527 - Homotopy Theory Spring 2013 Homework 13 Solutions Definition. A space weakly equivalent to a product of Eilenberg-MacLane spaces is called a generalized Eilenberg-MacLane space, or GEM for short.
More informationCOURSE NOTES: HOMOLOGICAL ALGEBRA
COURSE NOTES: HOMOLOGICAL ALGEBRA AMNON YEKUTIELI Contents 1. Introduction 1 2. Categories 2 3. Free Modules 13 4. Functors 18 5. Natural Transformations 23 6. Equivalence of Categories 29 7. Opposite
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More information1 Introduction Category Theory Topological Preliminaries Function Spaces Algebraic Preliminaries...
Contents 1 Introduction 1 1.1 Category Theory........................... 1 1.2 Topological Preliminaries...................... 5 1.3 Function Spaces............................ 9 1.4 Algebraic Preliminaries.......................
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationOVERVIEW OF SPECTRA. Contents
OVERVIEW OF SPECTRA Contents 1. Motivation 1 2. Some recollections about Top 3 3. Spanier Whitehead category 4 4. Properties of the Stable Homotopy Category HoSpectra 5 5. Topics 7 1. Motivation There
More informationarxiv: v1 [math.ct] 7 Feb 2011
Chapter 1 Introduction to Categories and Categorical Logic Samson Abramsky and Nikos Tzevelekos arxiv:1102.1313v1 [math.ct] 7 Feb 2011 Oxford University Computing Laboratory Wolfson Building, Parks Road,
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationThe classifying space of a monoid
Oliver Urs Lenz The classifying space of a monoid Thesis submitted in partial satisfaction of the requirements for the degree of Master of Science in Mathematics 20 December 2011 Advisor: Dr. Lenny D.J.
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
More information1 Introduction. 2 Categories. Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties
Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties 1 Introduction Recall from last time that every affine algebraic variety V A n determines a unique finitely generated, reduced
More informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 5
CLASS NOTES MATH 527 (SPRING 2011) WEEK 5 BERTRAND GUILLOU 1. Mon, Feb. 14 The same method we used to prove the Whitehead theorem last time also gives the following result. Theorem 1.1. Let X be CW and
More informationProperties of Triangular Matrix and Gorenstein Differential Graded Algebras
Properties of Triangular Matrix and Gorenstein Differential Graded Algebras Daniel Maycock Thesis submitted for the degree of Doctor of Philosophy chool of Mathematics & tatistics Newcastle University
More informationTopos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos
Lectures 21 and 22: toposes of 2 / 30 Toposes as mathematical universes of Recall that every Grothendieck topos E is an elementary topos. Thus, given the fact that arbitrary colimits exist in E, we can
More informationAlgebras. Larry Moss Indiana University, Bloomington. TACL 13 Summer School, Vanderbilt University
1/39 Algebras Larry Moss Indiana University, Bloomington TACL 13 Summer School, Vanderbilt University 2/39 Binary trees Let T be the set which starts out as,,,, 2/39 Let T be the set which starts out as,,,,
More informationDerived categories, perverse sheaves and intermediate extension functor
Derived categories, perverse sheaves and intermediate extension functor Riccardo Grandi July 26, 2013 Contents 1 Derived categories 1 2 The category of sheaves 5 3 t-structures 7 4 Perverse sheaves 8 1
More informationRUDIMENTARY CATEGORY THEORY NOTES
RUDIMENTARY CATEGORY THEORY NOTES GREG STEVENSON Contents 1. Categories 1 2. First examples 3 3. Properties of morphisms 5 4. Functors 6 5. Natural transformations 9 6. Equivalences 12 7. Adjunctions 14
More informationThe Universal Coefficient Theorem
The Universal Coefficient Theorem Renzo s math 571 The Universal Coefficient Theorem relates homology and cohomology. It describes the k-th cohomology group with coefficients in a(n abelian) group G in
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 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 informationarxiv: v2 [math.ra] 14 Sep 2016
ON THE NEGATIVE-ONE SHIFT FUNCTOR FOR FI-MODULES arxiv:1603.07974v2 [math.ra] 14 Sep 2016 WEE LIANG GAN Abstract. We show that the negative-one shift functor S 1 on the category of FI-modules is a left
More informationLecture 17: Invertible Topological Quantum Field Theories
Lecture 17: Invertible Topological Quantum Field Theories In this lecture we introduce the notion of an invertible TQFT. These arise in both topological and non-topological quantum field theory as anomaly
More informationMath 440 Problem Set 2
Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.
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 informationSOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2
SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor
More informationTHE CANTOR-SCHROEDER-BERNSTEIN PROPERTY IN CATEGORIES
THE CANTOR-SCHROEDER-BERNSTEIN PROPERTY IN CATEGORIES DON LAACKMAN Abstract. A category is said to have the Cantor-Schroeder-Bernstein property if, whenever there are monic maps f : C D and g : D C, there
More information