Australian Category Seminar
Talks by Robin Cockett
- A manifold construction for restriction categories (27/7/05)
- Ehresmann's theorem for restriction categories (22/6/05)
- Theory of products and coproducts in the semantics of communication (18/5/05)
- Tricategorical logic: 1-representation (20/4/05)
- The logic of tricategories (13/4/05)
- Linear bicategories (15/7/98)
- Linear bicategories (1/7/98)
- Characterizing partial map classifiers (10/6/98)
- Partial map classifiers and restriction classifiers (more from last week) (27/5/98)
- A characterization of categories of partial maps (20/5/98)
- A categorical semantics for P-time (6/5/98)
- Full completeness for categories enriched
in commutative monoids (29/4/98)
Steve Lack Last modified: Fri Aug 5 08:53:45 EST 2005