Results 1  10
of
11
Categorified algebra and quantum mechanics
, 2006
"... Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding a combinatorial model for some mathematical entity is a par ..."
Abstract

Cited by 21 (3 self)
 Add to MetaCart
Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding a combinatorial model for some mathematical entity is a particular instance of the process called “categorification”. Examples include the interpretation of as the Burnside rig of the category of finite sets with product and coproduct, and the interpretation of [x] as the category of combinatorial species. This has interesting applications to quantum mechanics, and in particular the quantum harmonic oscillator, via Joyal’s “species”, a new generalization called “stuff types”, and operators between these, which can be represented as rudimentary Feynman diagrams for the oscillator. In quantum mechanics, we want to represent states in an algebra over the complex numbers, and also want our Feynman diagrams to carry more structure than these “stuff operators ” can do, and these turn out to be closely related. We will show how to construct a combinatorial model for the quantum harmonic
A UNIFIED FRAMEWORK FOR GENERALIZED MULTICATEGORIES
"... Abstract. Notions of generalized multicategory have been defined in numerous contexts throughout the literature, and include such diverse examples as symmetric multicategories, globular operads, Lawvere theories, and topological spaces. In each case, generalized multicategories are defined as the “l ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
(Show Context)
Abstract. Notions of generalized multicategory have been defined in numerous contexts throughout the literature, and include such diverse examples as symmetric multicategories, globular operads, Lawvere theories, and topological spaces. In each case, generalized multicategories are defined as the “lax algebras ” or “Kleisli monoids ” relative to a “monad ” on a bicategory. However, the meanings of these words differ from author to author, as do the specific bicategories considered. We propose a unified framework: by working with monads on double categories and related structures (rather than bicategories), one can define generalized multicategories in a way that unifies all previous
Yoneda structures from 2toposes
"... Abstract. A 2categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling one to exhibit objects as cocomplete in the sense definable within a yoneda structure are presented. Examples ..."
Abstract

Cited by 8 (4 self)
 Add to MetaCart
(Show Context)
Abstract. A 2categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Results enabling one to exhibit objects as cocomplete in the sense definable within a yoneda structure are presented. Examples relevant to the globular approach to higher dimensional category theory are discussed. This paper also contains some expository material on the theory of fibrations internal to a finitely complete 2category [Str74b] and provides a selfcontained development of the necessary background material on yoneda structures.
ON THE SIZE OF CATEGORIES
, 1995
"... The purpose is to give a simple proof that a category is equivalent to a small category if and only if both it and its presheaf category are locally small. ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
The purpose is to give a simple proof that a category is equivalent to a small category if and only if both it and its presheaf category are locally small.
SET THEORY FOR CATEGORY THEORY
, 810
"... Abstract. Questions of settheoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made can have noticeable effects on what categorical co ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Abstract. Questions of settheoretic size play an essential role in category theory, especially the distinction between sets and proper classes (or small sets and large sets). There are many different ways to formalize this, and which choice is made can have noticeable effects on what categorical constructions are permissible. In this expository paper we summarize and compare a number
CAUCHY CHARACTERIZATION OF ENRICHED CATEGORIES
 REPRINTS IN THEORY AND APPLICATIONS OF CATEGORIES, NO. 4, 2004, PP. 1–16.
, 2004
"... Soon after the appearance of enriched category theory in the sense of EilenbergKelly1, I wondered whether Vcategories could be the same as Wcategories for nonequivalent monoidal categories V and W. It was not until my fourmonth sabbatical in Milan at the end of 1981 that I made a serious attemp ..."
Abstract
 Add to MetaCart
(Show Context)
Soon after the appearance of enriched category theory in the sense of EilenbergKelly1, I wondered whether Vcategories could be the same as Wcategories for nonequivalent monoidal categories V and W. It was not until my fourmonth sabbatical in Milan at the end of 1981 that I made a serious attempt to properly formulate this question and try to solve it. By this time I was very impressed by the work of Bob Walters [28] showing that sheaves on a site were enriched categories. On sabbatical at Wesleyan University (Middletown) in 197677, I had looked at a preprint of Denis Higgs showing that sheaves on a Heyting algebra H couldbeviewedassomekindofHvalued sets. The latter seemed to be understandable as enriched categories without identities. Walters ’ deeper explanation was that they were enriched categories (with identities) except that the base was not H but rather a bicategory built from H. A stream of research was initiated in which the base monoidal category for enrichment was replaced, more generally, by a base bicategory. In analysis, Cauchy complete metric spaces are often studied as completions of more readily defined metric spaces. Bill Lawvere [15] had found that Cauchy completeness could be expressed for general enriched categories with metric spaces as a special case. Cauchy sequences became left adjoint modules2 and convergence became representability. In Walters ’ work it was the Cauchy complete enriched categories that were the sheaves. It was natural then to ask, rather than my original question, whether Cauchy complete Vcategories were the same as Cauchy complete Wcategories for appropriate base bicategories V and W. I knew already [20] that the bicategory VMod whose morphisms were modules between Vcategories could be constructed from the bicategory whose morphisms were Vfunctors. So the question became: given a base bicategory V, for which
Strict 2toposes
, 2006
"... Abstract. A 2categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Examples relevant to the globular approach to higher dimensional category theory are discussed. This paper also contains some e ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. A 2categorical generalisation of the notion of elementary topos is provided, and some of the properties of the yoneda structure [SW78] it generates are explored. Examples relevant to the globular approach to higher dimensional category theory are discussed. This paper also contains some expository material on the theory of fibrations internal to a finitely complete 2category [Str74b] and provides a selfcontained development of the necessary background material on yoneda structures.