Posters
- S. Awodey
- Toward Mac Lane Set Theory
- S. Awodey and A. Bauer
- Sheaf Toposes for Realizability
- R. Blute, J.R.B. Cockett and R. Seely (2)
- The logic of linear functors
- J.R.B. Cockett and R. Seely
- Finite sum-product logic
- B. Coecke, D. Moore and I. Stubbe
- (Categorical) Quantum Process Semantics
- T. Datuashvili
- On Categorical Properties of Mac Lane-Whitehead Construction
- F.J. Dìaz, J. Remedios and S. Rodrìguez-Machìn
- Categories with a natural cone: Generalized homotopy theory
- K.A. Hardie, K.H. Kamps and H.J. Marcum
- Higher Order Toda Brackets for Bicategories
- P. Hines
- A categorical view of Kleene's theorem
- P. Katis, N. Sabadini and R.F.C. Walters
- An algebra of automata for reconfiguring networks of interacting components
- T. Leinster
- What's a monoidal category?
- J. MacDonald
- Soft Adjunctions and Simplicial Structure
- P. McCrudden
- Opmonoidal monads
- M. Menni
- Generic Proofs and Chaotic Situations
- S. Niefield
- Exponentiable morphisms: posets, spaces, locales, and Grothendieck toposes
- P. Resende
- Quantales as spaces of dynamical systems
- D. Zangurashvili
- Local factorization systems and Stabilization-localization of factorization systems