The Logical Categories of Learning and Communication