This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be tr...

George Schultze truly loves what he does as a major player in the distressed investing world. As the portfolio manager for Schultze Asset Management, he and his team have over $250 million in funds under management. They have a strong background in perfecting strategy by analzying the true value of distressed companies, and have been honing a successful approach to making money on financially troubled companies for years. Recently, George was thrust into the spotlight as one of nine compan...