Repository | Book | Chapter
(2015) The road to universal logic I, Basel, Birkhäuser.
Categories of logics and translations usually come with a natural notion of when a translation is an equivalence. The datum of a category with a distinguished class of weak equivalences places one into the realm of abstract homotopy theory where notions like homotopy (co)limits and derived functors become available. We analyze some of these notions for categories of logics. We show that, while logics and flexible translations form a badly behaved category with only few (co)limits, they form a well behaved homotopical category which has all homotopy (co)limits. We then outline several natural questions and directions for further research suggested by a homotopy theoretical viewpoint on categories of logics.
Publication details
DOI: 10.1007/978-3-319-10193-4_2
Full citation:
Arndt, P. (2015)., Homotopical categories of logics, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic I, Basel, Birkhäuser, pp. 13-58.
This document is unfortunately not available for download at the moment.