16 treff

Synthetic geometry of manifolds
Anders Kock
Bok Engelsk 2010
Synthetic differential geometry
Anders Kock
Bok Engelsk 2006
Remarks on the bianchi identity
Anders Kock
Bok Engelsk 1996
Spaces with local equivalence relations, and their monodromy
Anders Kock and Ieke Moerdijk
Bok Engelsk 1994
Generators and relations for Δ as a monoidal 2- Category
Anders Kock
Bok Engelsk 1993
Relatively Boolean and de Morgan toposes and locales
Anders Kock Gonzalo E. Reyes
Bok Engelsk 1993
Constructive theory of the lift monad on posets
Kock, Anders
Bok Engelsk 1992
Monads for which structures are adjoint to units
Anders Kock
Bok Engelsk 1992
Local equivalence relations and their sheaves
Anders Kock and Ieke M oerdijk
Bok Engelsk 1991
Algebras for the partial map classifier monad
Anders Kock
Bok Engelsk 1990
Presentations of etendues
Anders Kock and Ieke Moerdijk
Bok Engelsk 1990
Relatively boolean toposes
Anders Kock
Bok Engelsk 1990
Algebras for the partial map classifier monad
Anders Kock
Bok Engelsk 1989
Postulated colimits and left exactness of kan extensions
Anders Kock
Bok Engelsk 1989
Synthetic differential geometry
Anders Kock
Bok Engelsk 1981
Monader og universel algebra : forelæsninger, april-maj 1968
Kock, Anders
Bok Engelsk 1969