Skip to the content.

Shadows of Computation

JOIN NOW

Welcome to Shadows of Computation. This (free!) online course covers the foundations of category theory, which is used by computer scientists to abstract computing systems to reveal their intrinsic mathematical properties. This course is targeted towards those who are mathematically inclined, and interested in learning how category theory can be used in theoretical computer science.

There is also a secondary aim of the course: to teach how to present theoretical ideas. Two of the lectures will be about lecturing, and students will be encouraged to present a short talk at the end of the course, covering an extension of the ideas presented in the lectures.

powered by TinyLetter

This course will be taught at metauni, using Roblox for the 3D virtual environment and voice chat and Discord for community.

Important: you must have spatial voice set up (before you join a lecture) to hear other people speaking.

Organisers:

Course Schedule

Each lecture will be 1.5hr. In the schedule below, the references are given after the section number, eg R 1.3 refers to Section 1.3 of Category Theory in Context. The lecturer is given in brackets, (B) means Billy and (W) means Will (subject to change).

Exercise Sessions

We encourage learning by doing. Each week there will be assigned exercises for you to practice and better your understanding of the lecture content with your peers. There will be a regular exercise session on Wednesdays at 20:00 AEDT in Moonlight Forest, where you can get help from Billy, Will, or another experienced tutor.

It’s hard to pick a time that works for every timezone, so it is also encouraged for you to schedule your own times to meet with other students for a study/exercise session.

Exercise Sheets

Exercise sheets will appear here and also in the discord channels for each week.

Asynchronous Attendance

All lectures will be recorded and posted to the metauni youtube channel, but we will also experimenting with something we call replays. This means that we will present some lectures with VR, recording the presenters movements, writing and voice so that you can actually attend a past lecture in Roblox. Here’s our first attempt at it, which you can actually experience right now in The Rising Sea.

We think there’s some magic in replays, even beyond the ability to attend asynchronously, and we will run some replay viewing sessions where we’ll experiment with some of our ideas. Imagine being able to pause the replay-lecturer, and ask the real lecturer (or tutor) to clarify what was just said, or elaborate on some interesting tangent.

Registration

There’s a 45 student limit to the course, which is the most people we can have in a single Roblox server. So registration is essential for live attendance, but recorded lectures will be publicly available. Here is the registration process:

  1. Follow Steps 1 and 2 of the instructions to setup your Roblox and Discord accounts.
  2. Open the metauni Discord server and post in the #soc-registration channel with your Roblox username and how you want people to refer to you. This is mainly for your classmates, so you may wish to include a brief description of your interests and reasons for attending the class, and any links to personal webpages or Twitter accounts you want people to see. No pressure though, your Roblox username is enough (for administration purposes we need to know the connection between Discord accounts and Roblox usernames).
  3. Join the metauni Roblox group. This way we can give you permission to write on the blackboards throughout metauni.
  4. If you don’t check discord regularly, you can subscribe to the mailing list to receive important updates from now until the first class (this is the same mailing list used for mag). Otherwise you can watch the #shadows-of-computation channel in the metauni Discord for updates.

Pre-requisites

Only a little bit of linear algebra (a basic familiarity with finite dimensional complex vector spaces, for the sake of examples) is necessary. More precisely, you should have experience working with linear transformations and bases. You should know

We assume no familiarty nor experience with coding, computer science, or logic whatsoever.

You should also be comfortable with functions and terms like domain, codomain, injective, surjective, bijective, cartesian product.

For tablet and microphone recommendations see the hardware page.

Foundations Seminar

Every two weeks we also host the foundations seminar, which is run fortnightly on metauni-day at 21:00 AEDT. Click here for details.