Call for Contributions Tbilisi Mathematical Journal http://tcms.org.ge/Journals/TMJ/ Special Issue in honor of Professors Peter J. Freyd and F. William Lawvere on the occasion of their 80th birthdays * Lead Editor: Marta Bunge (McGill University, Canada) bunge@math.mcgill.ca<mailto:bunge@math.mcgill.ca>, marta.bunge@gmail.com<mailto:marta.bunge@gmail.com> * Guest Editors: Andrej Bauer (University of Ljubljana, Slovenia) Andrej.Bauer@andrej.com<mailto:Andrej.Bauer@andrej.com> Peter T. Johnstone (University of Cambridge, UK) P.T.Johnstone@dpmms.cam.ac.uk<mailto:P.T.Johnstone@dpmms.cam.ac.uk> Anders Kock (Aarhus University, Denmark) kock@math.au.dk<mailto:kock@math.au.dk> Colin McLarty (Case Weasatern Reserve University, USA) colin.mclarty@case.edu<mailto:colin.mclarty@case.edu> Susan Niefield (Union College, USA) niefiels@union.edu<mailto:niefiels@union.edu> Andrew Pitts (University of Cambridge, UK) Andrew.Pitts@cl.cam.ac.uk<mailto:Andrew.Pitts@cl.cam.ac.uk> John Power (University of Bath, UK) a.j.power@bath.ac.uk<mailto:a.j.power@bath.ac.uk> Giuseppe Rosolini (Universita di Genova, Italy) rosolini@unige.it<mailto:rosolini@unige.it> Ross Street (Macquarie University, Australia) ross.street@mq.edu.au<mailto:ross.street@mq.edu.au> Thomas Streicher (Technische Universit\"at Darmstadt, Germany) streicher@mathematik.tu-darmstadt.de<mailto:streicher@mathematik.tu-darmstadt.de> Walter Tholen (York University, Canada) tholen@mathstat.yorku.ca<mailto:tholen@mathstat.yorku.ca> David Yetter (Kansas State University, USA) dyetter@math.ksu.edu<mailto:dyetter@math.ksu.edu> * Scope: Articles in any area of particular interest to either one of the honorees will be considered. Among such areas are the following: category theory, algebraic theories, special categories (abelian, regular, coherent, allegories, cartesian closed, fibered, hyperdoctrines, toposes, cohesive), synthetic differential geometry, topology and knot theory, 2-categories, enriched categories, categorical algebra and geometric logic, theoretical computer science, programming semantics, constructive mathematics, history and foundations of mathematics and physics. * Submissions: We ask for original articles written in English, that present high-quality contributions that have not been previously published and that must not be simultaneously submitted for publication elsewhere. Authors are invited to submit articles in PDF format to the issue editors. Submissions must comply with Tbilisi Mathematical Journal (TMJ)'s author guidelines (see http://tcms.org.ge/Journals/TMJ/ ). All submitted papers will be peer reviewed according to the usual standards of this journal, and they will be evaluated on the basis of originality, quality and relevance to this Special Issue, and on the basis of clarity and correct use of English. Papers (in PDF format) may be submitted directly to any one of the Editors of this Special Issue, Guest editors are permitted to submit papers to the volume and they should do so the lead editor. All papers submitted will be refereed at the discretion of the editor to whom they were submitted. The lead editor will provide an introduction to the volume. Submission deadline: September 30, 2017 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]