Publications
"The C-systems defined by universe categories: presheaves", Theory and Applications of Categories, vol. 32, issue 3, pp. 53-112, 01/2017.
(618.12 KB)
, "C-system of a module over a monad on sets", arXiv 1407.3394, submitted, pp. 1–20, 2014.
, "A C-system defined by a universe category", Theory Appl. Categ., vol. 30, pp. No. 37, 1181–1215, 2015.
, Prepublication versions in arXiv.
(449.89 KB)"Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders (list of results)", Cahiers Topologie Géom. Différentielle Catég., vol. 32, pp. 11–27, 1991.
, International Category Theory Meeting (Bangor, 1989 and Cambridge, 1990)
(1.28 MB)"Categories and functors in mathematics", Unpublished, pp. 1–18, 1999.
, "Cancellation theorem", Doc. Math., pp. 671–685, 2010.
(155.85 KB)
, "Cohomological theory of presheaves with transfers", Cycles, transfers, and motivic homology theories, vol. 143: Princeton Univ. Press, Princeton, NJ, pp. 87–137, 2000.
(346.26 KB)
,