Volume 10, No.3 (2017)


  1. ntroduction. 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 |