CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

Size: px
Start display at page:

Download "CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths."

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

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 information

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

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 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 information

Review of category theory

Review 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 information

Category Theory. Categories. Definition.

Category 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 information

PART I. Abstract algebraic categories

PART 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 information

Adjunctions! Everywhere!

Adjunctions! 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 information

Category theory for computer science. Overall idea

Category 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 information

1 Categorical Background

1 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 information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

FOUNDATIONS 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 information

Category Theory (UMV/TK/07)

Category 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 information

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.

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. 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 information

GALOIS CATEGORIES MELISSA LYNN

GALOIS 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 information

Algebraic Geometry

Algebraic 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 information

Category Theory. Travis Dirle. December 12, 2017

Category 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 information

Category Theory. Course by Dr. Arthur Hughes, Typset by Cathal Ormond

Category 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 information

From Wikipedia, the free encyclopedia

From 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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 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 information

Introduction to Restriction Categories

Introduction 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 information

What s category theory, anyway? Dedicated to the memory of Dietmar Schumacher ( )

What 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 information

C2.7: CATEGORY THEORY

C2.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 information

Symbol Index Group GermAnal Ring AbMonoid

Symbol 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 information

Math Homotopy Theory Hurewicz theorem

Math 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 information

Elements of Category Theory

Elements 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 information

Lectures on Homological Algebra. Weizhe Zheng

Lectures 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 information

Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)

Commutative 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 information

Category Theory 1 Categories and functors

Category 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 information

Algebraic Geometry Spring 2009

Algebraic 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 information

Exercises on chapter 0

Exercises 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 information

9 Direct products, direct sums, and free abelian groups

9 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 information

Higher Categories, Homotopy Theory, and Applications

Higher 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 information

The Structure of Endomorphism Monoids in Conjugate Categories

The 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 information

Math 901 Notes 3 January of 33

Math 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 information

1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.

1 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 information

Maps and Monads for Modal Frames

Maps 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 information

FUNCTORS AND ADJUNCTIONS. 1. Functors

FUNCTORS 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 information

Derived Categories. Mistuo Hoshino

Derived 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 information

A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A 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 information

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY

COMMUTATIVE 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 information

Enriched Categories. Stephen Fitz

Enriched 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 information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A 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 information

Topos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.

Topos 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 information

Universal Properties

Universal 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 information

Topological aspects of restriction categories

Topological 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 information

Theory 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. 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 information

HOMOLOGY THEORIES INGRID STARKEY

HOMOLOGY 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 information

An introduction to toposes. Richard Pettigrew Department of Philosophy University of Bristol

An 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 information

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 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 information

Direct Limits. Mathematics 683, Fall 2013

Direct 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 information

Amalgamable diagram shapes

Amalgamable 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 information

3 The Hom Functors Projectivity and Injectivity.

3 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 information

EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY

EXAMPLES 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 information

Lie Algebra Cohomology

Lie 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 information

Morita Equivalence. Eamon Quinlan

Morita 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 information

Frobenius Green functors

Frobenius 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 information

HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS

HSP 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 information

Quantizations and classical non-commutative non-associative algebras

Quantizations 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 information

Cartesian Closed Topological Categories and Tensor Products

Cartesian 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 information

MATH 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. 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 information

CONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.

CONTINUITY. 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 information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 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 information

ABSTRACT 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 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 information

Minimal Cell Structures for G-CW Complexes

Minimal 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 information

The Ordinary RO(C 2 )-graded Cohomology of a Point

The 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 information

NOTES ON CHAIN COMPLEXES

NOTES 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 information

Exact Categories in Functional Analysis

Exact 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 information

Homology and Cohomology of Stacks (Lecture 7)

Homology 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 information

1. The Method of Coalgebra

1. 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 information

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.

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. 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 information

A Primer on Homological Algebra

A 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 information

LOCALIZATION THEORY FOR TRIANGULATED CATEGORIES

LOCALIZATION 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 information

arxiv: v1 [math.ct] 6 Apr 2017

arxiv: 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 information

Representable presheaves

Representable 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 information

arxiv: v2 [math.ct] 27 Dec 2014

arxiv: 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 information

Math Homotopy Theory Spring 2013 Homework 13 Solutions

Math 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 information

COURSE NOTES: HOMOLOGICAL ALGEBRA

COURSE 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 information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean 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 information

1 Introduction Category Theory Topological Preliminaries Function Spaces Algebraic Preliminaries...

1 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 information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC 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 information

OVERVIEW OF SPECTRA. Contents

OVERVIEW 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 information

arxiv: v1 [math.ct] 7 Feb 2011

arxiv: 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 information

BASIC GROUP THEORY : G G G,

BASIC 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 information

The classifying space of a monoid

The 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 information

Boolean Algebra and Propositional Logic

Boolean 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 information

1 Introduction. 2 Categories. Mitchell Faulk June 22, 2014 Equivalence of Categories for Affine Varieties

1 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 information

CLASS NOTES MATH 527 (SPRING 2011) WEEK 5

CLASS 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 information

Properties of Triangular Matrix and Gorenstein Differential Graded Algebras

Properties 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 information

Topos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos

Topos 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 information

Algebras. Larry Moss Indiana University, Bloomington. TACL 13 Summer School, Vanderbilt University

Algebras. 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 information

Derived categories, perverse sheaves and intermediate extension functor

Derived 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 information

RUDIMENTARY CATEGORY THEORY NOTES

RUDIMENTARY 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 information

The Universal Coefficient Theorem

The 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 information

A brief Introduction to Category Theory

A 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 information

ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY

ABSTRACT 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 information

arxiv: v2 [math.ra] 14 Sep 2016

arxiv: 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 information

Lecture 17: Invertible Topological Quantum Field Theories

Lecture 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 information

Math 440 Problem Set 2

Math 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 information

A fresh perspective on canonical extensions for bounded lattices

A 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 information

SOME 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 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 information

THE CANTOR-SCHROEDER-BERNSTEIN PROPERTY IN CATEGORIES

THE 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