8 Citations
Pseudo-Kan Extensions and Descent Theory
- Mathematics
- 2016
There are two main constructions in classical descent theory: the category of algebras and the descent category, which are known to be examples of weighted bilimits. We give a formal approach to…
ON BIADJOINT TRIANGLES
- Mathematics
- 2016
We prove a biadjoint triangle theorem and its strict version, which are 2-dimensional analogues of the adjoint triangle theorem of Dubuc. Similarly to the 1-dimensional case, we demonstrate how we…
An Australian Conspectus of Higher Categories
- Education
- 2010
Much Australian work on categories is part of, or relevant to, the development of higher categories and their theory. In this note, I hope to describe some of the origins and achievements of our…
C T ] 6 J ul 2 00 0 Coherence , Homotopy and 2-Theories
- Mathematics
- 2008
2-Theories are a canonical way of describing categories with extra structure. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to…
Pseudo Limits, Biadjoints, and Pseudo Algebras: Categorical Foundations of Conformal Field Theory
- Mathematics
- 2004
Introduction Some comments on conformal field theory Weighted pseudo limits in a 2-category Weighted pseudo colimits in the 2-category of small categories Weighted pseudo limits in the 2-category of…
Coherence, Homotopy and 2-Theories
- Mathematics
- 2000
Theories are a canonical way of describing categories with extra struc- ture. 2-theory-morphisms are used when discussing how one structure can be replaced with another structure. This is central to…
The syntax of coherence
- Mathematics
- 1999
Cet article etudie la coherence categorique dans le cadre d'une generalisation 2-dimensionnelle de la semantique fonctorielle de Lawvere. On y presente les 2-theories, maniere syntactique de decrire…
1 O ct 1 99 9 The Syntax of Coherence
- Mathematics
- 1999
This article tackles categorical coherence within a two-dimensional generalization of Lawvere’s functorial semantics. 2-theories, a syntactical way of describing categories with structure, are…
References
SHOWING 1-8 OF 8 REFERENCES
Fibred and Cofibred Categories
- History
- 1966
Fibred categories were introduced by Gkothendieck in [SGA] and [BB190]. As far as I know these are the only easily available references to the subject. Through sheer luck, during the final…
Reports of the Midwest Category Seminar I
- Mathematics
- 1967
Hopf and Eilenberg-Maclane algebras.- Discoherently associative bifunctors on groups.- Directed colimits and sheaves in some non-abelian categories.- Bifibration induced adjoint pairs.- The double…
Formal category theory: adjointness for 2-categories
- Mathematics, Philosophy
- 1974
Categories.- 2-categories.- Bicategories.- Properties of Fun(A,B) and Pseud(A,B).- Properties of 2-comma categories.- Adjoint morphisms in 2-categories.- Quasi-adjointness.
The formal theory of monoids
- J. Pure Appl. Algebra
- 1972