2
$\begingroup$

In this paper, the authors +John Baez and +Urs Schreiber defined (page 15) "transition functions" for a special kind of 2-bundles (those whose the base space is a ordinary smooth space augmented to a 2-space by considering only identity morphisms) by: $$t_j \bar{t_i}(x,f)=(x,fg_{ij}(x))$$ Where $(x,f)$ is a point in $U_{ij}\times F$ for a double overlap $U_{ij}$ of a cover $\{U_i\}_i$ of the base space $B$ and $F$ a 2-space (the fiber 2-space), $g_{ij}(x)$ is an autoequivalence (mainly a functor) on $F$ and it "acts" on the right (as the custom wishes), $t_i$ is an equivalence $t_i:E|_{U_i}\rightarrow U_i \times F$ ($E$ is the total space), and $\bar{t_j}$ is the weak inverse of $t_j$.

I found this definition rather obscure because $g_{ij}(x)$ do have two maps (object and morphism ones), then there must be 2 different "transition functions" whith acts both on objects and morphisms, this definition suggests that $f$ is an object of $F$ and then, $g_{ij}(x)$ is only the object part of the equivalence, I don't think such authors forgot the morphism map in their article, which leads me to think that I missed something, but what?

$\endgroup$
2
  • $\begingroup$ So another line that has $t_j \bar{t}_i ( ( x,f) \to (x , f') ) = ( x , (f \to f') g_{ij} (x) )$? $\endgroup$
    – AHusain
    Commented Dec 26, 2015 at 22:13
  • $\begingroup$ What does this line say? $\endgroup$
    – Pedro
    Commented Dec 27, 2015 at 8:55

1 Answer 1

1
$\begingroup$

They don't say that $f$ is an object of $F$, so it might as well also be a morphism of $F$. In other words, the same equation defines both the object and the morphism parts of $g_{i j}(x)$, with $f$ interpreted as either an object or a morphism respectively.

$\endgroup$
1
  • $\begingroup$ You know what, this is the conclusion I arrived to, thanks Mr Shulman. $\endgroup$
    – Pedro
    Commented Jan 4, 2016 at 20:09

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .