November 2014 - Categories - categories.org.au

Partial functor
by David Leduc 17 Mar '15

17 Mar '15

Hi, A partial functor from C to D is given by a subcategory S of C and a functor from S to D. What is the appropriate notion of natural transformation between partial functors that would allow to turn small categories, partial functors and those "natural transformations" into a bicategory? The difficulty is that two partial functors from C to D might not have the same definition domain. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

7 6

PhD Positions, UC|UP Joint PhD Program in Mathematics, Portugal
by Jorge Picado 01 Dec '14

01 Dec '14

PhD Positions, UC|UP Joint PhD Program in Mathematics, Portugal The UC|UP Joint PhD Program in Mathematics, run by the Universities of Coimbra and Porto, in Portugal, welcomes applications for the academic year of 2015/2016. The Program will offer a number of doctoral scholarships (covering tuition fees and living expenses) to selected candidates. Funding will be made available from the support of the national agency FCT and the associated research centers. All areas of Mathematics are covered in the Program, in particular: Algebra Analysis/Differential Equations Discrete Mathematics/Combinatorics Dynamical Systems Geometry/Topology Numerical Analysis/Optimization Probability/Statistics The first call for applications is open from December 1, 2014 to January 31, 2015: http://www.mat.uc.pt/phd_prog Extensive information about the Program is available at the website (and additional questions can be posed using phd_prog(a)mat.uc.pt) -- Jorge Picado :: www.mat.uc.pt/~picado [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT 2015 (Second announcement)
by Dirk Hofmann 29 Nov '14

29 Nov '14

Dear Colleagues, recall that the International Category Theory Conference CT2015 will take place in Aveiro, Portugal, from Sunday, June 14 till Friday, June 19. We have now a conference website located at ct2015.web.ua.pt. It is also my pleasure to announce the INVITED SPEAKERS Clemens Berger - Universit?? de Nice Julie Bergner - University of California, Riverside Gabriella B??hm - Wigner Research Centre for Physics, Budapest Richard Garner - Macquarie University, Sydney Henning Krause - Bielefeld University Diana Rodelo - University of Algarve as selected by the Scientific Committee. IMPORTANT DATES: Abstract Submission: 27 of March Acceptance: 25 of April Early registration: 1 of May A further announcement with information about accommodation, registration and abstract submission will follow soon (probably in January). PLEASE TAKE NOTE: Directly preceding CT2015 there will be the 2015 AMS-EMS-SPM International Meeting of the American Mathematical Society, the European Mathematical Society and the hosting Portuguese Mathematical Society http://aep-math2015.spm.pt, which will take place in Porto (some 50 km from Aveiro) from Wednesday, June 10, to Saturday, June 13. At this meeting, Gon??alo Gutierres and I are organising a special session on "Categorical Methods in Algebra and Topology" which will be held on Friday and Saturday (12/13 June) at the Mathematics Department of the Faculty of Sciences of the University of Porto. If you are interested in participating in this special session, please contact me (dirk(a)ua.pt) or Gon??alo (ggutc(a)mat.uc.pt) For a schedule of all special sessions see http://aep-math2015.spm.pt/ListOfSessions. I hope to see you in Portugal next June! Best regards Dirk (for the organising committee) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Simplified definition of scheme proposed by Grothendieck
by David Roberts 29 Nov '14

29 Nov '14

