DOCSLIB.ORG

Arxiv:1908.01212V3 [Math.CT] 3 Nov 2020 Step, One Needs to Apply a For-Loop to Divide a Matrix Into Blocks

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1908.01212V3 [Math.CT] 3 Nov 2020 Step, One Needs to Apply a For-Loop to Divide a Matrix Into Blocks Typing Tensor Calculus in 2-Categories Fatimah Ahmadi Department of Computer Science University of Oxford November 4, 2020 Abstract We introduce semiadditive 2-categories, 2-categories with binary 2- biproducts and a zero object, as a suitable framework for typing tensor calculus. Tensors are the generalization of matrices, whose components have more than two indices. 1 Introduction Linear algebra is the primary mathematical toolbox for quantum physicists. Categorical quantum mechanics re-evaluates this toolbox by expressing each tool in the categorical language and leveraging the power of graphical calculus accompanying monoidal categories to gain an alternative insight into quantum features. In the categorical description of quantum mechanics, everything is typed in FHilb; the category whose objects are finite dimensional Hilbert spaces and morphisms are linear maps/matrices. In this category, Hilbert spaces associated with physical systems are typed as objects, and processes between systems as morphisms. MacLane [7] proposed the idea of typing matrices as morphisms while intro- ducing semiadditive categories(categories with well-behaved additions between objects). This line of research, further, has been explored by Macedo and Oliveira in the pursuit of avoiding the cumbersome indexed-based operations of matrices [6]. They address the quest for shifting the traditional perspective of formal methods in software development[10]. To observe why index-level operations do not offer an optimal approach, take the divide-and-conquer algorithm to multiplicate two matrices. In each arXiv:1908.01212v3 [math.CT] 3 Nov 2020 step, one needs to apply a for-loop to divide a matrix into blocks. While the division happens automatically if one takes matrices whose sources or targets are biproducts of objects. In addition, instead of looping over rows and columns to obtain sections of a matrix, we can multiply a matrix by projections and injections. Developing this project to include higher ranks matrices or tensors motivates us throughout this paper. The name “tensor” has been used in the literature widely for different purposes. In the current context, tensor signifies an umbrella term for scalars, vectors, and matrices. Scalars are tensors without any index; vectors have one index, and matrices denote tensors with two indices. 1 To take the first step towards this goal, one needs to identify a suitable category. Category Mat|, which captures all structures of a semiadditive cat- egory, provides an intuition for us. Translating Category Mat|in the lan- guage of higher categories, one observes vectors as 0-morphisms, matrices as 1-morphisms, and tensors with at most four indices as 2-morphisms. This sim- ple observation demonstrates that the suitable category for our purpose should be a 2-category with extra structures. This 2-category needs to have biproducts between objects, biproducts be- tween 1-morphisms and additions between 2-morphisms. Such a generalization yields a semiadditive 2-category. Current literature lacks a rigorous definition for biproducts in 2-categories and semiadditive 2-categories. In this paper, we define 2-biproducts and semi- additive 2-categories. We propose both the algebraic and limit-form definitions of biproducts and show their compatibility. Considering this 2-category as a basic framework, we demonstrate the details of typing tensor calculus. 2Vec is given as an example of symmetric monoidal 2-categories by Kapra- nov and Voevodsky [4]. Objects of 2Vec are natural numbers, 1-morphisms are matrices between natural numbers whose entries are finite dimensional vector spaces, and 2-morphisms are linear maps between vector spaces. It is folklore that 2Vec also represents a prototype of semiadditive 2-categories. Neverthe- less, lacking a rigorous definition for semiadditive 2-categories, this claim has not been examined closely. We examine the algebraic form of 2-biproducts in 2Vec and explore the details of the multiplication of tensors. We con- clude with a thorough analysis of enrichment in semiadditive 2-categories. Ul- timately, based on our observations about the behavior of zero 1-morphisms in 2-categories, we raise a critical non-trivial question about the relationship between limits and 2-limits in 2-categories. Remark 1. For a concise review of bicategories, consult Leinster’s paper [5]. By a 2-category, we mean a strict 2-category: bicategories whose associators and unitors are identities. Remark 2. In this paper, all categories and 2-categories are small. Remark 3. We use the pasting lemma [11] whenever we intend to recognize equal 2-morphisms. Notation. Capital letters, A; B; :: are reserved for objects, small letters f; g; ::: for 1-morphisms and Greek letters α; β; ::: for 2-morphisms. The horizontal composition is denoted by juxtaposition and vertical composi- tion of 2-morphisms by “odot" . Plus sign + represents addition of morphisms in categories and addition of 2-morphisms in 2-categories. Addition (biproduct) of objects in categories and addition of 1-morphisms in 2-categories are shown by “oplus" ⊕. Finally, addition of objects in 2-categories or 2-biproducts is represented by “boxplus" . For every object A, the identity 1-morphism or 1-identity is shown by idA and for every 1-morphism f, the identity 2-morphism or 2-identity by 1f . Whenever, it is clear from the context, in the horizontal composition of 1-identities with 2-morphisms, we leave out 1 and use whiskering convention 1f ◦ α = fα. Remark 4. If you are reading this paper in monochromatic, in Figures 1 and 2 and Lemma 9, red lines are dashed and blue lines are solid. 2 2 Semiadditive categories This section is devoted to a review of definitions and propositions of semiadditive categories, to establish the 2-dimensional version of them in the next section. The review part is based on [1, 2, 3]. 2.1 Constant morphisms in categories A constant morphism is a particular morphism whose left and right composites for all composable morphisms are equal. Generally, a category can have constant morphisms for some pairs of objects, but not all of them. If all hom-sets, however, have constant morphisms, then they should be compatible and unique. Definition 1. A morphism f : X −! Y is left constant if for every object W and every pair of morphisms h; g : W −! X, the right composition with f is the same, fg = fh. Definition 2. A morphism f : X −! Y is right constant if for every object Y and for every pair of morphisms h; g : Y −! Z , the left composition with f is the same, gf = hf. Definition 3. A morphism is constant if it is both left and right constant. The following definition indicates the compatibility condition between con- stant morphisms in hom-sets. Definition 4. A locally pointed category is a category whose hom-sets for every pair of objects (A; B) have constant morphisms ?B;A : A −! B such that for f g an arbitrary pair of morphisms A −! B −! C, Diagram 1 commutes. ?B;A A B f ?C;A g B C ?C;B (1) Proposition 1. In a locally pointed category, the family of constant morphisms is unique. Proof. Consider two different families of constant morphisms f?g and f?0g. If ?B;A ?C;B 0 0 0 A −−−! B −−−! C ? ? ?B;A = ? 0 , then from left constantness of , we have C;B C;A ?C;B 0 and from right constantness of ?, we have ?C;B?B;A = ?C;A therefore, ?C;A = 0 ?C;A for every (A; C). Definition 5. A zero object is an object which is simultaneously initial and terminal. Definition 6. A pointed category is a category with a zero object. Definition 7. In a category with a zero object, a zero morphism is a morphism which factorizes through the zero object. 3 Remark 5. In a pointed category, the family of zero morphisms is the only family of constant morphisms thanks to Proposition 1. Remark 6. A category might have constant morphisms but not a zero object. 2.2 Biproducts in categories In limit-form definition, a biproduct in a category is an addition between objects that induces an addition between morphisms. But in the algebraic form, one needs to start with a CMon-enriched category. These two initial conditions shake hands when we examine enrichment in Proposition 2. Definition 8. A CMon-enriched category is a category whose hom-sets are commutative monoids and the composition of morphisms is bilinear. Lemma 1. Every CMon-enriched category is a locally pointed category. f g Proof. Consider A −−−! B −! C, for which e is the unit element. From linearity eB;A of composition g(f + eB;A) = gf + geB;A and since eB;A is the unit element of monoid hom(A; B), so, g(f + eB;A) = gf, and geB;A is the unit element of monoid hom(A; C). A pair of objects in a category can have non-isomorphic products and co- products, but if they are isomorphic, we say this pair of objects has a biproduct. Another definition is in the algebraic form. Algebraic definitions, whenever they exist, are more desirable, since for in- stance: checking whether an algebraic definition is preserved by a particular functor, boils down to checking functionality. Definition 9. In a category, a product of pair of objects (A; B) is a tuple (A × B; pA; pB) such that for an arbitrary cone (X; f : X −! A; g : X −! B) shown in Figure 1, there exists a unique morphism b : X −! A × B which satisfies pAb = f and pBb = g. Morphisms pA and pB are called projections. X b f g A × B pA pB A B Figure 1: Product of (A; B). Definition 10. In a category, a coproduct of pair of objects (A; B) is a tuple (A t B; iA; iB) such that for an arbitrary cone (X; f : A −! X; g : B −! X) there exists a unique morphism b : A t B −! X which satisfies biA = f and biB = g.
Load more

