A cartesian closed category of smooth mappings
DOI10.1007/BF01547800zbMATH Open0511.46043OpenAlexW281271307MaRDI QIDQ1838680FDOQ1838680
Authors: Andreas Kriegl
Publication date: 1983
Published in: Monatshefte für Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01547800
smooth mappingscartesian closednessbornology of function spaceschainrulesmoothness of the differentiation process
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Barrelled spaces, bornological spaces (46A08) Open mapping and closed graph theorems; completeness (including (B)-, (B_r)-completeness) (46A30) Derivatives of functions in infinite-dimensional spaces (46G05)
Cites Work
- Differentiability of a Function and of its Compositions with Functions of One Variable.
- Title not available (Why is that?)
- Differential calculus in locally convex spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Die richtigen Räume für Analysis im Unendlich-Dimensionalen
- A convenient setting for smooth manifolds
- Title not available (Why is that?)
- Kompakt erzeugte Vektorräume und Analysis
- Title not available (Why is that?)
Cited In (15)
- The stratified structure of spaces of smooth orbifold mappings
- \(C^{\infty}\)-algebras from the functional analytic view point
- The convenient setting for Denjoy-Carleman differentiable mappings of Beurling and Roumieu type
- More Smoothly Real Compact Spaces
- Aspects of the theory of infinite dimensional manifolds
- Characters on algebras of smooth functions
- Topological improvements of categories of structured sets
- The moment mapping for unitary representations
- On groups of Hölder diffeomorphisms and their regularity
- Lie group valued integration in well-adapted toposes
- Title not available (Why is that?)
- A free convenient vector space for holomorphic spaces
- Enriched locally convex structures, differential calculus and Riesz representation
- Title not available (Why is that?)
- The convenient setting for real analytic mappings
This page was built for publication: A cartesian closed category of smooth mappings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1838680)