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.
• CommentAuthorTobyBartels
• CommentTimeJul 27th 2019

Definition of amnestic anafunctor (which seems to be original here but is fairly obvious). Also put $Met_cont$ in the (non)-examples. Still to do: amnesticization of functors (requiring AC) and anafunctors (constructive).