Bjorn Ian Dundas

This is beyond my jurisdiction, I know. However, I still offer my opinion. The question is ”what should the type of subsets of the set A be?” 1. the type...

Pretending that you don’t know what a skeleton is _can_ ruin these things... The argument is that when choosing between equivalent types modelling a categorical notion one would prefer the...

I > On May 23, 2020, at 20:38, Ulrik Buchholtz wrote: > > > Pretending that you don’t know what a skeleton is can ruin these things... The argument is...

I'm probably the offender here, but most of my travesties came after we had had some discussions on this. While we don't want to convey a false impression (and obviously...

ok, underscores Steve's point that it is worthwhile discussing these things in person (first). That can save some time, and then open issues when we're in doubt.

I think both of them are mine. The duplication came from the monomorphism affair and one of them is to be deleted once people are happy. Bjorn > On Apr...

This and many of your (Dan's) following comments were on my agenda in my planned rewriting of the material after the (last) monomorphism section (the first was to be deleted...

I like it. There is a slight inconsistency in that we’d tend to use the WORD “to” as in “a is equal TO b” for the truncated version. I can...

Agree. We don't need to be totally consistent at just this point. Bjorn > On 1 Jul 2021, at 19:22, Daniel R. Grayson ***@***.***> wrote: > > Yes, it can...

Here I beg to differ. Using bold fonts to signify important constants has an enormous precedence even though it has some obvious disadvantages. Personally I'd prefer to use a simple...