Skip to main content
edited body
Source Link
Chris Heunen
  • 3.9k
  • 2
  • 30
  • 41

Let $D \colon \mathbf{J} \to \mathbf{Cat}$ be a filtered diagram of categories and functors. It has a colimit $\mathbf{C} = \mathrm{colim}\;D$. If you replace the diagram by a naturally isomorphic one $D' \colon \mathbf{J} \to \mathbf{Cat}$, then the colimit $\mathbf{C'} = \mathrm{colim}\;D'$ is isomorphic to $\mathbf{C}$. What happens if you replace the diagram by a naturally equivalent one $D'' \colon \mathbf{J} \to \mathbf{Cat}$, is the colimit still $\mathbf{C''} = \mathrm{colim}\;D''$ still equivalent to $\mathbf{C}$?

(I'm interested in $\mathbf{Cat}$, or in fact the category $\mathbf{MonCat}$ of monoidal categories, but suspect that there is a general statement in weak 2-categories. Any references are appreciated.)

Let $D \colon \mathbf{J} \to \mathbf{Cat}$ be a filtered diagram of categories and functors. It has a colimit $\mathbf{C} = \mathrm{colim}\;D$. If you replace the diagram by a naturally isomorphic one $D' \colon \mathbf{J} \to \mathbf{Cat}$, then the colimit $\mathbf{C'} = \mathrm{colim}\;D'$ is isomorphic to $\mathbf{C}$. What happens if you replace the diagram by a naturally equivalent one $D'' \colon \mathbf{J} \to \mathbf{Cat}$, is the colimit still $\mathbf{C''} = \mathrm{colim}\;D''$ equivalent to $\mathbf{C}$?

(I'm interested in $\mathbf{Cat}$, or in fact the category $\mathbf{MonCat}$ of monoidal categories, but suspect that there is a general statement in weak 2-categories. Any references are appreciated.)

Let $D \colon \mathbf{J} \to \mathbf{Cat}$ be a filtered diagram of categories and functors. It has a colimit $\mathbf{C} = \mathrm{colim}\;D$. If you replace the diagram by a naturally isomorphic one $D' \colon \mathbf{J} \to \mathbf{Cat}$, then the colimit $\mathbf{C'} = \mathrm{colim}\;D'$ is isomorphic to $\mathbf{C}$. What happens if you replace the diagram by a naturally equivalent one $D'' \colon \mathbf{J} \to \mathbf{Cat}$, is the colimit $\mathbf{C''} = \mathrm{colim}\;D''$ still equivalent to $\mathbf{C}$?

(I'm interested in $\mathbf{Cat}$, or in fact the category $\mathbf{MonCat}$ of monoidal categories, but suspect that there is a general statement in weak 2-categories. Any references are appreciated.)

edited title
Link
Harry Gindi
  • 19.6k
  • 16
  • 123
  • 215

Are colimitsequivalences of categories stable under equivalencefiltered colimits?

Became Hot Network Question
added 8 characters in body
Source Link
Chris Heunen
  • 3.9k
  • 2
  • 30
  • 41

Let $D \colon \mathbf{J} \to \mathbf{Cat}$ be a filtered diagram of categories and functors. It has a colimit $\mathbf{C} = \mathrm{colim}\;D$. If you replace the diagram by a naturally isomorphic one $D' \colon \mathbf{J} \to \mathbf{Cat}$, then the colimit $\mathbf{C'} = \mathrm{colim}\;D'$ is isomorphic to $\mathbf{C}$. What happens if you replace the diagram by a naturally equivalent one $D'' \colon \mathbf{J} \to \mathbf{Cat}$, is the colimit still $\mathbf{C''} = \colim\;D''$$\mathbf{C''} = \mathrm{colim}\;D''$ equivalent to $\mathbf{C}$?

(I'm interested in $\mathbf{Cat}$, or in fact the category $\mathbf{MonCat}$ of monoidal categories, but suspect that there is a general statement in weak 2-categories. Any references are appreciated.)

Let $D \colon \mathbf{J} \to \mathbf{Cat}$ be a filtered diagram of categories and functors. It has a colimit $\mathbf{C} = \mathrm{colim}\;D$. If you replace the diagram by a naturally isomorphic one $D' \colon \mathbf{J} \to \mathbf{Cat}$, then the colimit $\mathbf{C'} = \mathrm{colim}\;D'$ is isomorphic to $\mathbf{C}$. What happens if you replace the diagram by a naturally equivalent one $D'' \colon \mathbf{J} \to \mathbf{Cat}$, is the colimit still $\mathbf{C''} = \colim\;D''$ equivalent to $\mathbf{C}$?

(I'm interested in $\mathbf{Cat}$, or in fact the category $\mathbf{MonCat}$ of monoidal categories, but suspect that there is a general statement in weak 2-categories. Any references are appreciated.)

Let $D \colon \mathbf{J} \to \mathbf{Cat}$ be a filtered diagram of categories and functors. It has a colimit $\mathbf{C} = \mathrm{colim}\;D$. If you replace the diagram by a naturally isomorphic one $D' \colon \mathbf{J} \to \mathbf{Cat}$, then the colimit $\mathbf{C'} = \mathrm{colim}\;D'$ is isomorphic to $\mathbf{C}$. What happens if you replace the diagram by a naturally equivalent one $D'' \colon \mathbf{J} \to \mathbf{Cat}$, is the colimit still $\mathbf{C''} = \mathrm{colim}\;D''$ equivalent to $\mathbf{C}$?

(I'm interested in $\mathbf{Cat}$, or in fact the category $\mathbf{MonCat}$ of monoidal categories, but suspect that there is a general statement in weak 2-categories. Any references are appreciated.)

Source Link
Chris Heunen
  • 3.9k
  • 2
  • 30
  • 41
Loading