Recommended publications
  • BIPRODUCTS WITHOUT POINTEDNESS 1. Introduction
    BIPRODUCTS WITHOUT POINTEDNESS MARTTI KARVONEN Abstract. We show how to define biproducts up to isomorphism in an ar- bitrary category without assuming any enrichment. The resulting notion co- incides with the usual definitions whenever all binary biproducts exist or the category is suitably enriched, resulting in a modest yet strict generalization otherwise. We also characterize when a category has all binary biproducts in terms of an ambidextrous adjunction. Finally, we give some new examples of biproducts that our definition recognizes. 1. Introduction Given two objects A and B living in some category C, their biproduct { according to a standard definition [4] { consists of an object A ⊕ B together with maps p i A A A ⊕ B B B iA pB such that pAiA = idA pBiB = idB pBiA = 0A;B pAiB = 0B;A and idA⊕B = iApA + iBpB. For us to be able to make sense of the equations, we must assume that C is enriched in commutative monoids. One can get a slightly more general definition that only requires zero morphisms but no addition { that is, enrichment in pointed sets { by replacing the last equation with the condition that (A ⊕ B; pA; pB) is a product of A and B and that (A ⊕ B; iA; iB) is their coproduct. We will call biproducts in the first sense additive biproducts and in the second sense pointed biproducts in order to contrast these definitions with our central object of study { a pointless generalization of biproducts that can be applied in any category C, with no assumptions concerning enrichment. This is achieved by replacing the equations referring to zero with the single equation (1.1) iApAiBpB = iBpBiApA, which states that the two canonical idempotents on A ⊕ B commute with one another.
    [Show full text]
  • The Factorization Problem and the Smash Biproduct of Algebras and Coalgebras
    Algebras and Representation Theory 3: 19–42, 2000. 19 © 2000 Kluwer Academic Publishers. Printed in the Netherlands. The Factorization Problem and the Smash Biproduct of Algebras and Coalgebras S. CAENEPEEL1, BOGDAN ION2, G. MILITARU3;? and SHENGLIN ZHU4;?? 1University of Brussels, VUB, Faculty of Applied Sciences, Pleinlaan 2, B-1050 Brussels, Belgium 2Department of Mathematics, Princeton University, Fine Hall, Washington Road, Princeton, NJ 08544-1000, U.S.A. 3University of Bucharest, Faculty of Mathematics, Str. Academiei 14, RO-70109 Bucharest 1, Romania 4Institute of Mathematics, Fudan University, Shanghai 200433, China (Received: July 1998) Presented by A. Verschoren Abstract. We consider the factorization problem for bialgebras. Let L and H be algebras and coalgebras (but not necessarily bialgebras) and consider two maps R: H ⊗ L ! L ⊗ H and W: L ⊗ H ! H ⊗ L. We introduce a product K D L W FG R H and we give necessary and sufficient conditions for K to be a bialgebra. Our construction generalizes products introduced by Majid and Radford. Also, some of the pointed Hopf algebras that were recently constructed by Beattie, Dascˇ alescuˇ and Grünenfelder appear as special cases. Mathematics Subject Classification (2000): 16W30. Key words: Hopf algebra, smash product, factorization structure. Introduction The factorization problem for a ‘structure’ (group, algebra, coalgebra, bialgebra) can be roughly stated as follows: under which conditions can an object X be written as a product of two subobjects A and B which have minimal intersection (for example A \ B Df1Xg in the group case). A related problem is that of the construction of a new object (let us denote it by AB) out of the objects A and B.In the constructions of this type existing in the literature ([13, 20, 27]), the object AB factorizes into A and B.
    [Show full text]
  • Derived Functors and Homological Dimension (Pdf)
    DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION George Torres Math 221 Abstract. This paper overviews the basic notions of abelian categories, exact functors, and chain complexes. It will use these concepts to define derived functors, prove their existence, and demon- strate their relationship to homological dimension. I affirm my awareness of the standards of the Harvard College Honor Code. Date: December 15, 2015. 1 2 DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION 1. Abelian Categories and Homology The concept of an abelian category will be necessary for discussing ideas on homological algebra. Loosely speaking, an abelian cagetory is a type of category that behaves like modules (R-mod) or abelian groups (Ab). We must first define a few types of morphisms that such a category must have. Definition 1.1. A morphism f : X ! Y in a category C is a zero morphism if: • for any A 2 C and any g; h : A ! X, fg = fh • for any B 2 C and any g; h : Y ! B, gf = hf We denote a zero morphism as 0XY (or sometimes just 0 if the context is sufficient). Definition 1.2. A morphism f : X ! Y is a monomorphism if it is left cancellative. That is, for all g; h : Z ! X, we have fg = fh ) g = h. An epimorphism is a morphism if it is right cancellative. The zero morphism is a generalization of the zero map on rings, or the identity homomorphism on groups. Monomorphisms and epimorphisms are generalizations of injective and surjective homomorphisms (though these definitions don't always coincide). It can be shown that a morphism is an isomorphism iff it is epic and monic.
    [Show full text]
  • Arxiv:2008.00486V2 [Math.CT] 1 Nov 2020
    Anticommutativity and the triangular lemma. Michael Hoefnagel Abstract For a variety V, it has been recently shown that binary products com- mute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points π : Pt(C) → C, if and only if Gumm’s shifting lemma holds on pullbacks in V. In this paper, we establish a similar result connecting the so-called triangular lemma in universal algebra with a certain cat- egorical anticommutativity condition. In particular, we show that this anticommutativity and its local version are Mal’tsev conditions, the local version being equivalent to the triangular lemma on pullbacks. As a corol- lary, every locally anticommutative variety V has directly decomposable congruence classes in the sense of Duda, and the converse holds if V is idempotent. 1 Introduction Recall that a category is said to be pointed if it admits a zero object 0, i.e., an object which is both initial and terminal. For a variety V, being pointed is equivalent to the requirement that the theory of V admit a unique constant. Between any two objects X and Y in a pointed category, there exists a unique morphism 0X,Y from X to Y which factors through the zero object. The pres- ence of these zero morphisms allows for a natural notion of kernel or cokernel of a morphism f : X → Y , namely, as an equalizer or coequalizer of f and 0X,Y , respectively. Every kernel/cokernel is a monomorphism/epimorphism, and a monomorphism/epimorphism is called normal if it is a kernel/cokernel of some morphism.
    [Show full text]
  • UNIVERSITY of CALIFORNIA RIVERSIDE the Grothendieck
    UNIVERSITY OF CALIFORNIA RIVERSIDE The Grothendieck Construction in Categorical Network Theory A Dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics by Joseph Patrick Moeller December 2020 Dissertation Committee: Dr. John C. Baez, Chairperson Dr. Wee Liang Gan Dr. Carl Mautner Copyright by Joseph Patrick Moeller 2020 The Dissertation of Joseph Patrick Moeller is approved: Committee Chairperson University of California, Riverside Acknowledgments First of all, I owe all of my achievements to my wife, Paola. I couldn't have gotten here without my parents: Daniel, Andrea, Tonie, Maria, and Luis, or my siblings: Danielle, Anthony, Samantha, David, and Luis. I would like to thank my advisor, John Baez, for his support, dedication, and his unique and brilliant style of advising. I could not have become the researcher I am under another's instruction. I would also like to thank Christina Vasilakopoulou, whose kindness, energy, and expertise cultivated a deeper appreciation of category theory in me. My expe- rience was also greatly enriched by my academic siblings: Daniel Cicala, Kenny Courser, Brandon Coya, Jason Erbele, Jade Master, Franciscus Rebro, and Christian Williams, and by my cohort: Justin Davis, Ethan Kowalenko, Derek Lowenberg, Michel Manrique, and Michael Pierce. I would like to thank the UCR math department. Professors from whom I learned a ton of algebra, topology, and category theory include Julie Bergner, Vyjayanthi Chari, Wee-Liang Gan, Jos´eGonzalez, Jacob Greenstein, Carl Mautner, Reinhard Schultz, and Steffano Vidussi. Special thanks goes to the department chair Yat-Sun Poon, as well as Margarita Roman, Randy Morgan, and James Marberry, and many others who keep the whole thing together.
    [Show full text]
  • An Aop Approach to Typed Linear Algebra
    An AoP approach to typed linear algebra J.N. Oliveira (joint work with Hugo Macedo) Dept. Inform´atica, Universidade do Minho Braga, Portugal IFIP WG2.1 meeting #65 27th January 2010 Braga, Portugal Motivation Matrices = arrows Abelian category Abide laws Divide & conquer Vectorization References Context and Motivation • The advent of on-chip parallelism poses many challenges to current programming languages. • Traditional approaches (compiler + hand-coded optimization are giving place to trendy DSL-based generative techniques. • In areas such as scientific computing, image/video processing, the bulk of the work performed by so-called kernel functions. • Examples of kernels are matrix-matrix multiplication (MMM), the discrete Fourier transform (DFT), etc. • Kernel optimization is becoming very difficult due to the complexity of current computing platforms. Motivation Matrices = arrows Abelian category Abide laws Divide & conquer Vectorization References Teaching computers to write fast numerical code In the Spiral Group (CMU), a DSL has been defined (OL) (Franchetti et al., 2009) to specify kernels in a data-independent way. • Divide-and-conquer algorithms are described as OL breakdown rules. • By recursively applying these rules a space of algorithms for a desired kernel can be generated. Rationale behind Spiral: • Target imperative code is too late for numeric processing kernel optimization. • Such optimization can be elegantly and efficiently performed well above in the design chain once the maths themselves are expressed in an index-free style. Motivation Matrices = arrows Abelian category Abide laws Divide & conquer Vectorization References Starting point Synergy: • Parallel between the pointfree notation of OL and relational algebra (relations are Boolean matrices) • Rich calculus of algebraic rules.
    [Show full text]
  • Double Cross Biproduct and Bi-Cycle Bicrossproduct Lie Bialgebras
    Ashdin Publishing Journal of Generalized Lie Theory and Applications Vol. 4 (2010), Article ID S090602, 16 pages doi:10.4303/jglta/S090602 Double cross biproduct and bi-cycle bicrossproduct Lie bialgebras Tao ZHANG College of Mathematics and Information Science, Henan Normal University, Xinxiang 453007, Henan Province, China Email: [email protected] Abstract We construct double cross biproduct and bi-cycle bicrossproduct Lie bialgebras from braided Lie bialgebras. The main results generalize Majid's matched pair of Lie algebras and Drinfeld's quantum double and Masuoka's cross product Lie bialgebras. 2000 MSC: 17B62, 18D35 1 Introduction As an infinitesimal or semiclassical structures underlying the theory of quantum groups, the notion of Lie bialgebras was introduced by Drinfeld in his remarkable report [3], where he also introduced the double Lie bialgebra D(g) as an important construction. Some years later, the theory of matched pairs of Lie algebras (g; m) was introduced by Majid in [4]. Its bicrossed product (or double cross sum) m ./g is more general than Drinfeld's classical double D(g) because g and m need not have the same dimension and the actions need not be strictly coadjoint ones. Since then it was found that many other structures in Hopf algebras can be constructed in the infinitesimal setting, see [5] and the references cited therein. Also in [6], Majid in- troduced the concept of braided Lie bialgebras and proved the bosonisation theorem (see Theorem 4.4) associating braided Lie bialgebras to ordinary Lie bialgebras. Examples of braided Lie bialgebras were also given there. On the other hand, there is a close relation between extension theory and cross product Lie bialgebras, see Masuoka [7].
    [Show full text]
  • Lectures on Homological Algebra
    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 of Sciences, Beijing 100049, China Email: [email protected] Contents 1 Categories and functors 1 1.1 Categories . 1 1.2 Functors . 3 1.3 Universal constructions . 7 1.4 Adjunction . 11 1.5 Additive categories . 16 1.6 Abelian categories . 21 1.7 Projective and injective objects . 30 1.8 Projective and injective modules . 32 2 Derived categories and derived functors 41 2.1 Complexes . 41 2.2 Homotopy category, triangulated categories . 47 2.3 Localization of categories . 56 2.4 Derived categories . 61 2.5 Extensions . 70 2.6 Derived functors . 78 2.7 Double complexes, derived Hom ..................... 83 2.8 Flat modules, derived tensor product . 88 2.9 Homology and cohomology of groups . 98 2.10 Spectral objects and spectral sequences . 101 Summary of properties of rings and modules 105 iii iv CONTENTS Chapter 1 Categories and functors Very rough historical sketch Homological algebra studies derived functors between • categories of modules (since the 1940s, culminating in the 1956 book by Cartan and Eilenberg [CE]); • abelian categories (Grothendieck’s 1957 T¯ohokuarticle [G]); and • derived categories (Verdier’s 1963 notes [V1] and 1967 thesis of doctorat d’État [V2] following ideas of Grothendieck). 1.1 Categories Definition 1.1.1. A category C consists of a set of objects Ob(C), a set of morphisms Hom(X, Y ) for every pair of objects (X, Y ) of C, and a composition law, namely a map Hom(X, Y ) × Hom(Y, Z) → Hom(X, Z), denoted by (f, g) 7→ gf (or g ◦ f), for every triple of objects (X, Y, Z) of C.
    [Show full text]
  • WHEN IS ∏ ISOMORPHIC to ⊕ Introduction Let C Be a Category
    WHEN IS Q ISOMORPHIC TO L MIODRAG CRISTIAN IOVANOV Abstract. For a category C we investigate the problem of when the coproduct L and the product functor Q from CI to C are isomorphic for a fixed set I, or, equivalently, when the two functors are Frobenius functors. We show that for an Ab category C this happens if and only if the set I is finite (and even in a much general case, if there is a morphism in C that is invertible with respect to addition). However we show that L and Q are always isomorphic on a suitable subcategory of CI which is isomorphic to CI but is not a full subcategory. If C is only a preadditive category then we give an example to see that the two functors can be isomorphic for infinite sets I. For the module category case we provide a different proof to display an interesting connection to the notion of Frobenius corings. Introduction Let C be a category and denote by ∆ the diagonal functor from C to CI taking any object I X to the family (X)i∈I ∈ C . Recall that C is an Ab category if for any two objects X, Y of C the set Hom(X, Y ) is endowed with an abelian group structure that is compatible with the composition. We shall say that a category is an AMon category if the set Hom(X, Y ) is (only) an abelian monoid for every objects X, Y . Following [McL], in an Ab category if the product of any two objects exists then the coproduct of any two objects exists and they are isomorphic.
    [Show full text]
  • Notes on Category Theory (In Progress)
    Notes on Category Theory (in progress) George Torres Last updated February 28, 2018 Contents 1 Introduction and Motivation 3 2 Definition of a Category 3 2.1 Examples . .4 3 Functors 4 3.1 Natural Transformations . .5 3.2 Adjoint Functors . .5 3.3 Units and Counits . .6 3.4 Initial and Terminal Objects . .7 3.4.1 Comma Categories . .7 4 Representability and Yoneda's Lemma 8 4.1 Representables . .9 4.2 The Yoneda Embedding . 10 4.3 The Yoneda Lemma . 10 4.4 Consequences of Yoneda . 11 5 Limits and Colimits 12 5.1 (Co)Products, (Co)Equalizers, Pullbacks and Pushouts . 13 5.2 Topological limits . 15 5.3 Existence of limits and colimits . 15 5.4 Limits as Representable Objects . 16 5.5 Limits as Adjoints . 16 5.6 Preserving Limits and GAFT . 18 6 Abelian Categories 19 6.1 Homology . 20 6.1.1 Biproducts . 21 6.2 Exact Functors . 23 6.3 Injective and Projective Objects . 26 6.3.1 Projective and Injective Modules . 27 6.4 The Chain Complex Category . 28 6.5 Homological dimension . 30 6.6 Derived Functors . 32 1 CONTENTS CONTENTS 7 Triangulated and Derived Categories 35 ||||||||||| Note to the reader: This is an ongoing collection of notes on introductory category theory that I have kept since my undergraduate years. They are aimed at students with an undergraduate level background in topology and algebra. These notes started as lecture notes for the Fall 2015 Category Theory tutorial led by Danny Shi at Harvard. There is no single textbook that these notes follow, but Categories for the Working Mathematician by Mac Lane and Lang's Algebra are good standard resources.
    [Show full text]
  • Notes on Category Theory
    Notes on Category Theory Mariusz Wodzicki November 29, 2016 1 Preliminaries 1.1 Monomorphisms and epimorphisms 1.1.1 A morphism m : d0 ! e is said to be a monomorphism if, for any parallel pair of arrows a / 0 d / d ,(1) b equality m ◦ a = m ◦ b implies a = b. 1.1.2 Dually, a morphism e : c ! d is said to be an epimorphism if, for any parallel pair (1), a ◦ e = b ◦ e implies a = b. 1.1.3 Arrow notation Monomorphisms are often represented by arrows with a tail while epimorphisms are represented by arrows with a double arrowhead. 1.1.4 Split monomorphisms Exercise 1 Given a morphism a, if there exists a morphism a0 such that a0 ◦ a = id (2) then a is a monomorphism. Such monomorphisms are said to be split and any a0 satisfying identity (2) is said to be a left inverse of a. 3 1.1.5 Further properties of monomorphisms and epimorphisms Exercise 2 Show that, if l ◦ m is a monomorphism, then m is a monomorphism. And, if l ◦ m is an epimorphism, then l is an epimorphism. Exercise 3 Show that an isomorphism is both a monomorphism and an epimor- phism. Exercise 4 Suppose that in the diagram with two triangles, denoted A and B, ••u [^ [ [ B a [ b (3) A [ u u ••u the outer square commutes. Show that, if a is a monomorphism and the A triangle commutes, then also the B triangle commutes. Dually, if b is an epimorphism and the B triangle commutes, then the A triangle commutes.
    [Show full text]
  • Almost Abelian Categories Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 42, No 3 (2001), P
    CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES WOLFGANG RUMP Almost abelian categories Cahiers de topologie et géométrie différentielle catégoriques, tome 42, no 3 (2001), p. 163-225 <http://www.numdam.org/item?id=CTGDC_2001__42_3_163_0> © Andrée C. Ehresmann et les auteurs, 2001, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ CAHIERSDE TtOPOLOGIE ET Volume XLII-3 (2001) GEOMEl’RIE DIFFERENTIEUE CATEGORIQUES ALMOST ABELIAN CATEGORIES By Wolfgang RUMP Dedicated to K. W. Roggenkamp on the occasion of his 6e birthday RESUME. Nous introduisons et 6tudions une classe de categories additives avec des noyaux et conoyaux, categories qui sont plus générales que les categories ab6liennes, et pour cette raison nous les appelons presque ab6liennes. L’un des objectifs de ce travail est de montrer que cette notion unifie et generalise des structures associ6es aux categories ab6liennes: des theories de torsion (§4), des foncteurs adjoints et des bimodules (§6), la dualite de Morita et la th6orie de "tilting" (§7). D’autre part, nous nous proposons de montrer qu’il y a beaucoup de categories presque ab6liennes: en algebre topologique (§2.2), en analyse fonctionnelle (§2.3-4), dans la th6orie des modules filtr6s (§2.5), et dans la th6orie des représentations des ordres sur les anneaux de Cohen-Macaulay de dimension inf6rieure ou 6gale a 2 (§2.1 et §2.9).
    [Show full text]