Related papers: Derived categories, resolutions, and Brown represe…
This dissertation comprises three collections of results, all united by a common theme. The theme is the study of categories via algebraic techniques, considering categories themselves as algebraic objects. This algebraic approach to…
This is an expanded version of my Shaw Prize Lecture delivered at the Chinese University of Hong Kong.
This is the author's 2004 Master's thesis at Iowa State University, done under the supervision of Roger D. Maddux. It provides a background in relation algebras. Three results from the literature are demonstrated in full: (i.) RRA is a…
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for…
We describe a construction of the modular class associated to a representation up to homotopy of a Lie groupoid. In the case of the adjoint representation up to homotopy, this class is the obstruction to the existence of a volume form, in…
We prove several positive results regarding representation of homotopy classes of spheres and algebraic groups by regular mappings. Most importantly we show that every mapping from a sphere to an orthogonal or a unitary group is homotopic…
This is Part IV of a thematic series currently consisting of a monograph and four essays. This essay examines the form of induced representations of locally p-adic Lie groups G which is appropriate for the abelian category of ${\mathcal…
We call product generator of an additive category a fixed object satisfying the property that every other object is a direct factor of a product of copies of it. In this paper we start with an additive category with products and images,…
We develop a general framework for the construction of various derived brackets. We show that suitably deforming the differential of a graded Leibniz algebra extends the derived bracket construction and leads to the notion of strong…
Homotopy Type Theory is a new field of mathematics based on the surprising and elegant correspondence between Martin-Lofs constructive type theory and abstract homotopy theory. We have a powerful interplay between these disciplines - we can…
These Lectures are based on a course on noncommutative geometry given by the author in 2003 at the University of Chicago. The lectures contain some standard material, such as Poisson and Gerstenhaber algebras, deformations, Hochschild…
These notes contain a survey of some aspects of the theory of graded differential algebras and of noncommutative differential calculi as well as of some applications connected with physics. They also give a description of several new…
This note is an extended version of my presentation at the "Focused Research Workshop on Exterior Di{\S}erential Systems and Lie Theory" held at the Fields Institute in Toronto, December 9-13, 2013. Some ideas and constructions of this note…
In this note we clarify the relevance of ``connections up to homotopy'' to the theory of characteristic classes. We have already remarked \cite{Crai} that such connections up to homotopy can be used to compute the classical Chern…
We generalize the concepts of locally presentable and accessible categories. Our framework includes such categories as small presheaves over large categories and ind-categories. This generalization is intended for applications in the…
These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic…
These are notes for an advanced course given at Ben Gurion University in Spring 2012.
Two lectures given at the UK-Japan Winter School on 'Geometry and Analysis Towards Quantum Theory', Durham, January 2004.
These are notes based on a course that I gave at the University of Chicago in Fall 2016 on "Loop measures and the loop-erased random walk." This is not intended to be a comprehensive view but rather a personal selection of some key ideas…
Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical change-of-basepoint isomorphisms between homotopy groups. There…