 Categorial information theory is a theory of dynamic information processing based on the merge/fusion \((\otimes)\) and typed function \((\rightarrow , \leftarrow)\) operations from categorial grammar. The conceptual motivation is to understand the information in the mind of an agent as the agent reasons deductively to be a database in much the same way as a natural language lexicon is a database (see Sequoiah-Grayson (2013), (2016)). In this case, a grammar will be understood as a set of processing constraints so imposed as to guarantee information flow, or well-formed strings as outputs. Recent research on proofs as events from a very similar conceptual starting point may by found in Stefaneas and Vandoulakis (forthcoming). 