6
votes
2answers
275 views

Unexpected interaction between limits and colimits

Let $D$ be a limit-complete category. My vague question is: given two diagrams in $D$, what comparisons between them induce a morphism of their limits? I'm especially interested in the case that the ...
2
votes
1answer
357 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
1answer
191 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
1answer
174 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
0answers
289 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
0answers
255 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
1answer
368 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
4answers
914 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 ...
7
votes
2answers
807 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: ...
5
votes
1answer
416 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
1answer
492 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 ...
6
votes
0answers
358 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
2answers
656 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 ...