# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeJun 13th 2018

copied over to here (from internal hom) statement and proof that also an internal hom-bifunctor preserves ordinary limits in both arguments (now this prop)

• CommentRowNumber2.
• CommentAuthorMarc
• CommentTimeJun 13th 2018
• (edited Jun 13th 2018)

changed $\underset{\longrightarrow}{\lim}$ to $\underset{\longleftarrow}{\lim}$ for the limits in the proposition

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJun 13th 2018

Thanks for catching this! I had the same typo at geometry of physics – categories and toposes. Fixed now.