Abstract is missing.
- Front Matter, Table of Contents, Preface, List of Authors [doi]
- Syntactic Monoids in a CategoryJirí Adámek, Stefan Milius, Henning Urbat. 1-16 [doi]
- Extensions of Functors From Set to V-catAdriana Balan, Alexander Kurz, Jiri Velebil. 17-34 [doi]
- Towards Trace Metrics via Functor LiftingPaolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001. 35-49 [doi]
- A Fibrational Approach to Automata TheoryLiang-Ting Chen, Henning Urbat. 50-65 [doi]
- Canonical Coalgebraic Linear Time LogicsCorina Cîrstea. 66-85 [doi]
- An Intensionally Fully-abstract Sheaf Model for piClovis Eberhart, Tom Hirschowitz, Thomas Seiller. 86-100 [doi]
- Partial Higher-dimensional AutomataUlrich Fahrenberg, Axel Legay. 101-115 [doi]
- A Recipe for State-and-Effect TrianglesBart Jacobs. 116-129 [doi]
- Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as CoalgebraToshiki Kataoka, Dusko Pavlovic. 130-155 [doi]
- Codensity Liftings of MonadsShin-ya Katsumata, Tetsuya Sato. 156-170 [doi]
- A First-order Logic for String DiagramsAleks Kissinger, David Quick. 171-189 [doi]
- Presenting Morphisms of Distributive LawsBartek Klin, Beata Nachyla. 190-204 [doi]
- Approximation of Nested Fixpoints - A Coalgebraic View of Parametric DataypesAlexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries. 205-220 [doi]
- Final Coalgebras from Corecursive AlgebrasPaul Blain Levy. 221-237 [doi]
- Uniform Interpolation for Coalgebraic Fixpoint LogicJohannes Marti, Fatemeh Seifan, Yde Venema. 238-252 [doi]
- Generic Trace Semantics and Graded MonadsStefan Milius, Dirk Pattinson, Lutz Schröder. 253-269 [doi]
- Open System Categorical Quantum Semantics in Natural Language ProcessingRobin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh. 270-289 [doi]
- Modules Over Monads and Their AlgebrasMaciej Piróg, Nicolas Wu, Jeremy Gibbons. 290-303 [doi]
- Revisiting the Institutional Approach to Herbrand's TheoremIonut Tutu, José Luiz Fiadeiro. 304-319 [doi]
- Coalgebraic Infinite Traces and Kleisli SimulationsNatsuki Urabe, Ichiro Hasuo. 320-335 [doi]
- Finitary Corecursion for the Infinitary Lambda CalculusStefan Milius, Thorsten Wißmann. 336-351 [doi]