# Tagged Questions

18 views

### The closure of the graph of a certain composite in a topos.

Let $\mathcal{E}$ be an elementary topos with subobject classifier $\Omega$ and let $j\colon \Omega\to\Omega$ be a Lawvere-Tierney topology on it. Assume that, for an object $C$ of $\mathcal{E}$, each ...
51 views

### Where to study $2$-category theory?

Is there any place where I can read about $2$-categories? I am looking for a proper treatment - there is a section in Borceux's Handbook of Categorical Algebra, but it only sketches some parts of the ...
64 views

### Are there any stable $(\infty,1)$-topoi?

Can a stable $(\infty,1)$-category be an $(\infty,1)$-topos?
96 views

### What's the difference between a logic, an internal logic (language) of a category, an internal logic of a topos and a type theory?

maybe this question doesn't make sense at all. I don't know exactly the meaning of all these concepts, except the internal language of a topos (and searching on the literature is not helping at all). ...
46 views

### how would you define the term “elementary” in the context of categories and sets?

I was just reading P.T. Johnstone's introduction to his book "Topos Theory", where he uses the term "elementary" many times to classify the nature of theorems and definitions, examples below. I ...
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 ...
42 views

### Strange monomorphism of sheaves

What is an example of a Grothendieck topology $J$ on a small category $\mathcal{C}$ such that the category of sheaves $\mathsf{Sh}(\mathcal{C},J)$ has a monomorphism which is not a monomorphism of ...
34 views

### Showing $f:a\to b$ is epic iff there exists some iso $g: f(a)\cong b$ with $g\circ f^*=f$.

This is Exercise 5.2.4 of Goldblatt's, "Topoi: A Categorial Analysis of Logic". In any topos, given $f:a\to b$, define $p, q: b\to r$ using the pullback of $f$ along itself like so ...
77 views

### Verifying a Construction Satisfies the $\Omega$-axiom.

I'm stuck on Exercise 4.5.1 of Goldblatt's, "Topoi: A Categorial Analysis of Logic". It's in the topos $\mathbf{Bn}(I)$ of bundles over a set $I$. Goldblatt asks the reader to verify that $\tag{1}$ ...
52 views

### Presheaves in a quasi-topos.

I do believe it is a trivial question. But unfortunately I don't know where I can find an answer. Where could I find the answer to the following question? If $S$ is a small category and $X$ is a ...
33 views

### Motivation of Strong Monics

Strong monics are defined as: A monic $m$ is strong iff every commutative square $mu=ve$, in $E$ with $e$ epi, has a diagonal i.e. there is a morphism $t$ such that $u=te$ and $v=mt$ in $E$. (where ...
131 views

### Learning the topology needed for topos theory.

I have just started learning topos theory and I am going through Mac Lane and Moerdijk's book, "Sheaves in Geometry and Logic". I have, unfortunately, very little experience with topology. I started ...
122 views

54 views

### A few questions concerning “universal colimits” and dense generating sets

My questions are triggered by Borceux, Vol 1, Proposition 4.5.6. The relevant part of the book is browsable on Google Books, but i'll go ahead and reproduce at least the statement here anyway: Let ...
55 views

### Studying Galois Cohomology from Category Theory.

I am a masters student with background in Category Theory - I also know some Topos Theory. I would like to ask if you think it would be possible to start studying Galois Cohomology without any ...