Kock, Anders.
Kock, Anders 1938-
VIAF ID: 62697448 ( Personal )
Permalink: http://viaf.org/viaf/62697448
Preferred Forms
- 100 1 _ ‡a Kock, Anders
-
-
- 100 1 _ ‡a Kock, Anders
- 100 1 _ ‡a Kock, Anders
-
- 100 1 _ ‡a Kock, Anders
-
-
- 100 1 _ ‡a Kock, Anders ‡d 1938-
-
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
The algebraic theory of moving frames | |
Algebras for the partial map classifier monad | |
Calculus of smooth functions between convenient vector spaces | |
Categorical distribution theory, heat equation | |
The category aspect of projective space | |
Category theoretic methods in geometry : proceedings, Aarhus 1983 | |
Closed categories generated by commutative monads | |
Coherent theory of internal sites and their models | |
Combinatorial notions relating to principal fibre bundles | |
A combinatorial theory of connections | |
Combinatorics of non-holonomous jets | |
Connections and path connections in groupoids | |
Constructive theory of the lift monad on posets | |
Corrigendum and addenda to the paper "Convenient vector spaces embed..." | |
Elementary toposes : lectures autumn 1970 and spring 1971 | |
Envelopes - notion and definiteness | |
Formal manifolds, and synthetic theory of jet bundles | |
Generalized fibre bundles | |
Generators and relations for ∆ as a monoidal 2-category | |
Geometric construction of the Levi-civita parallelism | |
A geometric theory of harmonic and semi-conformal maps | |
A godement theorem for locales | |
Group valued differential forms revisited | |
Infinitesimal deformations of complete vector fields are complete | |
Lie group valued integration in well-adapted toposes | |
Linear algebra and projective geometry in the Zariski topos | |
Mathematical structure of physical quantities | |
A model for dimensional analysis | |
Models for synthetic integration theory | |
Monader og universel algebra : forelaesninger | |
Monads for which structures are adjoint to units | |
Non-Standard extensions in the theory of toposes | |
On 1-form classifiers | |
On double dualization monads | |
On monads in symmetric monoidal closed categories | |
On the integration theorem for Lie grupoids | |
On the synthetic theory of vector fields | |
Ordinary differential equations and their exponentials | |
Postulated colimits and left exactness of Kan extensions | |
Pourquoi la mathématique ? | |
Pregroupoids and their enveloping groupoids | |
Presentations of etendues | |
Relatively Boolean toposes | |
Remarks on the Bianchi Identity | |
A simple axiomatics for differentiation | |
Spaces with local equivalence relations, and their monodromy | |
Strong functors and monoidal monads | |
Strong infinitesimal linearity, with applications to strong difference and affine connections | |
Synthetic characterization of reduced algebras | |
Synthetic differential geometry | |
Taylor series calculus for ring objects of line type | |
Topos theoretic methods in geometry : a collection of articles |