DOCSLIB.ORG

MAX KELLY \Noindentreturned To2 The\Quad Universitymax KELLY of Sydney in Early

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
MAX KELLY \Noindentreturned To2 The\Quad Universitymax KELLY of Sydney in Early Theory and Applications of Categories comma Vol period 20 comma 2008 comma pp period .. 1 endash 4 period nnoindentEDITORIALTheory NOTICE and : Applications of Categories , Vol . 20 , 2008 , pp . nquad 1 −− 4 . MAX .. KELLY n centerline fEDITORIAL NOTICE : g 5 ..Theory JUNE .. and 1930 Applications endash 26 of.. JANUARY Categories , 2007Vol . 20 , 2008 , pp . 1 { 4 . Gregory .. Maxwell .. Kelly was .. solelyEDITORIAL responsible .. for .. NOTICE introducing .. : category theory .. into n centerlineAustralia atfMAX a t imenquad whenKELLY the subjg ect was inMAX it s infancy KELLY period .... The Eilenberg hyphen Kelly monograph Closed Categories of 1 966 set5 the JUNE stage for two 1930 more { generations 26 JANUARY of Australian category 2007 n centerlinetheorists periodfGregory5 n ..quad ThisJUNE .. Maxwell researchnquad .. stream Kelly1930 reached−− was26 ..n solely maturityquad responsibleJANUARY with .. Max 2007 quoteright forg introducing s .. book .. Basic category .. Concepts .. of Enrichedtheory Category into Theory open parenthesis CUP 1 982 semicolon see TAC Reprints comma No period .. 1 0 closing parenthesis comma andn hspace nowAustralia finds∗fn f appli i l l atg hyphenGregory a t ime whennquad theMaxwell subj ectnquad was inKelly it s infancy was nquad .solely responsibleThe Eilenbergnquad - Kellyf o r nquad introducing nquad category theory nquad i n t o cationmonograph in many areas of mathematics comma theoretical physics comma computer architecture comma software nnoindentdesignClosed commaAustralia Categories and information at of a 1 t management 966 ime set when the period the stage subj for ect two was more in generations it s infancy of Australian . n h f i l l categoryThe Eilenberg − Kelly monograph Maxtheorists received all . his This schooling research at Bondi Beach stream where reached he was a student maturity of the with Marist Max ' s book Basic nnoindentBrothersConcepts throughoutClosed of Categories his Enriched primary andCategory of secondary 1 966 Theory set education the ( CUP stage period 1 982 .... for Max ; two see topped TAC more the Reprints generations NSW High , No . of Australian 1 0 ) , category t hSchool e oand r i s Leaving t nows . findsnquad Certificate appliThis Examination - nquad r e overalls e a r c h periodnquad .... Hestream went on reached to win innquad 1 95 1 thematurity University with nquad Max ' s nquad book nquad Basic nquad Concepts nquad o f EnrichedMedalcation for MathematicsCategory in many areas Theory at the of University mathematics ( CUP 1 of 982 Sydney , ; theoretical see and TACto gain Reprintsphysics the .. James , computer , No King . ofnquad architectureIr hyphen1 0 ) , , software and now finds appli − rawangdesign Travelling , and Scholarshipinformation tomanagement study at Cambridge . period .. There he obtained a BA with First nnoindentClass HonourscationMax and receivedtwo in Wrightmany all areas quoteright his schooling of s mathematics Prizes at in Bondi .... 1 953 , Beach theoretical comma where .... a he Rayleigh physics was a Prize student , in computer .... of 1 the 955 commaMarist architecture .... and PhD , in software 1 957Brothers semicolon throughout the doctorate his was primary in algebraic and topology secondary under education the supervision . of Max Shaun topped Wylie the period NSW .... Max High nnoindenthlineSchooldesign Leaving , Certificate and information Examination management overall . He went on to win in 1 95 1 the University PublishedMedal on for 2008 Mathematics hyphen 0 1 hyphen at the 9 period University of Sydney and to gain the James King of Ir - n hspacecirclecopyrt-crawang∗fn f i Travelling l Ross l gMax Street received Scholarship comma 2008 all toperiod his study schooling Permission at Cambridge to at copy Bondi for . private There Beach use he where granted obtained he period was a BA a with student First of the Marist 1 Class Honours and two Wright ' s Prizes in 1 953 , a Rayleigh Prize in 1 955 , and PhD in nnoindent1 957Brothers ; the doctorate throughout was in algebraic his primary topology and under secondary the supervision education of . Shaunn h f i l Wylie l Max . topped Max the NSW High nnoindent School Leaving Certificate Examination overall . n h f i l l He went on to win in 1 95 1 the University nnoindent Medal for Mathematics at the University of Sydney and to gain the nquad James King of Ir − rawang Travelling Scholarship to studyPublished at on Cambridge 2008 - 0 1 - 9. .nquad There he obtained a BA with First circlecopyrt − c Ross Street , 2008 . Permission to copy for private use granted . 1 nnoindent Class Honours and two Wright ' s Prizes in n h f i l l 1 953 , n h f i l l a Rayleigh Prize in n h f i l l 1 955 , n h f i l l and PhD in nnoindent 1 957 ; the doctorate was in algebraic topology under the supervision of Shaun Wylie . n h f i l l Max n begin f a l i g n ∗g n r u l e f3emgf0.4 pt g nendf a l i g n ∗g n centerline f Published on 2008 − 0 1 − 9 . g nnoindent $ circlecopyrt −c $ Ross Street , 2008 . Permission to copy for private use granted . 1 2 .. MAX KELLY nnoindentreturned to2 thenquad UniversityMAX KELLY of Sydney in early .. 1 957 as a Lecturer in Pure Mathematics and was promoted to Senior Lecturer in 1 96 1 and to Reader in 1 965 period .. In November 1 960 nnoindent returned to the University of Sydney in early nquad 1 957 as a Lecturer in Pure Mathematics Max2 marriedMAX Imogen KELLY Datson period andMy wasreturned first contact promoted to with the to DrUniversity GSenior period ofM Lecturer Sydneyperiod Kelly in in early as 1 a 96 name 1 1 and 957was in asto preparing a Reader Lecturer for in inHonours 1 Pure 965 MathMathematics . nquad hyphenIn November and 1 960 Maxematics marriedwas .. promoted at the Imogen .. Leaving to Datson Senior Certificate Lecturer . Examination in 1 96 period 1 and .. to The Reader practice in was 1 965 to .. attempt In November.. all past 1 960 papersMax period married .. I st Imogen il l have Datson the blue type. hyphen s et papers for .. 1 959 and 1 960 which declare Professor MyT first periodMy contact G firstperiod contact Room with as Dr with Chief G Dr . Examiner M G . Kelly M and . Kelly Kelly as a as name one a name of was two was Assessorsin preparing in preparing period for for Honours Honours Math Math− - ematicsMaxematics Kellynquad quoteright atat the the s love Leavingnquad of categoryLeaving Certificate theory Certificate also Examination consolidated Examination in. the The early practice 1 .960nquad s while wasThe tohe was practice attempt was all to nquad attempt nquad a l l past papersgivingpast lectures . papersnquad on homology .I st I stil theoryil l l have have period the the .. blue blue In an type attempt type - s− et tos papers understand et papers for the 1for s 959 ingularnquad and cohomology 11 960 959 which and declare1 960 which declare Professor Tr . ing GProfessor of . a Room product asT of . Chief G spaces . Room commaExaminer as .. Chief Max and Examinerfound Kelly that as he and could one Kelly notof astwo.. even one Assessors formulate of two Assessors the . questions . he wantedMax to Kelly ask without ' s love some of basic category concepts theory from category also consolidated theory period in .. the Although early he1 960 heard s while he was Maxof Kelly functorsgiving ' andlectures s naturallove on of transformations homology category theory theory at .. Cambridge also In an consolidated attemptfrom the book to understand by in Eilenberg the early the and s ingular 1 960 cohomology s while he was givingSteenrodr ing lectures on of Foundations a product on homology of of Algebraicspaces theory, Topology Max . found commanquad that heIn met he an Mac could attempt Lane not quoteright to even understand formulate s concept the of the categorical s questions ingular cohomology rproduct inghe of wanted first a productduring to ask lectures of without spaces of Michael some , Atiyahn basicquad comma conceptsMax found while from Max that category was he a visitor could theory at not MIT .n inquad lateAlthougheven formulate he heard the questions he1 962 wantedof period functors to .. Max ask and had without natural himself some sotransformations on developed basic concepts some at last ingCambridgefrom ideas category .. in from the field theory the semicolon book . n byquad .. one EilenbergAlthough concept .. and he he heard ofcalled functorsSteenrod .. quotedblleft and on Foundations natural complex categoriestransformations of Algebraic quotedblright Topology at periodnquad, he ..Cambridge While met Mac visit Lane ing from Tulane ' s the concept .. book University of by categorical Eilenberg .. open parenthesis and New .. Orleans closingSteenrodproduct parenthesis on first Foundations .. in during .. 1 963 lectures hyphen of Algebraic of Michael Topology Atiyah , while , he Max met wasMac a Lane visitor ' ats concept MIT in late of categorical1 962 product64 comma. Max first .. he had .. during met himself .. Eilenberg lectures so on .. developed at of .. Las Michael .. some Cruces Atiyah last .. giving ing , ideas .. while a .. series inMax the .. was of field lectures a ; visitor .. one on ..concept atdifferential MIT in he .. gradedlate 1categories 962called . nquad which \ complexMax Eilenberg hadcategories and himself Moore had so" . recentlyon While developed invented visit ing semicolonsome Tulane last these ing University were ideas the samenquad things ( Newin the Orleans field ; nquad one concept nquad he c aas l l complex e) d n inquad categories 1`` 963 complex -period 64 , .. categories Eilenberg he met insisted '' Eilenberg that . nquad Max remainWhile at in visit Las the US ing Cruces.. for Tulane another giving yearnquad periodU a n i v series e r s i t y nquad ( New nquad Orleans ) nquad in nquad 1 963 − 64Indeed , ofnquad lectures .. Eilenberghe nquadon commamet differential .. onnquad the ..Eilenberg spot graded comma .. categoriesnquad rang Alexat whichHellernquad .
Load more

Recommended publications
  • Modelling Linear Logic Without Units (Preliminary Results)
    Modelling Linear Logic without Units (Preliminary Results) Robin Houston, Dominic Hughes and Andrea Schalk July 11, 2018 1 Introduction Proof nets for MLL−, unit-free Multiplicative Linear Logic (Girard, 1987), provide elegant, abstract representations of proofs. Cut-free MLL− proof nets form a category,under path composition1, in the manner of Eilenberg- Kelly-Mac Lane graphs (Eilenberg and Kelly, 1966; Kelly and Mac Lane, 1971). Objects are formulas of MLL−, and a morphism A B, a proof net from A to B, is a linking or matching between complementary→ leaves (occurrences of variables). For example, here is a morphism from p (a variable) to p ⊗ (q ⊗ q⊥)⊥, p p ⊗ (q ⊗ q⊥)⊥ and here is an example of post-composing this proof net with another ⊥ from p ⊗ (q ⊗ q⊥)⊥ to ((p ⊗ q)⊥ ⊗ q) , giving a proof net from p to ⊥ ((p ⊗ q)⊥ ⊗ q) : p p p ⊗ (q ⊗ q⊥)⊥ 7 → ⊥ ⊥ ((p ⊗ q)⊥ ⊗ q) ((p ⊗ q)⊥ ⊗ q) arXiv:math/0504037v1 [math.CT] 3 Apr 2005 To obtain the result of composition, one simply traces paths. The category of proof nets is almost, but not quite, a star-autonomous category (Barr, 1979). The mismatch is the lack of units. This prompts the question of what categorical structure does match MLL−. More precisely: Question: Can one axiomatise a categorical structure, a relaxation of star- autonomy, suitable for modelling MLL−? The category of MLL− proof nets (with explicit negation2) should be a free such cate- gory. Here by a categorical structure we mean data (functors, natural isomor- phisms, and so forth) together with coherence diagrams, akin to the ax- iomatisation of star-autonomous categories.
    [Show full text]
  • An Australian Conspectus of Higher Category Theory
    An Australian conspectus of higher categories 1 Ross Street June 2004 Much Australian work on categories is part of, or relevant to, the development of higher categories and their theory. In this note, I hope to describe some of the origins and achievements of our efforts that they might perchance serve as a guide to the development of aspects of higher-dimensional work. I trust that the somewhat autobiographical style will add interest rather than be a distraction. For so long I have felt rather apologetic when describing how categories might be helpful to other mathematicians; I have often felt even worse when mentioning enriched and higher categories to category theorists. This is not to say that I have doubted the value of our work, rather that I have felt slowed down by the continual pressure to defend it. At last, at this meeting, I feel justified in speaking freely amongst motivated researchers who know the need for the subject is well established. Australian Category Theory has its roots in homology theory: more precisely, in the treatment of the cohomology ring and the Künneth formulas in the book by Hilton and Wylie [HW]. The first edition of the book had a mistake concerning the cohomology ring of a product. The Künneth formulas arise from splittings of the natural short exact sequences H 00 æÆææÆExt(,) HA HBææÆ H [,] A BææÆ Hom (,) HA HB æ ƒ 00 æÆæƒæÆHA HBæƒ H() A BæÆææÆ Tor(,) HA HB æ where A and B are chain complexes of free abelian groups; however, there are no choices of natural splittings.
    [Show full text]
  • The Core of Adjoint Functors
    The core of adjoint functors Ross Street∗ 2000 Mathematics Subject Classification. 18A40; 18D10 Key words and phrases. adjoint functor; enriched category. ——————————————————– Abstract There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. Contents 1 Introduction Kan [??] introduced the notion of adjoint functors. By defining the unit and counit natural transformations, he paved the way for the notion to be internal- ized to any 2-category. This was done by Kelly [??] whose interest at the time was particularly in the 2-category of a-categories for a monoidal category a (in the sense of Eilenberg-Kelly [??]). During my Topology lectures in the 1970s, I and the students realized that, in my proof that a function f between posets was order preserving when there was a function u in the reverse direction such that f(x) ≤ a if and only if x ≤ u(a), did not require u to be order preserving. I realized then that knowing functors in the two directions only on objects and the usual hom adjointness isomorphism implied the effect of the functors on homs was uniquely determined. Writing this down properly led to the present paper. Section ?? merely reviews adjunctions between enriched categories. Section ?? introduces the notion of core of an enriched adjunction: it only involves the object assignments of the two functors and a hom isomorphism with no naturality requirement. The main result characterizes when such a core is an adjunction. The final section is for mature audiences. It presents a result about adjunctions in the Eilenberg-Moore completion of a 2-category in the sense of [??].
    [Show full text]
  • A Unified Treatment of Transfinite Constructions for Free Algebras, Free Monoids, Colimts, Associated Sheaves, and So On
    BULL. AUSTRAL. MATH. SOC. I 8C I 5, I8A4 0, I8DI0 VOL. 22 (1980), 1-83. A UNIFIED TREATMENT OF TRANSFINITE CONSTRUCTIONS FOR FREE ALGEBRAS, FREE MONOIDS, COLIMTS, ASSOCIATED SHEAVES, AND SO ON G.lt. KELLY Many problems lead to the consideration of "algebras", given by an object A of a category A together with "actions" T,A -*• A on A of one or more endofunctors of A , subjected to equational axioms. Such problems include those of free monads and free monoids, of cocompleteness in categories of monads and of monoids, of orthogonal subcategories (= generalized sheaf-categories), of categories of continuous functors, and so on; apart from problems involving the algebras for their own sake. Desirable properties of the category of algebras - existence of free ones, cocompleteness, existence of adjoints to algebraic functors - all follow if this category can be proved reflective in some well-behaved category: for which we choose a certain comma-category T/k . We show that the reflexion exists and is given as the colimit of a simple transfinite sequence, if A is cocomplete and the T1 preserve either colimits or unions of suitably-long chains of subobjects. The article draws heavily on the work of earlier authors, unifies and simplifies this, and extends it to new problems. Moreover the reflectivity in T/k is stronger than any earlier result, and will be applied in forthcoming articles, in an enriched version, to Received 19 November 1979- I Downloaded from https://www.cambridge.org/core. IP address: 170.106.34.90, on 29 Sep 2021 at 22:15:50, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms.
    [Show full text]
  • Basic Concepts of Enriched Category Theory
    Reprints in Theory and Applications of Categories, No. 10, 2005. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY G.M. KELLY, F.A.A. PROFESSOR OF PURE MATHEMATICS, UNIVERSITY OF SYDNEY Received by the editors 2004-10-30. Transmitted by Steve Lack, Ross Street and RJ Wood. Reprint published on 2005-04-23. 2000 Mathematics Subject Classification: 18-02, 18D10, 18D20. Key words and phrases: enriched categories, monoidal categories. Originally published by Cambridge University Press, London Mathematical Society Lecture Notes Series 64, 1982 c G.M. Kelly, 2005. Permission to copy for private use granted. i ii Acknowledgements for the Reprint: From the author: I want first to express my very deep gratitude to the volunteer typists whose efforts have allowed the production of this attractive reprint of ‘Basic Concepts of Enriched Category Theory’. They are: Richard Garner, who had begun to re-type the book for his own use and offered several chapters, along with Toby Bartels, William Boshuck, Maria Manuel Clementino, Robert Dawson, Steve Lack, Tom Leinster, Francisco Marmolejo, Shane O’Conchuir, Craig Pastro, Mark Weber and Ralph Wojtowicz - each of whom handled several sections. Thanks also to the many other colleagues who offered to help with the typing. I am in addition particularly indebted to Donovan Van Osdol for his careful proof- reading of the text; to Michael Barr for his coordination of the volunteer effort, for his elegant typesetting of the diagrams, and for his fine work on the index; and to Bob Rose- brugh, the Managing Editor, for his constant encouragement and for many kindnesses: to these, too, I offer my very sincere thanks.
    [Show full text]
  • Basic Concepts of Enriched Category Theory
    Reprints in Theory and Applications of Categories, No. 10, 2005. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY G.M. KELLY, F.A.A. PROFESSOR OF PURE MATHEMATICS, UNIVERSITY OF SYDNEY Received by the editors 2004-10-30. Transmitted by Steve Lack, Ross Street and RJ Wood. Reprint published on 2005-04-23. Several typographical errors corrected 2012-05-13. 2000 Mathematics Subject Classification: 18-02, 18D10, 18D20. Key words and phrases: enriched categories, monoidal categories. Originally published by Cambridge University Press, London Mathematical Society Lecture Notes Series 64, 1982 ⃝c G.M. Kelly, 2005. Permission to copy for private use granted. i ii Acknowledgements for the Reprint: From the author: I want first to express my very deep gratitude to the volunteer typists whose efforts have allowed the production of this attractive reprint of `Basic Concepts of Enriched Category Theory'. They are: Richard Garner, who had begun to re-type the book for his own use and offered several chapters, along with Toby Bartels, William Boshuck, Maria Manuel Clementino, Robert Dawson, Steve Lack, Tom Leinster, Francisco Marmolejo, Shane O'Conchuir, Craig Pastro, Mark Weber and Ralph Wojtowicz { each of whom handled several sections. Thanks also to the many other colleagues who offered to help with the typing. I am in addition particularly indebted to Donovan Van Osdol for his careful proof- reading of the text; to Michael Barr for his coordination of the volunteer effort, for his elegant typesetting of the diagrams, and for his fine work on the index; and to Bob Rose- brugh, the Managing Editor, for his constant encouragement and for many kindnesses: to these, too, I offer my very sincere thanks.
    [Show full text]
  • Editorial Notice
    Theory and Applications of Categories, Vol. 20, 2008, pp. 1–4. EDITORIAL NOTICE: MAX KELLY 5 JUNE 1930 – 26 JANUARY 2007 Gregory Maxwell Kelly was solely responsible for introducing category theory into Australia at a time when the subject was in its infancy. The Eilenberg-Kelly monograph Closed Categories of 1966 set the stage for two more generations of Australian category theorists. This research stream reached maturity with Max’s book Basic Concepts of Enriched Category Theory (CUP 1982; see TAC Reprints, No. 10), and now finds appli- cation in many areas of mathematics, theoretical physics, computer architecture, software design, and information management. Max received all his schooling at Bondi Beach where he was a student of the Marist Brothers throughout his primary and secondary education. Max topped the NSW High School Leaving Certificate Examination overall. He went on to win in 1951 the University Medal for Mathematics at the University of Sydney and to gain the James King of Ir- rawang Travelling Scholarship to study at Cambridge. There he obtained a BA with First Class Honours and two Wright’s Prizes in 1953, a Rayleigh Prize in 1955, and PhD in 1957; the doctorate was in algebraic topology under the supervision of Shaun Wylie. Max Published on 2008-01-09. c Ross Street, 2008. Permission to copy for private use granted. 1 2 MAX KELLY returned to the University of Sydney in early 1957 as a Lecturer in Pure Mathematics and was promoted to Senior Lecturer in 1961 and to Reader in 1965. In November 1960 Max married Imogen Datson.
    [Show full text]
  • Gazette 34 Vol 2
    94 Obituary Max Kelly, FAA 5 June 1930 – 26 January 2007 Gregory Maxwell Kelly was solely responsible for introducing category theory into Australia at a time when the subject was in its infancy. The Eilenberg–Kelly mono- graph Closed Categories of 1966 set the stage for two more generations of Australian category theorists. This research stream reached maturity with Max’s book Basic Concepts of Enriched Category Theory (CUP 1982), and now finds application in many areas of mathematics, theoretical physics, computer architecture, software de- sign, and information management. As a student of the Marist Brothers at Bondi, Max topped the NSW LeavingCertifi- cate overall. He went on to win, in 1951, the University Medal for Mathematics at the University of Sydney and to gainthe James Kingof IrrawangTravellingScholarship to study at Cambridge. There he obtained a BA with First Class Honours and two Wright’s Prizes in 1953, a Rayleigh Prize in 1955, and PhD in 1957; the doctorate was in algebraic topology under the supervision of Shaun Wylie. Max returned to the University of Sydney in early 1957 as a Lecturer in Pure Mathematics and was promoted to Senior Lecturer in 1961 and to Reader in 1965. My first contact with Dr G.M. Kelly as a name was in preparingfor Honours Mathe- matics at the LeavingCertificate. The practice was to attempt all past papers. I still have the blue typeset papers for 1959 and 1960 which declare Professor T.G. Room as Chief Examiner and Dr G.M. Kelly as one of two Assessors. In November 1960 Max married Imogen Datson.
    [Show full text]
  • A 2-Categories Companion
    A 2-CATEGORIES COMPANION STEPHEN LACK ∗ Abstract. This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, including notions of limit and colimit, 2-dimensional uni- versal algebra, formal category theory, and nerves of bicategories. AMS(MOS) subject classifications. 18D05, 18C15, 18A30, 18G30, 18G55, 18C35 1. Overview and basic examples. This paper is a rather informal guide to some of the basic theory of 2-categories and bicategories, includ- ing notions of limit and colimit, 2-dimensional universal algebra, formal category theory, and nerves of bicategories. As is the way of these things, the choice of topics is somewhat personal. No attempt is made at either rigour or completeness. Nor is it completely introductory: you will not find a definition of bicategory; but then nor will you really need one to read it. In keeping with the philosophy of category theory, the morphisms between bicategories play more of a role than the bicategories themselves. 1.1. The key players. There are bicategories, 2-categories, and Cat- categories. The latter two are exactly the same (except that strictly speak- ing a Cat-category should have small hom-categories, but that need not concern us here). The first two are nominally different — the 2-categories are the strict bicategories, and not every bicategory is strict — but every bicategory is biequivalent to a strict one, and biequivalence is the right gen- eral notion of equivalence for bicategories and for 2-categories. Nonetheless, the theories of bicategories, 2-categories, and Cat-categories have rather different flavours.
    [Show full text]
  • Kan Extensions and Cartesian Monoidal Categories
    Kan extensions and cartesian monoidal categories Ross Street∗ Mathematics Department, Macquarie University, NSW 2109 Australia <[email protected]> 18 September 2012 2010 Mathematics Subject Classification: 18D10; 18D20; 18A40; 18C10 Key words and phrases: Lawvere theory; monoidal category; enriched category; pointwise Kan extension. Abstract The existence of adjoints to algebraic functors between categories of models of Lawvere theories follows from finite-product-preservingness surviving left Kan extension. A result along these lines was proved in Appendix 2 of Brian Day’s PhD thesis [1]. His context was categories enriched in a cartesian closed base. A generalization is described here with essentially the same proof. We introduce the notion of carte- sian monoidal category in the enriched context. With an advanced viewpoint, we give a result about left extension along a promonoidal module and further related results. Contents arXiv:1409.6405v1 [math.CT] 23 Sep 2014 1 Introduction 2 2 Weighted colimits 2 3 Cartesian monoidal enriched categories 3 4 Main result 4 ∗The author gratefully acknowledges the support of Australian Research Council Dis- covery Grant DP1094883. 1 5 An advanced viewpoint 5 1 Introduction The pointwise left Kan extension, along any functor between categories with finite products, of a finite-product-preserving functor into a cartesian closed category is finite-product-preserving. This kind of result goes back at least to Bill Lawvere’s thesis [8] and some 1966 ETH notes of Fritz Ulmer. Eduardo Dubuc and the author independently provided Saunders Mac Lane with a proof along the lines of the present note at Bowdoin College in the Northern Hemisphere Summer of 1969.
    [Show full text]
  • THE CORE of ADJOINT FUNCTORS 1. Introduction
    Theory and Applications of Categories, Vol. 27, No. 4, 2012, pp. 47{64. THE CORE OF ADJOINT FUNCTORS ROSS STREET Abstract. There is a lot of redundancy in the usual definition of adjoint functors. We define and prove the core of what is required. First we do this in the hom-enriched context. Then we do it in the cocompletion of a bicategory with respect to Kleisli objects, which we then apply to internal categories. Finally, we describe a doctrinal setting. 1. Introduction Kan [7] introduced the notion of adjoint functors. By defining the unit and counit natural transformations, he paved the way for the notion to be internalized to any 2-category. This was done by Kelly [8] whose interest at the time was particularly in the 2-category of V-categories for a monoidal category V (in the sense of Eilenberg-Kelly [4]). During my Topology lectures at Macquarie University in the 1970s, the students and I realized, in proving that a function f between posets was order preserving when there was a function u in the reverse direction such that f(x) ≤ a if and only if x ≤ u(a), did not require u to be order preserving. I realized then that knowing functors in the two directions only on objects and the usual hom adjointness isomorphism implied the effect of the functors on homs was uniquely determined. Writing this down properly led to the present paper. Section 2 merely reviews adjunctions between enriched categories. Section 3 introduces the notion of core of an enriched adjunction: it only involves the object assignments of the two functors and a hom isomorphism with no naturality requirement.
    [Show full text]