# 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
• CommentTimeDec 7th 2011

I have split off cartesian closed functor from closed functor and recorded the Frobenius reciprocity statement there.

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeDec 7th 2011

Thanks. I expanded the definition (given what we have at closed functor, the simple statement was ambiguous) and added a concise proof of the Frobenius law.

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeSep 8th 2012

added at cartesian closed functor a note in Examples on cartesian closure of base change.

1. English preposition

Anonymous

2. Uniformize to set membership symbol $\in$

Anonymous