Giters

the1lab / 1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Home Page:https://1lab.dev

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Wedges, ends, computation of ends

plt-amy opened this issue · comments

commented

We have cowedges and coends, but no wedges and ends. Relevant modules are Cat.Diagram.Coend and Cat.Diagram.Coend.Formula.