Preprint / scholarly article
Fractal Category Theory
- Published
- DOI
- 10.5281/zenodo.17292137
Abstract
A mixed indexing category is used to show that bilimit computations reduce to a small subpresentation under accessibility and preservation assumptions, yielding presentation-independent formulas and a tight link between ind-pro bicompletion and a fraction-style construction.
Keywords
- category theory
- frobenius monad
- comonad
- ind-completion
- pro-completion
- ind-pro bicompletion
- kan extension
- day convolution
- lawvere metric
- algebraic compactness
- ambifixpoint
- equivariant functor