PDF Document

Source URL: cs.uni-salzburg.at

• Mathematical analysis
• Adjoint functors
• F-coalgebra
• Theoretical computer science
• Functors
• Coalgebra
• Markov chain
• Monad
• Bisimulation
• Category theory
• Mathematics
• Abstract algebra