## 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