Categorical principles, techniques and results for high-level-replacement systems in computer science Hartmut EhrigMichael Löwe OriginalPaper Pages: 21 - 50
Lexicographic sums and fibre-faithful maps Reinhard BörgerWalter TholenAnna Tozzi OriginalPaper Pages: 59 - 83
Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads G. M. KellyStephen Lack OriginalPaper Pages: 85 - 94
Coinverters and categories of fractions for categories with structure G. M. KellyStephen LackR. F. C. Walters OriginalPaper Pages: 95 - 102
Galois theory in variable categories George JanelidzeDietmar SchumacherRoss Street OriginalPaper Pages: 103 - 110