AI Chat AI Image Generator AI Video Text to Speech

Duality for Clans: a Refinement of Gabriel-Ulmer Duality

08/23/2023

∙

by Jonas Frey, et al.

∙

∙

Clans are representations of generalized algebraic theories that contain more information than the finite-limit categories associated to the l.f.p. categories of models via Gabriel-Ulmer duality. Refining Gabriel-Ulmer duality to account for this additional information, this article presents a duality theory between clans and l.f.p. categories equipped with a weak factorization system subject to axioms.

page 1

page 2

page 3

page 4

research

∙ 12/11/2019

Bitopological Duality for Algebras of Fittings logic and Natural Duality extension

In this paper, we investigate a bitopological duality for algebras of Fi...

0 Litan Kumar Das, et al. ∙

research

∙ 12/18/2019

Stone Duality for Relations

We show how Stone duality can be extended from maps to relations. This i...

0 Alexander Kurz, et al. ∙

research

∙ 12/30/2020

Commutative Information Algebras: Representation and Duality Theory

Information algebras arise from the idea that information comes in piece...

0 Juerg Kohlas, et al. ∙

research

∙ 02/01/2014

Dual-to-kernel learning with ideals

In this paper, we propose a theory which unifies kernel learning and sym...

0 Franz J Király, et al. ∙

research

∙ 10/07/2019

Revisiting the duality of computation: an algebraic analysis of classical realizability models

In an impressive series of papers, Krivine showed at the edge of the las...

0 Étienne Miquey, et al. ∙

research

∙ 09/18/2023

Harmony and Duality: An introduction to Music Theory

We develop aspects of music theory related to harmony, such as scales, c...

0 Maksim Lipyanskiy, et al. ∙

research

∙ 05/22/2019

Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

In flowchart languages, predicates play an interesting double role. In t...

0 Robin Kaarsgaard, et al. ∙