# Tagged Questions

87 views

### Arrows-only implication & disjunction in $\mathbf{Set}.$

Just before the truth-arrows in a topos subsection of Goldblatt's "Topoi: A Categorial Analysis of logic," descriptions of the truth functions $\Rightarrow$ and $\smallsmile$ are given in ...
99 views

### Understand the $\operatorname{Hom}$ Functor.

Via Wikipedia I see that $\operatorname{Hom}_C(A,-): C \rightarrow \textbf{Set}$ a covariant functor which maps each object $X$ in $C$ to the set of morphisms $\operatorname{Hom}_C(A,X)$. I am trying ...
100 views

354 views

### Canonical example of a cosheaf

Sheaves can, like all modern mathematical constructions and abstractions, be counterintuitive beasts but, like all such constructions, a few examples can allow one to visualise them simply as a ...
305 views

### Intuition for limits

My basic intuition for limits/colimits was "limits suck up, colimits suck down". Now, having seen colimits used in presheaf categories, algebraic geometry, and topology, I have much clearer intuition ...
764 views

### Why do we look at morphisms?

I am reading some lecture notes and in one paragraph there is the following motivation: "The best way to study spaces with a structure is usually to look at the maps between them preserving structure ...
363 views

### Importance of 'smallness' in a category, and functor categories

I feel like, having spent a little time doing category theory now, this is probably a silly question, but I keep coming up to many things (definitions, examples etc.) where smallness is required. I ...
464 views

### Mathematical structures

Preamble: My previous education was focused either on classical analysis (which was given in quite old traditions, I guess) or on applied Mathematics. Since I was feeling lack of knowledge in 'modern' ...
5k views

### In (relatively) simple words: What is an inverse limit?

I am a set theorist in my orientation, and while I did take a few courses that brushed upon categorical and algebraic constructions, one has always eluded me. The inverse limit. I tried to ask one of ...
578 views

### Categorical description of algebraic structures

There is a well-known description of a group as "a category with one object in which all morphisms are invertible." As I understand it, the Yoneda Lemma applied to such a category is simply a ...