Anders Kock

Anders Kock is a mathematician at Aarhus University, Denmark. He works on category theory/topos theory and particularly on synthetic differential geometry. On the 2-category of complete categories being monadic over Cat: Introducing the notion of strong monads and relating to monoidal monads and commutative monads: Anders Kock, Monads on symmetric monoidal closed categories, Arch. Math. 21 (1970) 1-10 [doi:10.1007/BF01220868] Anders Kock, Closed categories generated by commutative monads,...