synthetic https://dom-verity.github.io/atom.xml Dominic Verity dominic.verity@mq.edu.au 2023-02-09T00:00:00Z The Elements wins AAP PROSE Award https://dom-verity.github.io/posts/2023-02-09-prose.html 2023-02-09T00:00:00Z 2023-02-09T00:00:00Z Yesterday the Association of American Publishers (AAP) unveiled the 105 finalists and 40 Category winners for the 47th Annual PROSE Awards honouring scholarly works published in 2023.

We are very proud to say that the Elements of ∞-Category Theory won the PROSE Award in the Mathematics and Statistics category.

]]> Themes and motifs in ∞-cosmology https://dom-verity.github.io/posts/2022-09-16-unlikely.html 2022-09-16T00:00:00Z 2022-09-16T00:00:00Z On Monday the 19th of September 2022 I will be speaking at the Categories and Companions Symposium 2022 on the value of pursuing unlikely ideas in a talk entitled “Themes and Motivations in ∞-Cosmology”.

Abstract

In this talk, we review the current state of the art in model agnostic ∞-category theory, which seeks to provide a unified account of ∞-category theory freed from the straight jacket of a specific model.

In particular, we shall focus on the theory of ∞-cosmoi [1], a general framework for the development of fibrational ∞-category theories. The key novelty of this approach is that it allows both for the model independent, synthetic development of ∞-categorical results and for the transport of analytically derived such results from one model to another.

]]> Zen and the art of ∞-categories https://dom-verity.github.io/posts/2022-03-12-zen.html 2022-03-12T00:00:00Z 2022-03-12T00:00:00Z Last Friday morning I spoke in the Topos Institute Colloquium on the topic of model independent and synthetic approaches to ∞-category theory. This might be considered part of our virtual book tour for The Elements.

You can view the video of this talk and play along with my slides.

Abstract

You may well have heard the rumour that ∞-category theory is “really just like category theory with a little homotopy theory thrown in”. Inspired by that comment, you might even have headed to a book on ∞-categories or to the nLab to find out more, only to find that things in the ∞-world are far from that simple.

]]> Publication of "The Elements" https://dom-verity.github.io/posts/2022-01-22-the-elements.html 2022-01-22T00:00:00Z 2022-01-22T00:00:00Z Book cover image 'Elements of ∞-category theory'

The book Elements of ∞-Category Theory by Emily Riehl and Dom Verity has just been published (February 2022) by Cambridge University Press as volume 194 of the series Cambridge Studies in Advanced Mathematics. Here’s what the reviewers are saying:

‘Emily and Dom have done what many thought impossible: they have written an introductory text on a model-independent approach to higher category theory. This self-contained text is ideal for both end-users and architects of higher category theory. Every page is bursting at the seams with gorgeous insights and the refreshingly candid delight the authors take in their subject.’
Clark Barwick - University of Edinburgh

]]> The Comprehension Construction https://dom-verity.github.io/posts/2022-01-15-comprehension-construction.html 2022-01-15T00:00:00Z 2022-01-15T00:00:00Z In 2017 Emily Riehl and I posted a paper [1] on the arXiv entitled “The comprehension construction.” and we blogged about it on the n-Category Café. That post explains the use of the term comprehension in the title of that paper.

I have reproduced it here to show off some Haskell hacking I’ve been indulging in to support the typesetting of category theoretic diagrams in blog posts. To do this I’ve used LaTeX to generate SVG images, from diagrams specified using packages such as PGF/TikZ, which are then inlined directly into HTML pages.

]]> A recipe for success: Uncle Bob Verity's rice 'n' peas https://dom-verity.github.io/posts/2021-12-20-rice-n-peas.html 2021-12-20T00:00:00Z 2021-12-20T00:00:00Z What could be more fitting than to kick off this blog by recycling a post I wrote a few years ago about my favourite dish rice ‘n’ peas. Given the season, indeed, I should mention that no Jamaican Christmas would be complete without a vast pot of this staple weighing down the family lunch table. I’ll start with a little personal history, but scroll down in the full article if you’re keen to get straight to my Grandfather’s recipe for rice ‘n’ peas.

]]>