Covers abstract algebra concepts using type classes in Scala, including defining monoids, generalizing reduce functions, and typeclass laws.
Covers the fundamental concepts of formal languages, including alphabets, words, languages, and word equality.
Covers the basics of formal languages, including alphabets, words, and languages, as well as operations like concatenation and reversal.
Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.
