Search Results

The question is in the title. My current research subject is the homotopy theory of $2$-categories. It may be slightly unreasonable to expect my PhD thesis to be read or even looked at by people outs …

The question is the title. In what follows, all $2$-categories and $2$-functors will be strict. Let $2-Cat$ denote the categories whose objects are $2$-categories and whose morphisms are $2$-functors …

This is more a comment than an answer, but its length makes me post it as an answer. I want to react to what I have just read, for the first time, about "Pursuing Stacks" at the nLab, and the words us …

Dimitri Ara has just brought this question to my attention. Perhaps you will find the following useful. Let us say that an object $z$ of a $2$-category $\mathcal{A}$ has a terminal object if, for ev …

It seems to me that your question woud be clearer if you stated more precisely the axioms for lax functors. Anyway, while I am unsure as to what you have in mind, I guess that "lax functors" and "norm …

A recent answer by Peter May prompts me to ask a question which I have been considering to ask for several months. (The reason why I have not asked it before is that it is not directly related to my r …

In what follows, $2$-categories will be strict, and "$2$-functor" will mean "strict $2$-functor". (Please mention which terminological conventions you are using when answering.) I guess that the answe …