Bjorn Ian Dundas

I think we should be pragmatic here. (Black board) Bold n is easy to read and only the most dogmatic of our readers will even think about it. If you...

> On Sep 6, 2021, at 11:04, Marc Bezem ***@***.***> wrote: > > > Yes. Here are some further remarks/questions. > > • We could explore the symmetries of (Z,s^n)...

In your example, with f(n)+(-1)^n, any permutation g:Z->Z that satisfies g(n)+(-1)^{g(n)}=g(n+(-1)^n) will fit the bill (i.e. an even input n and its successor give an adjacent pair g(n) and g(n)+(-1)^{g(n)...

Without having checked any details Z splits into orbits \sum_aO_a of the f-action, and each of the O_as will be cyclic. An equivalence can permute the orbits, but must preserve...

I’m at a motivic conference and am unavailable Thursday afternoon. I’m comfortable with any clear conclusion Bjorn On 9 Aug 2022, at 20:30, Marc Bezem ***@***.***> wrote:  1. Let's...

I'm fine with this Bjorn On 11 Aug 2022, at 10:40, Marc Bezem ***@***.***> wrote:  My proposal would be to define $x =_A y$ as $(x \eqto y) \times...

amen ________________________________________ From: Daniel R. Grayson ***@***.***> Sent: Thursday, August 18, 2022 4:46 PM To: UniMath/SymmetryBook Cc: Bjorn Ian Dundas; Comment Subject: Re: [UniMath/SymmetryBook] \equiv (Issue #145) Okay, we've agreed:...

Happy New Year to all. Is the Monday slot still active or is it Thursday? Bjorn > On Dec 23, 2020, at 17:44, Ulrik Buchholtz wrote: > > > I've...

Hi! Seems I’m free on Thursday 16 this semester, so I’ll see you all then. Bjorn > On Jan 4, 2021, at 10:30, Ulrik Buchholtz wrote: > > > Is...

@bidundas has no input here. While keeping in mind that some of our readers may have different background than any of us do we want things to be both correct...