Category Theory: Proceedings of the International Conference held in Como, Italy, July 22-28, 1990

ISBN-13: 9783540547068 / Angielski / Miękka / 1991 / 496 str.

Aurelio Carboni;Maria C. Pedicchio;Giuseppe Rosolini

Opis

This monograph requires no expertise in either representation theory or category theory. The topics introduced and studied include the Fourier co-transform, Tannaka duality for homogeneous spaces, braided tensor categories, Yang-Baxter operators, Knot invariants and quantum groups.

Spis treści

Some thoughts on the future of category theory.- What are locally generated categories?.- Some remarks on free monoids in a topos.- A generic sheaf representation for rings.- Normalization equivalence, kernel equivalence and affine categories.- Computing quotients of actions of a free category.- A long exact sequence in non-abelian cohomology.- Algebraically complete categories.- Order-enriched sketches for typed lambda calculi..- First steps in synthetic domain theory.- Precategories and Galois theory.- How algebraic is the change-of-base functor?.- Fixpoint and loop constructions as colimits.- Preframe presentations present.- Strong stacks and classifying spaces.- Trees in distributive categories.- A note on relations relative to a factorization system.- Algebras for the partial map classifier monad.- Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes.- Concretely functorial programming.- Weak products over a locally Hausdorff locale.- Categorical interpolation: Descent and the Beck-Chevalley condition without direct images.- An n-categorical pasting theorem.- Topos-theoretic approaches to modality.- Negative sets have Euler characteristic and dimension.- Modular categories.- Some constructive results related to compactness and the (strong) Hausdorff property for locales.- An introduction to Tannaka duality and quantum groups.