# Questions tagged [internal-categories]

The internal-categories tag has no usage guidance.

9
questions with no upvoted or accepted answers

**6**

votes

**0**answers

96 views

### Internal van Kampen colimits

Let $C$ be a category with pullbacks. Recall that a colimit in $C$ is van Kampen if it is preserved by $C/(-): C^{op} \to CAT$, $c \mapsto C/c$.
We can $C$-internalize everything in sight:
Let $\...

**5**

votes

**0**answers

180 views

### Internal $2$-categories

Has the notion of an internal $2$-category been studied, or more generally an internal $n$-category? Do we have any examples of naturally occurring internal $2$-categories/$n$-categories?
The ...

**5**

votes

**0**answers

116 views

### Cartesian liftings in double categories

The question: I wonder whether the following definition, or something similar, has appeared somewhere (see below for motivations). Any reference or pointer is welcome!
(In what follows, I denote ...

**5**

votes

**0**answers

156 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 ...

**4**

votes

**0**answers

88 views

### 'The' object of composable triples in an internal category

In any category $\mathcal{C}$ with pullbacks, we can define an internal category $\mathscr{C}$ in $\mathcal{C}$ as an object ${\bf Ob}_\mathscr{C}$ of objects and an object ${\bf Hom}_\mathscr{C}$ of ...

**4**

votes

**0**answers

86 views

### Pushforward of an internal category along a functor

Let $F:C\to D$ be a “nice” functor (for example, $H_*(-;\mathbb{Z}):\mathbf{Top}\to \mathbf{Ab}^{\mathbb{Z}}$). Now assume that we have a category $O$ internal to $C$. Is there a canonical way to ...

**3**

votes

**0**answers

93 views

### Reclusive Categories

Has there been any work done on internal categories inside internal categories?
I'm familiar with $n$-fold categories, but I don't want an internal category inside the category of internal categories ...

**3**

votes

**0**answers

108 views

### Colimits of n-fold categories

An $n$-fold category is an internal category in the category of $(n-1)$-fold categories (and a $0$-fold category is just a Set).
General results about internal categories assure that the category of $...

**1**

vote

**0**answers

101 views

### Aggregations (e.g., cardinality, indexed sums/products) internal to a syntactic category?

Note: Expanded and rephrased, per Todd's question below.
Suppose that we have a set-valued functor $S:\mathcal{C}\to\mathbf{Sets}$, and an arrow $p:Y\to X$ such that $S(p)$ has finite fibers.
From ...