Regular Categories and Regular Logic

Carsten Butz

October 1998

Abstract:

Notes handed out to students attending the course on Category Theory at the Department of Computer Science in Aarhus, Spring 1998. These notes were supposed to give more detailed information about the relationship between regular categories and regular logic than is contained in Jaap van Oosten's script on category theory (BRICS Lectures Series LS-95-1). Regular logic is there called coherent logic.

Contents

1

Prologue

2

Regular Categories

3

Regular Logic

4

A Sound Calculus

5

The Internal Logic of a Regular Category

6

The Generic Model of a Regular Theory

7

Epilogue

Available as PostScript, PDF, DVI.