Contents

# Contents

## Idea

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

## References

Last revised on May 7, 2011 at 23:10:51. See the history of this page for a list of all contributions to it.