Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.
Covers the concepts of limits and colimits in the category of Topological Spaces, emphasizing the relationship between colimit and limit constructions and adjunctions.
