2014/03/30 by Doberkat, Ernst-Erich
#03B45 #68Q55 #68Q85 #F.3.1 #F.3.2 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
paper · doi:10.48550/arxiv.1403.7760
This is a short introduction to categories with some emphasis on coalgebras. We start from introducing basic notions (categories, functors, natural transformations), move to Kleisli tripels and monads, with a short discussion of monads in Haskell, and continue with displaying the interplay between algebras, adjunctions and monads. Coalgebras are discussed and applied to the semantics of modal logics, giving a brief introduction to coalgebraic logics as well. The development is illustrated through examples, usually taken from applications to computer science, with a certain predilection for stochastic systems.