Soft adjunction between 2-categories
نویسندگان
چکیده
منابع مشابه
A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories
We illustrate a minor error in the biadjointness result for 2-categories of traced monoidal categories and tortile monoidal categories stated by Joyal, Street and Verity. We also show that the biadjointness holds after suitably changing the definition of 2-cells. In the seminal paper “Traced Monoidal Categories” by Joyal, Street and Verity [4], it is claimed that the Int-construction gives a le...
متن کاملThe Dual Adjunction between MV-algebras and Tychonoff Spaces
We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality betwe...
متن کاملOrbifold Adjunction Formula and Symplectic Cobordisms between Lens Spaces
Here the canonical contact structure ξ0 on a lens space L(p, q) is the descendant of the distribution of complex lines on S = {(z1, z2) | |z1| + |z2| = 1} under the quotient map S → L(p, q) of the Zp-action (z1, z2) 7→ (μpz1, μpz2). (Here μp = exp( √ −1 p ), and p, q are relatively prime and 0 < q < p.) The contact structure ξ0 induces a canonical orientation on L(p, q) where a volume form is g...
متن کاملExotic structures and adjunction inequality
Theorem 1.1. ([E]) Let X = B ∪ (1-handles) ∪ (2-handles) be four-dimensional handlebody with one 0-handle and no 3or 4-handles. Then • The standard symplectic structure on B can be extended over 1-handles so that manifold X1 = B 4 ∪ (1-handles) is a compact Stein domain. • If each 2-handle is attached to ∂X1 along a Legendrian knot with framing one less then Thurston-Bennequin framing of this k...
متن کاملThe 2-categories of G-categories and of G-graded Categories Are 2-equivalent
Given a group G, we prove that the 2-category of small categories with G-action and G-equivariant functors is 2-equivalent to the 2-category of small Ggraded categories and degree-preserving functors.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1989
ISSN: 0022-4049
DOI: 10.1016/0022-4049(89)90127-8