We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Category Theory

Title: The nucleus: Mining concepts from adjunctions

Abstract: Categories are many things to many people. We like to think of category theory as the study of certain types of grammar: those that generate the languages of mathematical constructions. This view seems to explain why categories persist in many parts of mathematics despite the ongoing objections that they do not help solve hard problems. Grammars do not help us tell better stories, but they help us tell stories better, and understand them better. Moreover, a language has grammar whether the speakers are aware of it or not.
A grammatical schema that generates many mathematical constructions is that of an adjunction. Lawvere noticed that all standard logical operations, quantifiers, and even the set-theoretic comprehension, can be viewed as adjunctions. Lambek observed that natural language grammars also decompose into certain adjunctions, spawning an entire branch of linguistics. Adjunctions are everywhere; all of category theory can be reconstructed in terms of adjunctions. If category theory is a grammar of mathematical constructions, then adjunctions are the one rule to rule them all. [snip]
Any adjunction induces a monad and a comonad, which respectively display its algebraic and coalgebraic (analytic, state-dependent) aspects. The nucleus construction induces a monad over adjunctions themselves (or equivalently over the induced monads, or comonads), which distills both aspects. It is tight because it is idempotent. The two sides of a nuclear adjunction completely determine one another, as algebras and coalgebras, yet they remain distinct, like brackets.
Comments: 80 pages, 27 figures
Subjects: Category Theory (math.CT); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)
MSC classes: 18A40, 18C15, 18C20, 18A32, 18B35, 18G55, 06A15, 06A75
Cite as: arXiv:2004.07353 [math.CT]
  (or arXiv:2004.07353v1 [math.CT] for this version)

Submission history

From: Dusko Pavlovic [view email]
[v1] Wed, 15 Apr 2020 21:26:53 GMT (1158kb)
[v2] Tue, 27 Oct 2020 08:56:39 GMT (1440kb)
[v3] Wed, 24 Nov 2021 16:26:16 GMT (1447kb)

Link back to: arXiv, form interface, contact.