2 A bimodule realization of the Temperley-Lieb two-category 8 2.1 Ring A and two-dimensional cobordisms . . . . . . . . . . . . 8 2.2 Flat tangles and the Temperley-Lieb category . . . . . . . . . 10 2.3 The Temperley-Lieb 2-category . . . . . . . . . . . . . . . . . 12 2.4 The ring H . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.5 Projective H-modules . . . . . . . . . . . . . . ....

we study algebraic properties of categories of merotopic, nearness, and filter algebras. we show that the category of filter torsion free abelian groups is an epireflective subcategory of the category of filter abelian groups. the forgetful functor from the category of filter rings to filter monoids is essentially algebraic and the forgetful functor from the category of filter groups to the cat...

In terms of category theory, the Gromov homotopy principle for a set valued functor F asserts that the functor F can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor F holds if the functor F can be induced from a (co)homology functor. We examine the bordism principle in the case of functors given by bordism groups of solutions ...

Applicative functors [6] are a generalisation of monads. Both allow the expression of effectful computations into an otherwise pure language, like Haskell [5]. Applicative functors are to be preferred to monads when the structure of a computation is fixed a priori. That makes it possible to perform certain kinds of static analysis on applicative values. We define a notion of free applicative fu...

We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their functors. Our methods seem to exhibit new anabelian-type phenomena, in the form of structures in the category of schemes that encode automorphism data in gro...