Publication:3728201
From MaRDI portal
zbMath0596.18005MaRDI QIDQ3728201
Publication date: 1986
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1986__27_1_3_0
categories; topos theory; Cartesian closed; convenient vector spaces; Cahiers topos; categories in differential geometry
18B25: Topoi
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
58C99: Calculus on manifolds; nonlinear operators
18F15: Abstract manifolds and fiber bundles (category-theoretic aspects)
Related Items
Models of Linear Logic based on the Schwartz $\varepsilon$-product, Unnamed Item, Poisson algebras for non-linear field theories in the Cahiers topos, Differential structure, tangent structure, and SDG, Unnamed Item
Cites Work