nLab
Mike Shulman

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

I am a postdoc at the University of Chicago. Here is my web page. I am interested in (higher) category theory and its applications to the rest of mathematics, particularly homotopy theory. I also tend to be a partisan of higher-categorical structures other than n-categories (such as double categories, multicategories, proarrow equipments, and so on), which sometimes seem to get neglected.

I often seem to have strong feelings about terminology. But I have been known to admit to being wrong, so feel free to argue with me.

Personal area

For my own reference: some pages that I’m planning to do some work on:

And here’s how to make a barred arrow A⇸B, since I always forget:

  ⇸

category: people

Revised on July 23, 2010 05:01:52 by Mike Shulman (67.52.155.121)
Edit | Back in time (30 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: horizontal categorification, groupoid, vertical categorification, foundations, preorder, subcategory, fundamental groupoid, directed n-graph, category algebra, 2009 June changes, well-pointed topos, double category, monad, quasi-category, category with weak equivalences, derived functor, nonabelian cohomology, evil, truth value, representable functor, (n,r)-category, Grothendieck topology, n-category, virtual double category, k-tuply monoidal n-category, nice topological space, discussion on terminology -- omega-category, simplex category, Contributors, geometric morphism, empty set, regular epimorphism, tricategory, coherent category, pretopos, Categories Work, homotopy hypothesis, directed object, fibration, Grothendieck fibration, pseudofunctor, context, hyperstructure, homotopy n-type, profunctor, homotopy limit, homotopical enrichment, 2009 January changes, comma category, classifying space, Euler characteristic, n-fibration, weighted limit, internal hom, 2009 February changes, ind-object, compactly generated space, category of elements, sequence, Postnikov system, homotopy equivalence, weak homotopy equivalence, profinite completion of a group, dense functor, predicative mathematics, symmetric set, fundamental group of a topos, cyclic set, localization, locally presentable category, cycle category, specialization order, generator, compact object, finitary monad, Grothendieck universe, finite category, stuff, structure, property, set theory, universe in a topos, idempotent monad, abelian category, bimorphism, strict epimorphism, star-autonomous category, triangulated category, biproduct, direct sum, derived functor on a derived category, sheafification, 2009 March changes, semi-abelian category, cohomology, stable (infinity,1)-topos, combinatorial spectrum, well-order, inaccessible cardinal, type theory, minimal logic, well-ordering theorem, co-Yoneda lemma, topologizing subcategory, quasicompact, cyclic order, k-simply connected n-category, exponential object, A-infinity operad, 2009 April changes, lax 2-adjunction, anabicategory, simplicial model for weak omega-categories, homotopy coherent nerve, locally finitely presentable category, synthetic differential geometry, metric space, 2009 May changes, gauge space, replete subcategory, weighted colimit, lax natural transformation, group cohomology, transfor, generalized (Eilenberg-Steenrod) cohomology, Lectures on n-Categories and Cohomology, 2009 July changes, essential image, chain homology and cohomology, Karoubi K-theory, locally cartesian category, generalized multicategory, symmetric function, 2009 August changes, Cartesian morphism, Benabou-Roubaud theorem, monotone function, monadic adjunction, 2-category equipped with proarrows, affine space, graph, 2009 September changes, center, equivariant cohomology, Mal'cev variety, (sub)object classifier in an (infinity,1)-topos, convex space, derivator, graph of a functor, 2-pullback, SEAR, natural numbers in SEAR, choice operator, fibration of bigroupoids, SEAR plus epsilon, structural set theory, multiset, connected object, ZFC, universes in SEAR, constant functor, tiny object, completion, regular and exact completions, natural transformation (discussion), monoidal functor, Hurewicz fibration, ionad, elementary embedding, framed bicategory, category of operators, codomain fibration, category over a category, small violations of choice, inhabited object, axiom of multiple choice, 2-topos, club, tileorder, monoidal bicategory, locally constant infinity-stack, W-type, category of presheaves, coherence theorem, Conduche functor, transferred model structure, algebrad, compact double category, discrete morphism