Your search returned 85 results.

Search	Subject	Verb	Object
🔎	1	form	adjunction
🔎	functor between abelian categories	preserve	homology
🔎	abstract framework	lays	foundation for generalizations of these ideas to other contexts
🔎	functor without an adjoint	inducing	monad, namely, its codensity monad
🔎	adjoint	form	involutive functor categories
🔎	associated with fin\-itely aligned	left	cancellative small categories
🔎	article	contain	construction of left adjoints for the $\cal P$ functors
🔎	bicategories	generalised	monoidal category
🔎	bicategories	contain	representations which are indecomposable but not irreducible
🔎	biequivalence	inducing	equivalences between the corresponding categories of algebras
🔎	Cartesian closed category	captures	proofs in intuitionistic logic
🔎	cartesian	closed	topological hull
🔎	categorical groups	determined	monoidal bicategory of representations
🔎	functors to that category	inducing	persistence functions
🔎	category	captures	proofs
🔎	circle group	plays	special role
🔎	completion	generalizing	usual one for metric spaces
🔎	set of such components	given	computable invariant of machine behavior
🔎	composite VY	underlies	idempotent monad
🔎	construction	preserves	comprehension