Title: Cat Logic and Theory