The Arrow of Time in Category Theory
Thursday, November 12th, 2009The folks at the n-Category Café have been discussing the possible relationships between time and category structure. For example, these comments from John Baez on the post “Kan Lifts”:
Why is Set so different than Setop? It’s because the morphisms are functions: relations that can be many-to-one, but not one-to-many.
Why do many-to-one but not one-to-many relations […]