Category Theory
Category Theory Applications to Algebra, Logic and Topology Proceedings of the International Conference Held at Gummersbach, July 6–10, 1981 / [electronic resource] :
edited by Klaus Heiner Kamps, Dieter Pumplün, Walter Tholen.
- XVIII, 326 p. online resource.
- Lecture Notes in Mathematics, 962 0075-8434 ; .
- Lecture Notes in Mathematics, 962 .
A note on the homology of regular nearness spaces -- The symmetry of the Cauchy-completion of a category -- On algebraic localizations -- A canonical action on indexed limits an application to coherent homotopy -- A remark on cartesian closedness -- Crossed complexes and non-abelian extensions -- Un critere de representabilite par sections continues de faisceaux -- Kan extensions and systems of imprimitivity -- Smooth structures -- Enriched algebras, spectra and homotopy limits -- General construction of monoidal closed structures in topological, uniform and nearness spaces -- The fundamental groupoid and the homotopy crossed complex of an orbit space -- Minimal topological completion of KBan1?KVec -- On the freeness of Whitehead-diagrams -- Applications of category theory to uniform structures -- A categorical framework for interpolation theory -- Toposes are monadic over categories -- Essentially monadic adjunctions -- Decomposition of morphisms into infinitely many factors -- Remarks on radicals in categories -- On the structure of factorization structures -- A remark on scattered spaces -- Bornological L1-functors as Kan extensions and Riesz-like representations -- Exactness and projectivity -- Constructive arithemtics -- Adjoint diagonals for topological completions -- Internal categories and crossed modules -- Subdirect irreducibility and congruences -- Algebraic categories of topological spaces -- Extensions of a theorem of p.gabriel -- Characterization of bicategories of stacks -- On hom-functors and tensor products of topological vector spaces -- Unnatural isomorphisms of products in a category -- Categories of kits, coloured graphs, and games.
9783540395508
10.1007/BFb0066878 doi
Algebraic topology.
K-theory.
Logic, Symbolic and mathematical.
Topology.
Algebraic Topology.
K-Theory.
Mathematical Logic and Foundations.
Topology.
QA612-612.8
514.2
A note on the homology of regular nearness spaces -- The symmetry of the Cauchy-completion of a category -- On algebraic localizations -- A canonical action on indexed limits an application to coherent homotopy -- A remark on cartesian closedness -- Crossed complexes and non-abelian extensions -- Un critere de representabilite par sections continues de faisceaux -- Kan extensions and systems of imprimitivity -- Smooth structures -- Enriched algebras, spectra and homotopy limits -- General construction of monoidal closed structures in topological, uniform and nearness spaces -- The fundamental groupoid and the homotopy crossed complex of an orbit space -- Minimal topological completion of KBan1?KVec -- On the freeness of Whitehead-diagrams -- Applications of category theory to uniform structures -- A categorical framework for interpolation theory -- Toposes are monadic over categories -- Essentially monadic adjunctions -- Decomposition of morphisms into infinitely many factors -- Remarks on radicals in categories -- On the structure of factorization structures -- A remark on scattered spaces -- Bornological L1-functors as Kan extensions and Riesz-like representations -- Exactness and projectivity -- Constructive arithemtics -- Adjoint diagonals for topological completions -- Internal categories and crossed modules -- Subdirect irreducibility and congruences -- Algebraic categories of topological spaces -- Extensions of a theorem of p.gabriel -- Characterization of bicategories of stacks -- On hom-functors and tensor products of topological vector spaces -- Unnatural isomorphisms of products in a category -- Categories of kits, coloured graphs, and games.
9783540395508
10.1007/BFb0066878 doi
Algebraic topology.
K-theory.
Logic, Symbolic and mathematical.
Topology.
Algebraic Topology.
K-Theory.
Mathematical Logic and Foundations.
Topology.
QA612-612.8
514.2