# Tagged Questions

**2**

votes

**1**answer

322 views

### What are the uses of Limits and Colimits of Category Theory in every day problems? [closed]

I am interested in knowing how we can use the concepts of Limits and Colimits in modeling problems in every day life? Could anyone provide (Software) engineering examples, perhaps? Or describe ...

**7**

votes

**1**answer

173 views

### Explicit description of the oplax limit of a functor to Cat?

The nCatLab Grothendieck construction page gives an explicit description of the oplax colimit of any functor to Cat. Can someone give me a similarly explicit description (the objects and morphisms) ...

**3**

votes

**1**answer

159 views

### Does Ind-completion commute with finite limits?

The broad and vague question is in the title. The more precise question is:
Say $\{\mathcal{C}_i\}$ is a finite diagram of (essentially small) stable $\infty$-categories and exact functors with ...

**5**

votes

**0**answers

264 views

### Constructing pointwise Kan extensions as adjoints to some functor

Background
I'm working on formalizing some category theory in Coq at https://bitbucket.org/JasonGross/catdb. Currently, I'm in the process of formalizing pointwise Kan extensions. Partly because ...

**1**

vote

**0**answers

243 views

### The inductive and projective limits of compact Hausdorff topological groups

Are there conditions known under which the inductive or projective limit of a family of compact Hausdorff topological groups is compact? (For instance, such a result is valid for the projective limit ...

**5**

votes

**1**answer

343 views

### Adjoint Functors as Initial Objects of Some Category

Just as universal arrows can be characterized as initial objects of some appropriate comma category, and (co)limits can be characterized as (initial) terminal objects of the appropriate (co)cone ...

**8**

votes

**4**answers

823 views

### Categorical description of the restricted product (Adeles)

Background on the Adèles
The Adèles $\mathbb{A}_K$ of a number field or function field $K$ are defined as a restricted product of the complete local fields $K_\nu$, where $\nu$ ranges over all places ...

**6**

votes

**2**answers

747 views

### Is Sheafification Functor Exact?

I know that sheafification functor from the category of abelian presheaves on $C$ to the category of abelian sheaves on $C$. Here, $C$ is a category with Grothendieck pretopology.
My question is:
...

**4**

votes

**1**answer

386 views

### permutation of projective limits with inductive limits

Hi everybody,
I have a lack of references concerning projective limits and injective limits. Up to my faults in Bourbaki there are only proj and inj limits indexed by a partially ordered set (not a ...

**2**

votes

**1**answer

462 views

### Strong colimits of categories.

Let $\mathcal C$ be a category and let $\mathcal F:\mathcal C\to\mathcal C\textrm{at}$ be a strong bifunctor. Given another category $\mathcal D$, let $\triangle_{\mathcal D}$ denote the constant ...

**5**

votes

**0**answers

344 views

### (Co-)Limits and fibrations of DG-Categories?

First of all, let me see if i got the 1-categorical version right:
Let $\mathcal F:C\to Cat $ be a
(pseudo-) functor. The 2-colimit
$\mathrm{colim}_C\mathcal F$ is then
given by the grothendieck
...

**1**

vote

**2**answers

634 views

### On limits and Colimits

I want to ask a stupid question. I wonder whether following morphism exists in general
Let I be an infinite set. i belongs to I
Hom(A,colimBi)--->limHom(A,Bi) and
...