Enriched Herds And Finite Quantum Groupoids
We describe a finite quantum groupoid associated to any finite Vect_k enriched herd.
math.CT↗
arXiv subjects
Brian J. Day
Publications and source records attributed to Brian J. Day.
Note On Analytic Functors As Fourier Transforms
Several notions of "analytic" functor introduced recently in the literature fit into the graphic fourier transform context presented in [D].
math.CT↗
On The Existence Of Category Bicompletions
A completeness conjecture is advanced concerning the free small-colimit completion P(A) of a (possibly large) category A. The conjecture is based on the existence of a small generating-cogenerating set of objects in A. We sketch how the validity of the result would lead to the existence of an Isbell-Lambek bicompletion C(A) of such an A, without a "change-of-universe" procedure being necessary to describe or discuss the bicompletion.
math.CT↗
Note On Endomorphism Algebras Of Separable Monoidal Functors
We recall the Tannaka construction for certain types of split monoidal functor into Vect_{k}, and remove the compactness restriction on the domain.
math.CT↗
Biclosed bicategories: localisation of convolution
We give a summary (without proofs) of the main results in the author's thesis entitled ``Construction of biclosed categories'' (University of New South Wales, Australia, 1970). This summary is reprinted directly from Report 81-0030 of the School of Mathematics and Physics, Macquarie University, April 1981. In particular, it gives sufficient conditions for existence of an extension of a (pro)monoidal category structure along a given dense functor to a cocomplete category. The two basic procedures used in the proof turn out to be special cases of the final result, the two respective dense functors then being the Yoneda embedding followed by a localisation. The final result has a standard universal property based on left Kan extension of (pro)monoidal functors along the given dense functor, however this property is not stated explicitly here.
math.CT↗
Monoidal functor categories and graphic Fourier transforms
This article represents a preliminary attempt to link Kan extensions, and some of their further developments, to Fourier theory and quantum algebra through *-autonomous monoidal categories and related structures.
math.QA↗
Limits of small functors
For a small category K enriched over a suitable monoidal category V, the free completion of K under colimits is the presheaf category [K*,V]. If K is large, its free completion under colimits is the V-category PK of small presheaves on K, where a presheaf is small if it is a left Kan extension of some presheaf with small domain. We study the existence of limits and of monoidal closed structures on PK.
math.CT↗
Compact convolution
We state a Yoneda-type lemma which leads to various functor categories being compact closed.
math.CT↗