Results 1  10
of
15
A 2Categorical Approach To Change Of Base And Geometric Morphisms II
, 1998
"... We introduce a notion of equipment which generalizes the earlier notion of proarrow equipment and includes such familiar constructs as relK, spnK, parK, and proK for a suitable category K, along with related constructs such as the Vpro arising from a suitable monoidal category V. We further exhibi ..."
Abstract

Cited by 45 (7 self)
 Add to MetaCart
We introduce a notion of equipment which generalizes the earlier notion of proarrow equipment and includes such familiar constructs as relK, spnK, parK, and proK for a suitable category K, along with related constructs such as the Vpro arising from a suitable monoidal category V. We further exhibit the equipments as the objects of a 2category, in such a way that arbitrary functors F: L ✲ K induce equipment arrows relF: relL ✲ relK, spnF: spnL ✲ spnK, and so on, and similarly for arbitrary monoidal functors V ✲ W. The article I with the title above dealt with those equipments M having each M(A, B) only an ordered set, and contained a detailed analysis of the case M = relK; in the present article we allow the M(A, B) to be general categories, and illustrate our results by a detailed study of the case M = spnK. We show in particular that spn is a locallyfullyfaithful 2functor to the 2category of equipments, and determine its image on arrows. After analyzing the nature of adjunctions in the 2category of equipments, we are able to give a simple characterization of those spnG which arise from a geometric morphism G.
Frobenius Algebras and ambidextrous adjunctions
, 2006
"... In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2categories. Specifically, we show that every Frobenius object in a monoidal category M arises from an ambijunction (simultaneous left and right adjoints) in some 2categoryDinto which M fu ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
In this paper we explain the relationship between Frobenius objects in monoidal categories and adjunctions in 2categories. Specifically, we show that every Frobenius object in a monoidal category M arises from an ambijunction (simultaneous left and right adjoints) in some 2categoryDinto which M fully and faithfully embeds. Since a 2D topological quantum field theory is equivalent to a commutative Frobenius algebra, this result also shows that every 2D TQFT is obtained from an ambijunction in some 2category. Our theorem is proved by extending the theory of adjoint monads to the context of an arbitrary 2category and utilizing the free completion under EilenbergMoore objects. We then categorify this theorem by replacing the monoidal category M with a semistrict monoidal 2category M, and replacing the 2categoryD into which it embeds by a semistrict 3category. To state this more powerful result, we must first define the notion of a ‘Frobenius pseudomonoid’, which categorifies that of a Frobenius object. We then define the notion of a ‘pseudo ambijunction’, categorifying that of an ambijunction. In each case, the idea is that all the usual axioms now hold only up to coherent isomorphism. Finally, we show that every Frobenius pseudomonoid in a semistrict monoidal 2category arises from a pseudo ambijunction in some semistrict 3category.
Computads for Finitary Monads on Globular Sets
, 1998
"... . A finitary monad A on the category of globular sets provides basic algebraic operations from which more involved `pasting' operations can be derived. To makes this rigorous, we define Acomputads and construct a monad on the category of Acomputads whose algebras are Aalgebras; an action of the n ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
. A finitary monad A on the category of globular sets provides basic algebraic operations from which more involved `pasting' operations can be derived. To makes this rigorous, we define Acomputads and construct a monad on the category of Acomputads whose algebras are Aalgebras; an action of the new monad encapsulates the pasting operations. When A is the monad whose algebras are ncategories, an Acomputad is an ncomputad in the sense of R.Street. When A is associated to a higher operad (in the sense of the author) , we obtain pasting in weak ncategories. This is intended as a first step towards proving the equivalence of the various definitions of weak ncategory now in the literature. Introduction This work arose as a reflection on the foundation of higher dimensional category theory. One of the main ingredients of any proposed definition of weak ncategory is the shape of diagrams (pasting scheme) we accept to be composable. In a globular approach [3] each kcell has a source ...
Comparing composites of left and right derived functors
 In preparation
"... Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and rig ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions in 2categories, then gives us canonical ways to compare composites of left and right derived functors. Contents
Framed Bicategories and Monoidal Fibrations
, 2007
"... Abstract. In some bicategories, the 1cells are ‘morphisms ’ between the 0cells, such as functors between categories, but in others they are ‘objects ’ over the 0cells, such ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
Abstract. In some bicategories, the 1cells are ‘morphisms ’ between the 0cells, such as functors between categories, but in others they are ‘objects ’ over the 0cells, such
Higher cospans and weak cubical categories (Cospans in Algebraic Topology
 I), Theory Appl. Categ
"... form a cubical set with compositions x +i y in all directions, which are computed using pushouts and behave ‘categorically ’ in a weak sense, up to suitable comparisons. Actually, we work with a ‘symmetric cubical structure’, which includes the transposition symmetries, because this allows for a str ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
form a cubical set with compositions x +i y in all directions, which are computed using pushouts and behave ‘categorically ’ in a weak sense, up to suitable comparisons. Actually, we work with a ‘symmetric cubical structure’, which includes the transposition symmetries, because this allows for a strong simplification of the coherence conditions. These notions will be used in subsequent papers to study topological cospans and their use in Algebraic Topology, from tangles to cobordisms of manifolds. We also introduce the more general notion of a multiple category, where to start witharrows belong to different sorts, varying in a countable family, and symmetries must be dropped. The present examples seem to show that the symmetric cubical case is better suited for topological applications.
CARTESIAN BICATEGORIES II
"... Abstract. The notion of cartesian bicategory, introduced in [C&W] for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory. 1. ..."
Abstract
 Add to MetaCart
Abstract. The notion of cartesian bicategory, introduced in [C&W] for locally ordered bicategories, is extended to general bicategories. It is shown that a cartesian bicategory is a symmetric monoidal bicategory. 1.
A CATEGORY OF QUANTUM CATEGORIES
"... Abstract. Quantum categories were introduced in [5] as generalizations of both bi(co)algebroids and small categories. We clarify details of that work. In particular, we show explicitly how the monadic definition of a quantum category unpacks to a set of axioms close to the definitions of a bialgebro ..."
Abstract
 Add to MetaCart
Abstract. Quantum categories were introduced in [5] as generalizations of both bi(co)algebroids and small categories. We clarify details of that work. In particular, we show explicitly how the monadic definition of a quantum category unpacks to a set of axioms close to the definitions of a bialgebroid in the Hopf algebraic literature. We introduce notions of functor and natural transformation for quantum categories and consider various constructions on quantum structures.
Comparing
"... composites of left and right derived functors Michael Shulman Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double ..."
Abstract
 Add to MetaCart
composites of left and right derived functors Michael Shulman Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions and mates in 2categories, then gives us canonical ways to compare composites of left and right derived functors. We give a number of sample applications, most of which are improvements
Comparing
"... composites of left and right derived functors Michael Shulman Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double ..."
Abstract
 Add to MetaCart
composites of left and right derived functors Michael Shulman Abstract. We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category whose vertical and horizontal arrows are left and right Quillen functors, respectively, and that passage to derived functors is functorial at the level of this double category. The theory of conjunctions and mates in double categories, which generalizes the theory of adjunctions and mates in 2categories, then gives us canonical ways to compare composites of left and right derived functors. We give a number of sample applications, most of which are improvements