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