Here’s my second set of lecture notes for a 4 1 2 \frac{1}{2}-hour minicourse at the Summer School on Algebra at the Zografou campus of the National Technical University of Athens. Part 1 is here, and ...

These are some lecture notes for a 4 1 2 \frac{1}{2}-hour minicourse I’m teaching at the Summer School on Algebra at the Zografou campus of the National Technical University of Athens. To save time, I ...

Hello (none)@40.77.167.4.So nice of you to stop by. I'm a member of the Theory Group here at UT. I've been at UT since September 1994. Before coming here, I was an Assistant Professor in the theory ...

Current itex2MML Version: 1.6.1 (10/3/2021) Installation: Readme Source code: (download | browse repository) Here is a list of all the TeX commands currently implemented in itex2MML. Most should be ...

For me, two of the most interesting aspects of category theory in computer science have been monads and generalised folds/unfolds. If M is a functor that happens to be monad, then given an arrow (ie.

I was really happy to understand this construction, both the fact that ℂ \mathbb{C} on categories (and in particular, on Δ \Delta) coincides with the comonad resolution, and the resulting description ...

By the way, my proof here that the ring of symmetric functions Λ \Lambda is the free λ \lambda-ring on one generator is a bit ‘tricky’, since I was wanting to deploy things we’d already shown and not ...

The Geometric Intuition. The central motivating definition of our paper is the following: A semi-simplicial type X X consists of a type X 0 X_0 together with, for every x: X 0 x:X_0, a displayed ...

Why Mathematics is Boring. I don’t really think mathematics is boring. I hope you don’t either. But I can’t count the number of times I’ve launched into reading a math paper, dewy-eyed and eager to ...

The palette of notes – scales. If you are wanting to compose a piece of music, be you a caveman, a rock star or a member of the Royal College of Music, you must at some point – probably when you start ...

For questions 1 and 2, isn’t that true for any group G, not just the fundamental groups of a manifold? And moreover, I think of this as the definition of the profinite completion of a group: as an ...

My anonymous correspondent says that The Book of Involutions gives a nice conceptual explnation of the Okubo algebra. You can see the table of contents, bibliography and index of this book on Markus ...