Metodo

International Studies in Phenomenology and Philosophy

Series | Book | Chapter

202759

Homotopical categories of logics

Peter Arndt

pp. 13-58

Abstract

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

Published in:

Koslow Arnold, Buchsbaum Arthur (2015) The road to universal logic I: Festschrift for 50th birthday of Jean-Yves Béziau. Basel, Birkhäuser.

Pages: 13-58

DOI: 10.1007/978-3-319-10193-4_2

Full citation:

Arndt Peter (2015) „Homotopical categories of logics“, In: A. Koslow & A. Buchsbaum (eds.), The road to universal logic I, Basel, Birkhäuser, 13–58.