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 |