Ah, thanks, that's exactly the sort of explanation I was hoping for. And after I sent my message, I thought that Gaeta's notes might be relevant (they cam be found at http://www.math.jussieu.fr/~leila/grothendieckcircle/FuncAlg.pdf) Thanks also to those that responded privately. Thomas Holder in particular pointed to further messages from Lawvere reproduced at http://mathoverflow.net/a/52894/4177 in the context of the general concept of Nullstellensatz. Best regards, David On 29 November 2014 at 00:23, Venkata Rayudu Posina <posinavrayudu(a)gmail.com> wrote: > The following post > > http://permalink.gmane.org/gmane.science.mathematics.categories/2228 > > might answer the following question: > > On Thu, Nov 27, 2014 at 10:34 PM, David Roberts > <david.roberts(a)adelaide.edu.au> wrote: >> Dear all, >> >> in the TAC reprint 'Comments on the development of topos theory', Lawvere writes >> >>> during that [1973 stay in Buffalo, Grothendieck] also advocated the >>> abandonment of his earlier complicated definition of 'scheme', but >>> unfortunately the simpler alternative he offered does not seem to have >>> found its way into the textbooks >> >> What would this simplified definition be? -- Dr David Roberts Research Associate School of Mathematical Sciences University of Adelaide SA 5005 AUSTRALIA [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Simplified definition of scheme proposed by Grothendieck
by David Roberts 28 Nov '14

28 Nov '14

Dear all, in the TAC reprint 'Comments on the development of topos theory', Lawvere writes > during that [1973 stay in Buffalo, Grothendieck] also advocated the > abandonment of his earlier complicated definition of 'scheme', but > unfortunately the simpler alternative he offered does not seem to have > found its way into the textbooks What would this simplified definition be? Also, reference is made to a document held in Jack Duskin's files made during this visit. If this document still exists, I would exhort whoever has it to donate it, or a high-quality scan of it, to the Grothendieck Circle people. After G's passing, his works have gone back online, apparently with the permission of his family, see http://www.grothendieckcircle.org/ Best regards, David -- Dr David Roberts Research Associate School of Mathematical Sciences University of Adelaide SA 5005 AUSTRALIA [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

JHRS Volume dedicated to Ronald Brown
by George Janelidze 28 Nov '14

28 Nov '14

Dear Colleagues, "Journal of Homotopy and Related Structures" (JHRS) will publish a Special Volume dedicated to Ronald Brown on the occasion of his 80th birthday, edited by Maria Manuel Clementino mmc(a)mat.uc.pt Marino Gran marino.gran(a)uclouvain.be George Janelidze george.janelidze(a)uct.ac.za Timothy Porter t.porter(a)bangor.ac.uk Please submit papers to (any of) the Guest Editors; accepted papers will be required to be prepared according to the JHRS instructions. The "Intention to submit" deadline is March 1, 2015 The submission deadline is May 1, 2015 On behalf of the Guest editors, George Janelidze [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Well-kept secret redux
by David Roberts 27 Nov '14

27 Nov '14

Dear all, Andre Joyal wrote, in December 2009 on this list: "I am planning to correct the problem by publishing all my ‘‘secret’’ notes, papers and books during 2010, starting this December." Did any of this eventuate? I can't seem to find a webpage other than the official and contentless http://www.math.uqam.ca/page.php?nom=joyal_andre and some notes for what I gather is something like Mathcamp. The repository http://www.archipel.uqam.ca/ gives one relevant hit, but authored by someone else. I know that there is material at http://ncatlab.org/joyalscatlab/published/HomePage, but this seems far from 'all'. Meekly, David Roberts [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

2 1

Doctoral Program on Logical Methods in Computer Science (LogiCS)
by list-announcer＠dbai.tuwien.ac.at 26 Nov '14

26 Nov '14

NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS) http://logic-cs.at/phd/ Funded Doctoral Positions in Computer Science TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering (i) computational logic, and applications of logic to (ii) databases and artificial intelligence as well as to (iii) computer-aided verification. THE PROGRAM LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification. FACULTY MEMBERS M. Baaz A. Biere R. Bloem A. Ciabattoni U. Egly T. Eiter C. Fermueller R. Grosu A. Leitsch M. Ortiz R. Pichler S. Szeider H. Tompits H. Veith G. Weissenbacher The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 12 associated members who further strengthen the research and teaching activities of the college. Details are provided on http://logic-cs.at/faculty/ POSITIONS AND FUNDING We are looking for 1-2 doctoral students per faculty member, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/en/research-funding/personnel-costs/) The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. HOW TO APPLY Detailed information about the application process is available on the LogiCS web-page http://logic-cs.at/phd/ The applicants are expected to have completed an excellent diploma or master's degree in computer science, mathematics, or a related field. Candidates with comparable achievements will be considered on a case-by-case basis. Applications by the candidates need to be submitted electronically. Next application Deadline: December 1, 2014. LOGIC IN AUSTRIA Austria has a highly active and successful logic in computer science community. Recent activities include: vsl2014.at Vienna Summer of Logic, the Largest Conference in the History of Logic www.arise.or.at Austrian Research Network in Rigorous Systems Engineering vcla.at Vienna Center for Logic and Algorithms kgs.logic.at International Kurt Goedel Society HIGHEST QUALITY OF LIFE The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. For further information please contact: info(a)logic-cs.at [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CALCO 2015: First Call for Papers
by Zanasi Fabio 25 Nov '14

25 Nov '14

========================================================= CALL FOR PAPERS: CALCO 2015 6th International Conference on Algebra and Coalgebra in Computer Science June 24 - 26, 2015 Nijmegen, Netherlands http://coalg.org/calco15/ ========================================================== Abstract submission: March 22, 2015 Paper submission: April 2, 2015 Author notification: May 6, 2015 Final version due: June 3, 2015 ========================================================== -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011) and Warsaw (Poland, 2013). The sixth edition will be held in Nijmegen, the Netherlands, colocated with MFPS XXXI. -- INVITED SPEAKERS -- Andy Pitts - University of Cambridge, UK (joint with MFPS) Chris Heunen - University of Oxford, UK Matteo Mio - CNRS, ENS Lyon, FR Daniela Petrisan - Radboud University, Nijmegen, NL -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra -- NEW TOPIC -- This edition of CALCO will feature a new topic, and submission of papers in this area is particularly encouraged. * String Diagrams and Network Theory - Combinatorial approaches - Theory of PROPs and operads - Rewriting problems and higher-dimensional approaches - Automated reasoning with string diagrams - Applications of string diagrams - Connections with Control Theory, Engineering and Concurrency -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. Starting with CALCO 2015, proceedings will be published in the Dagstuhl LIPIcs???Leibniz International Proceedings in Informatics series. Final papers should be no more than 15 pages long in the format specified by LIPIcs (http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/) It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. A special issue of the open access journal Logical Methods in Computer Science (http://www.lmcs-online.org) containing extended versions of selected papers, is also being planned. Submissions will be handled via EasyChair https://www.easychair.org/conferences/?conf=calco2015 -- BEST PAPER AND BEST PRESENTATION AWARDS -- Following from the successful trial at CALCO 2013, this edition of CALCO will feature two awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: March 22, 2015 Paper submission: April 2, 2015 Author notification: May 6, 2015 Final version due: June 3, 2015 -- PROGRAMME COMMITTEE -- Samson Abramsky, University of Oxford, UK Andrej Bauer, University of Ljubljana, SLO Filippo Bonchi, CNRS and ENS Lyon, FR Corina Cirstea, University of Southampton, UK Andrea Corradini, University of Pisa, IT Ross Duncan, University of Strathclyde, UK Mart??n Escard??, University of Birmingham, UK Dan Ghica, University of Birmingham, UK Helle Hansen, Radboud University Nijmegen and CWI, NL Ichiro Hasuo, University of Tokyo, JP Bart Jacobs, Radboud University Nijmegen, NL Bartek Klin, University of Warsaw, PL Barbara K??nig, University of Duisburg-Essen, D Dexter Kozen, Cornell, US Alexander Kurz, University of Leicester, UK Paul-Andr?? Melli??s, CNRS and University Paris VII, FR Stefan Milus, University of Erlangen-N??rnberg, D Larry Moss (co-chair), Indiana University, US Dusko Pavlovic, University of Hawaii, US Daniela Petrisan, ENS Lyon, FR Damien Pous, ENS Lyon, FR John Power, University of Bath, UK Jan Rutten, Radboud University Nijmegen and CWI, NL Lutz Schroeder, University of Erlangen-Nuernberg, D Monika Seisenberger, University of Swansea, UK Alexandra Silva, Radboud University Nijmegen, NL Pawel Sobocinski (co-chair), University of Southampton, UK Ana Sokolova, University of Salzburg, AT Andrzej Tarlecki, University of Warsaw, PL -- ORGANISING COMMITTEE -- Alexandra Silva Bart Jacobs Nicole Messink Sam Staton -- PUBLICITY -- Fabio Zanasi -- LOCATION -- Nijmegen is the oldest city in the Netherlands and celebrated its 2,000th year of existence in 2005. It is situated in the eastern province of Gelderland, quite near to the German border. The latin name for Nijmegen, ???Noviomagus???, is a reminder of its Roman past. ???Noviomagus??? means ???new market??? and refers to the right to hold a market as granted by the Romans. In the days of Charlemagne, the city was called ???Numaga???; later on, this became ???Nieumeghen??? and ???Nimmegen???. However, citizens born and bred in Nijmegen speak affectionately of ???Nimwegen???. Nijmegen is one of the warmest cities of the Netherlands, especially during summer, when the highest temperatures in the country are usually measured in the triangle Roermond ??? Nijmegen ??? Eindhoven. The lack of north-south oriented mountain ranges in Europe make this area prone to sudden shifts in weather, giving the region a semi-continental climate. -- SATELLITE WORKSHOPS -- The workshop is intended to enable presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. CALCO 2015 will run together with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions at the end of each conference day. -- CALCO Early Ideas Overview -- The CALCO Early Ideas Workshop invites submissions on the same topics as the CALCO conference: reporting results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. The list of topics of particular interest is shown on the main CALCO 2015 page. CALCO Early Ideas presentations will be selected according to originality, significance, and general interest, on the basis of submitted 2-page short contributions. It can be work in progress, a summary of work submitted to a conference or workshop elsewhere, or work that in some other way might be interesting to the CALCO audience. A booklet with the accepted short contributions will be made available. We encourage PhD students and young researchers to submit Early Ideas papers to the CALCO 2015 Easychair site as for ordinary submissions, mentioning in the abstract that the paper is to be considered for an Early Ideas talk.. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Grothendieck, Topos theory, and the Lawvere element
by Venkata Rayudu Posina 21 Nov '14

21 Nov '14

The following: "In 1981 I [Lawvere] visited him [Grothendieck] in his stone hut, in the middle of a lavender field in the south of France [...] subobject classifier which, as he said, is one of the few ingredients of topos theory that he had not foreseen. Later in his work on homotopy he kindly referred to that object as the "Lawvere element"." --Picado, J. (2007) An interview with F. William Lawvere, Bulletin of the International Center for Mathematics may be of interest in the context of: On Tue, Nov 18, 2014 at 4:02 PM, Michael Barr <barr(a)math.mcgill.ca> wrote: >So at the end of his talk I asked him if he was familiar with the Lawvere-Tierney axioms for a topos, which looked a lot more like set theory than the Giraud axioms. He said that >he didn't know what they were and asked me to come to the board and explain them. Which I did (I added complete and cocomplete to recover the original definition that G. had >used). He agreed that looked a lot more like set theory. > >Bill can correct me if I am wrong, but I recall that at the Nice meeting a year earlier, Bill had tried to tell him about elementary toposes, but G. wasn't interested in anything >mathematical. > >Michael [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0