Left linear theories — A generalization of module theory Bodo PareigisHelmut Röhrl OriginalPaper Pages: 145 - 171
Separation axioms and frame representation of some topological facts Aleš PultrAnna Tozzi OriginalPaper Pages: 107 - 118
Banach's Fixed-Point Theorem as a base for data-type equations J. AdamekJ. Reiterman OriginalPaper Pages: 77 - 90
Some remarks on Maltsev and Goursat categories A. CarboniG. M. KellyM. C. Pedicchio OriginalPaper Pages: 385 - 421
Exponential objects and Cartesian closedness in the constructPrtop E. Lowen-ColebundersG. Sonck OriginalPaper Pages: 345 - 360
An internal language for autonomous categories Ian MackieLeopoldo RománSamson Abramsky OriginalPaper Pages: 311 - 343
The category of complete Boolean algebras is not an intersection of reflective subcategories of the category of frames V. Vajner OriginalPaper Pages: 191 - 195
Galois theory in variable categories George JanelidzeDietmar SchumacherRoss Street OriginalPaper Pages: 103 - 110
Coinverters and categories of fractions for categories with structure G. M. KellyStephen LackR. F. C. Walters OriginalPaper Pages: 95 - 102
Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads G. M. KellyStephen Lack OriginalPaper Pages: 85 - 94
Lexicographic sums and fibre-faithful maps Reinhard BörgerWalter TholenAnna Tozzi OriginalPaper Pages: 59 - 83
Categorical principles, techniques and results for high-level-replacement systems in computer science Hartmut EhrigMichael Löwe OriginalPaper Pages: 21 - 50