[[!redirects Events]] < [[nlab:homotopy type theory events]] category: redirected to nlab