Anders Kock is a mathematician at Aarhus University, Denmark. He has proved important results in category theory and particularly in 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, Journal of the Australian Mathematical Society 12 4 (Nov 1971) 405-424 [doi:10.1017/S1446788700010272, pdf]
Anders Kock, Strong functors and monoidal monads, Arch. Math 23 (1972) 113–120 [doi:10.1007/BF01304852, pdf]
On fiber bundles internal to finitely complete categories:
Anders Kock, Fibre bundles in general categories, Journal of Pure and Applied Algebra 56 3 (1989) 233-245 [doi:10.1016/0022-4049(89)90059-5]
Anders Kock, Generalized fibre bundles, in: Categorical Algebra and its Applications, Lecture Notes in Mathematics 1348 (2006) 194-207 [doi:10.1007/BFb0081359]
On synthetic differential geometry:
Anders Kock, Synthetic Differential Geometry, Cambridge University Press (1981, 2006) [pdf, doi:10.1017/CBO9780511550812]
Anders Kock, Synthetic geometry of manifolds, Cambridge Tracts in Mathematics 180 (2010) [pdf, doi:10.1017/CBO9780511691690]
See also:
A. Kock, The algebraic theory of moving frames, Cahiers Top. Géom. Diff. Catégoriques 23 (1982) 347–362
A. Kock. Closed categories generated by commutative monads, J. Austral. Math. Soc. 12(04):405–424, 1971
A. Kock, I. Moerdijk, Presentations of étendues , Cah. Top. Géom. Diff. Cat. XXXII 2 (1991) 145–164. (pdf)
A. Kock, I. Moerdijk, Every étendue comes from a local equivalence relation , JPAA 82_ (1992) 155–174.
E. J. Dubuc, A. Kock, On 1-form classifiers, Commun. Alg. 12 (1984) 1471–1531 doi
E. J. Dubuc, G. M. Kelly, A presentation of topoi as algebraic relative to categories or graphs, J. Algebra 81 (1983) 420–433
See
Last revised on April 15, 2023 at 18:36:22. See the history of this page for a list of all contributions to it.