Taxotopy Theory of Posets I: van Kampen Theorems
Given functors between small categories, when is it possible to say that can be "continuously deformed" into in a manner that is not necessarily reversible? In an attempt to answer this question in purely category-theoretic language, we use adjunctions to define a `taxotopy' preorder on the set of functors , and combine this data into a `fundamental poset' . The main objects of study in this paper are the fundamental posets and for a poset , where is the singleton poset and is the ordered set of integers; they encode the data about taxotopy of points and chains of respectively. Borrowing intuition from homotopy theory, we show that a suitable cone construction produces `null-taxotopic' posets and prove two forms of van Kampen theorem for computing fundamental posets via covers of posets.