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

category: people

Revised on February 1, 2010 20:25:43 by Mike Shulman (128.135.230.187)
Edit | Back in time (17 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: horizontal categorification, groupoid, vertical categorification, foundations, preorder, composition, subcategory, fundamental groupoid, directed n-graph, category algebra, 2009 June changes, well-pointed topos, monad, quasi-category, category with weak equivalences, derived functor, nonabelian cohomology, evil, truth value, representable functor, (n,r)-category, Grothendieck topology, n-category, k-tuply monoidal n-category, nice topological space, discussion on terminology -- omega-category, simplex category, Contributors, empty set, regular epimorphism, coherent category, Boolean topos, Categories Work, homotopy hypothesis, directed object, fibration, Grothendieck fibration, pseudofunctor, context, hyperstructure, reflective subcategory, homotopy n-type, Froelicher space, profunctor, homotopy limit, homotopical enrichment, 2009 January changes, subcanonical coverage, profinite group, 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, weak homotopy equivalence, profinite completion of a group, dense functor, predicative mathematics, symmetric set, fundamental group of a topos, quantale, cyclic set, localization, locally presentable category, cycle category, specialization order, generator, finitary monad, Grothendieck universe, finite category, stuff, structure, property, set theory, universe in a topos, idempotent monad, abelian category, universal construction, bimorphism, linear logic, strict epimorphism, star-autonomous category, triangulated category, biproduct, direct sum, derived functor on a derived category, sheafification, 2009 March changes, semi-abelian category, stable (infinity,1)-topos, combinatorial spectrum, subsequential space, well-order, presentable (infinity,1)-category, inaccessible cardinal, minimal logic, well-ordering theorem, co-Yoneda lemma, topologizing subcategory, quasicompact, cyclic order, k-simply connected n-category, exponential object, A-infinity operad, finitely presentable object, 2009 April changes, lax 2-adjunction, anabicategory, simplicial model for weak omega-categories, structured (infinity,1)-topos, homotopy coherent nerve, locally finitely presentable category, synthetic differential geometry, metric space, 2009 May changes, gauge space, replete subcategory, computad, 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, Online Resources, 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, higher topos theory, convex space, 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, structured set, tiny object, completion, regular and exact completions, natural transformation (discussion), monoidal functor, ionad, framed bicategory, category of operators, codomain fibration, category over a category, axiom of small violations of choice, inhabited object, coherent formula, internal profunctor