Related papers: On Adjoint and Brain Functors
A pair of biadjoint functors between two categories produces a collection of elements in the centers of these categories, one for each isotopy class of nested circles in the plane. If the centers are equipped with a trace map into the…
Analogy is a central faculty of human intelligence, enabling abstract patterns discovered in one domain to be applied to another. Despite its central role in cognition, the mechanisms by which Transformers acquire and implement analogical…
We construct a wide subcategory of the category of finite association schemes with a collection of desirable properties. Our subcategory has a first isomorphism theorem analogous to that of groups. Also, standard constructions taking…
We develop the theory dg algebras with enough idempotents and their dg modules and show their equivalence with that of small dg categories and their dg modules. We introduce the concept of dg adjunction and show that the classical covariant…
We define the notion of an additive model category, and we prove that any additive, stable, combinatorial model category has a natural enrichment over symmetric spectra based on simplicial abelian groups. As a consequence, every object in…
For a given family $\{(\mathrm{q}_i, \mathrm{t}_i, \mathrm{p_i} )\}_{i \in I}$ of adjoint triples between exact categories $\mathcal{C}$ or $\mathcal{D}$, we show that any cotorsion pair in $\mathcal{C}$ and $\mathcal{D}$ yield two…
This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of…
It is becoming increasingly difficult for geometers and even physicists to avoid papers containing phrases like `triangulated category', not to mention derived functors. I will give some motivation for such things from algebraic geometry,…
A theorem that is of aid in computing the domain of the adjoint operator is provided. It may serve e.g. as a criterion for selfadjointness of a symmetric operator, for normality of a formally normal operator or for $H$--selfadjointness of…
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external…
Polynomial functors are a categorical generalization of the usual notion of polynomial, which has found many applications in higher categories and type theory: those are generated by polynomials consisting a set of monomials built from sets…
Lenses are a well-established structure for modelling bidirectional transformations, such as the interactions between a database and a view of it. Lenses may be symmetric or asymmetric, and may be composed, forming the morphisms of a…
For a nice-enough category $\mathcal{C}$, we construct both the morphism category ${\rm H}(\mathcal{C})$ of $\mathcal{C}$ and the category ${\rm mod}\mbox{-}\mathcal{C}$ of all finitely presented contravariant additive functors over…
Objects $T$ whose exponential functor $(-)^T$ admits a right adjoint $(-)_T$ are known under different names. The fact that they exist, yet that the only set that satisfies this in the category of sets is the singleton made Lawvere suggest…
We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…
We give a definition of a coherent adjunction in a $4$-category consisting of a finite list of $k$-morphisms for $k\leq 4$, plus equations beetween $4$-morphisms. We prove that the restriction map from the space of coherent adjunctions in a…
Conceiving of premises as collected into sets or multisets, instead of sequences, may lead to triviality for classical and intuitionistic logic in general proof theory, where we investigate identity of deductions. Any two deductions with…
The functor between operadic algebras given by restriction along an operad map generally has a left adjoint. We give a necessary and sufficient condition for the restriction functor to admit a right adjoint. The condition is a factorization…
Functionals are an important research subject in Mathematics and Computer Science as well as a challenge in Information Technologies where the current programming paradigm states that only symbolic computations are possible on higher order…
Let C be a small category and G be a tensor Grothendieck category. We define a notion of atness in the category Fun(C; G) of all covariant functors from C to G and show that the inclusion K(FlatA) ---> K(A) has a right adjoint where K(A) is…