?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=When+Lawvere+Meets+Peirce%3A+An+Equational%0D%0APresentation+of+Boolean+Hyperdoctrines&rft.creator=Bonchi%2C+Filippo&rft.creator=Di+Giorgio%2C+Alessandro&rft.creator=Trotta%2C+Davide&rft.description=Fo-bicategories+are+a+categorification+of+Peirce%E2%80%99s+calculus+of+relations.+Notably%2C+their+laws+provide+a+proof+system+for+first-order+logic+that+is+both+purely+equational+and+complete.+This+paper+illustrates+a+correspondence+between+fo-bicategories+and+Lawvere%E2%80%99s+hyperdoctrines.+To+streamline+our+proof%2C+we+introduce+peircean+bicategories%2C+which+offer+a+more+succinct+characterization+of+fo-bicategories.&rft.subject=Relational+algebra%3B+hyperdoctrines%3B+cartesian+bicategories%3B+string+diagrams&rft.publisher=Dagstuhl+Publishing&rft.contributor=Kr%C3%A1lovi%C4%8D%2C+Rastislav&rft.contributor=Ku%C4%8Dera%2C+Anton%C3%ADn&rft.date=2024-08-23&rft.type=Proceedings+paper&rft.language=eng&rft.source=+++++In%3A+Kr%C3%A1lovi%C4%8D%2C+Rastislav+and+Ku%C4%8Dera%2C+Anton%C3%ADn%2C+(eds.)+49th+International+Symposium+on+Mathematical+Foundations+of+Computer+Science+(MFCS+2024).++(pp.+30%3A1-30%3A19).++Dagstuhl+Publishing%3A+Wadern%2C+Germany.+(2024)+++++&rft.format=text&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10198560%2F1%2FLIPIcs.MFCS.2024.30.pdf&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10198560%2F&rft.rights=open