Skip to content

Commit

Permalink
fix typo (duplicate word)
Browse files Browse the repository at this point in the history
  • Loading branch information
jonsterling committed Jan 26, 2022
1 parent 2f74d23 commit 3985d14
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion _nodes/000Z.md
Expand Up @@ -7,7 +7,7 @@ Let $C$ be a small cartesian fibration {%ref 000N%} over $B$ a category with fin
limits, i.e. a cartesian fibration that is both locally small {%ref 000I%} and globally
small {%ref 000P%}. We will show that $C$ is equivalent to the externalization
{%ref 000V%} of an internal category {%ref 000O%} $\underline{C}$ in $B$,
namely the the full internal subcategory {%ref 0011%} associated to the generic
namely the full internal subcategory {%ref 0011%} associated to the generic
object $\bar{u}\in C$.

By {%ref 0011%} we know that the externalization of $\underline{C}$ so-defined
Expand Down

0 comments on commit 3985d14

Please sign in to comment.