# Contents

## Idea

As a category has an internal logic so a 2-category has internal 2-logic

## References

Revised on May 7, 2011 23:10:51 by Urs Schreiber (89.204.137.123)