Tags » Hott

Univalent Foudations - Homotopy Type Theory

@Book{hottbook, author = {The {Univalent Foundations Program}}, title = {Homotopy Type Theory: Univalent Foundations of Mathematics}, publisher = {\url{https://homotopytypetheory.org/book}}, address = {Institute for Advanced Study}, year = 2013} 483 more words

HOTT in Hyboria Asgard vs Zingara

Today saw the first battle in the campaign’s Third Round. Zingara and Asgard faced off against each other. Just how these two geographically distant nations came to blows was a bit of a head-scratcher for me. 419 more words

HOTT

White Rose of the Road

Roller banner design for HOTT (Heart of the Travellers) which celebrates the life of Betsy Whyte.

Betsy – singer of old songs and teller of tales – was first from her culture to write about life as a Scottish Traveller in her celebrated book, … 43 more words

Design For Print

HOTT in Hyboria: Zingara vs Nemedia

This week I have fought-out the meeting of Nemedian forces and the Zingaran army under Duke Gonsalvo. Both armies have invaded beaten Argos. The Nemedians under the wizard Xaltotun seek to drive a path to Messantia on the coast and so further deprive Aquilonia of their trade-routes on the Road of Kings. 413 more words

HOTT

HOTT in Hyboria: Zamora vs Koth-Ophir

The Valley of Scorpions is aptly named. The whole desert is swarming with the monsters. Having captured the Princess Arathena the evil mage Yara of Zamora seeks to hold her there in a tower. 535 more words

HOTT