An approach to approximate category theory

This page cannot be shown here. You can still read it on the original site — the toolbar below keeps your place in the directory.

A number of different people have thought about ways to bring notions of approximation into category theory. There seem to be essentially two notions that one would like to express here: The idea that a digram, while it may not quite commute, commutes up to some specified tolerance \(\epsilon\) The idea that a mapping, while it may not quite preserve the relevant structures, preserves them up to…

Read on /approximate-categories/ ↗