The internal-categories tag has no wiki summary.

**6**

votes

**1**answer

316 views

### Existence of internal toposes/inner models in a topos

It has been known for some time that one can define a topos as a model of a (finitary) essentially algebraic theory (or in other words, can be defined internal to any category with finite limits). In ...

**8**

votes

**1**answer

366 views

### What is the difference between internal presheaves and presheaves on a total space?

Suppose that $\mathbb{C}$ is a category with finite limits and that $\mathcal{D}$ is a category internal to $\mathbb{C}$. We can also represent $\mathcal{D}$ as a fibration $\mathbb{D}\to\mathbb{C}$.
...

**6**

votes

**2**answers

487 views

### On internal functions and arrows in a Topos

I am not an expert on elementary topos (meaning by this to work with the internal language in a Grothendiek topos) and I rather be told than struggle with the following:
Consider an elementary topos ...

**5**

votes

**0**answers

132 views

### Maximal algebraic sub-groupoids

By a theorem of Ehresmann, topological and Lie categories (by which I mean categories internal to $Top$ and $Diff$ respectively, with the condition that the source and target in the latter case are ...

**5**

votes

**2**answers

228 views

### What condition on a “bibundle between categories” generalizes “right-principal bibundle between groupoids”?

My question is long on background and motivation, and almost but not quite answered over at the nLab. I'll write up a bunch before asking my question (feel free to skip to the end or look at the ...

**5**

votes

**1**answer

383 views

### Who first came up with the idea of essential/Morita equivalence of internal groupoids/categories?

The idea that stacks can be identified with groupoids internal to the base site $S$ up to what is variously called essential/Morita equivalence is well known. The basic idea is that one takes the ...

**2**

votes

**1**answer

299 views

### internal version of a flat functor?

I'm working out of Sheaves in geometry and logic, for reference.
There is a characterisation of flat functors $A:C \to Set$ as those such that the Grothendieck construction $\int_C A$ is a filtering ...