https://cmuc.mat.uc.pt/rdonweb/event/showPPSeminar.do;jsessionid=656A182F41319B112D2D3634CC19C590?seminarID=2082
Centre for Mathematics, University of Coimbra - The lax comma category Cat//X
Centre for Mathematics, University of Coimbra
university of coimbrathe laxcomma categorycentremathematics