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.
• CommentAuthorMike Shulman
• CommentTimeOct 16th 2013

Created partial map classifier, but itex won’t make harpoons even though this page claims it can.

• CommentRowNumber2.
• CommentAuthorHurkyl
• CommentTimeApr 16th 2020

Added a construction of the partial map classifier as the dependent product along $1 \to \Omega$.