16 treff

Kock Anders
Relatively Boolean and de Morgan toposes and locales
Anders Kock Gonzalo E. Reyes
Bok Engelsk 1993
Generators and relations for Δ as a monoidal 2- Category
Anders Kock
Bok Engelsk 1993
Synthetic geometry of manifolds
Anders Kock
Bok Engelsk 2010
Synthetic differential geometry
Anders Kock
Bok Engelsk 2006
Local equivalence relations and their sheaves
Anders Kock and Ieke M oerdijk
Bok Engelsk 1991
Spaces with local equivalence relations, and their monodromy
Anders Kock and Ieke Moerdijk
Bok Engelsk 1994
Postulated colimits and left exactness of kan extensions
Anders Kock
Bok Engelsk 1989
Remarks on the bianchi identity
Anders Kock
Bok Engelsk 1996
Synthetic differential geometry
Anders Kock
Bok Engelsk 1981
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
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
Monader og universel algebra : forelæsninger, april-maj 1968
Kock, Anders
Bok Engelsk 1969