Tbilisi Mathematical Journal
E-ISSN: 1512-0139

SPECIAL ISSUE IN HONOR OF PROFESSORS PETER J. FREYD AND F.WILLIAM LAWVERE ON THE OCCASION OF THEIR 80TH BIRTHDAYS

Lead Editor – Marta Bunge

Guest Editors:
Andrej Bauer, Peter T. Johnstone, Anders Kock, Colin MacLarty, Susan Niefield, Andrew Pitts, John Power, Giuseppe Rosolini, Ross Street, Thomas Streicker, Walter Tholen and David Yetter


  1. Introduction. A Personal Tribute to Peter Freyd and Bill Lawvere
    Bunge, Marta
    Abstract | PDF |
  2. Wreaths, mixed wreaths and twisted coactions
    Street, Ross
    Abstract | PDF |
  3. Real sets
    Janelidze, George / Street, Ross
    Abstract | PDF |
  4. Topological *-autonomous categories, revisited
    Barr, Michael
    Abstract | PDF |
  5. Bundle functors and fibrations
    Kock, Anders
    Abstract | PDF |
  6. Hilsum–Skandalis maps as Frobenius adjunctions with application to geometric morphisms
    Townsend, Christopher
    Abstract | PDF |
  7. Equilogical spaces and algebras for a double-power monad
    Frosoni, Giulia / Rosolini, Giuseppe
    Abstract | PDF |
  8. Triposes, exact completions, and Hilbert’s ε-operator
    Maietti, Maria Emilia / Pasquali, Fabio / Rosolini, Giuseppe
    Abstract | PDF |
  9. On fixed-point theorems in synthetic computability
    Bauer, Andrej
    Abstract | PDF |
  10. The construction of π0 in Axiomatic Cohesion
    Menni, Matías
    Abstract | PDF |
  11. Functoriality of modified realizability
    Johnstone, Peter
    Abstract | PDF |
  12. Quantalic topological theories
    Tholen, Walter
    Abstract | PDF |
  13. Enriched and internal categories: an extensive relationship
    Cottrell, Thomas / Fujii, Soichiro / Power, John
    Abstract | PDF |
  14. Comprehensive factorisation systems
    Berger, Clemens / Kaufmann, Ralph M.
    Abstract | PDF |
  15. Algebra and local presentability: how algebraic are they? (A survey)
    Adámek, Jiří / Rosický, Jiří
    Abstract | PDF |
  16. On the concrete representation of discrete enriched abstract clones
    Fiore, Marcelo
    Abstract | PDF |