Cover Image

Explicit Morphisms in the Galois-Tukey Category

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Philips, David
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Tukey types of Fubini products
by: Benhamou, Tom, et al.
Published: (2023)

Q-points in the Tukey order
by: Raghavan, Dilip
Published: (2024)

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets
by: Ellerman, David
Published: (2020)

Ultrafilters over Successor Cardinals and the Tukey Order
by: Benhamou, Tom, et al.
Published: (2025)

Generalized Tukey reducibility between $σ$-directed sets
by: Sakai, Hiroshi, et al.
Published: (2025)

Diamond principles and Tukey-top ultrafilters on a countable set
by: Benhamou, Tom, et al.
Published: (2024)

The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)

Parameterized D-torsors in differential Galois theory
by: Sánchez, Omar León, et al.
Published: (2026)

Galois theory, automorphism groups of prime models, and the Picard-Vessiot closure
by: Meretzky, David, et al.
Published: (2026)

Tukey morphisms between finite relations
by: Barton, Rhett, et al.
Published: (2023)

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)

Linear Arboreal Categories
by: Abramsky, Samson, et al.
Published: (2023)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
by: Gratzer, Daniel, et al.
Published: (2024)

Taylor Morphisms
by: Ng, Gabriel
Published: (2023)

Arboreal Categories: An Axiomatic Theory of Resources
by: Abramsky, Samson, et al.
Published: (2021)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
by: Lyon, Tim S.
Published: (2024)

Categorial grammars with unique category assignment
by: Vishnikin, Maxim, et al.
Published: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
by: Koul, Prajval, et al.
Published: (2025)

Left-Linear Rewriting in Adhesive Categories
by: Baldan, Paolo, et al.
Published: (2024)

Proceedings Seventh International Conference on Applied Category Theory 2024
by: Johnson, Michael, et al.
Published: (2025)

On Categories of Nested Conditions
by: Rensink, Arend, et al.
Published: (2024)

$κ$-barely independent families and Tukey types of ultrafilters
by: Chapital, Jorge Antonio Cruz
Published: (2025)

String Diagrams for Monoidal Categories, in Rocq
by: Pous, Damien
Published: (2026)

Canonical Extensions of Quantale-Enriched Categories
by: Kurz, Alexander, et al.
Published: (2026)

Tukey-idempotency and strong p-points
by: Benhamou, Tom, et al.
Published: (2025)

Aczel-Mendler Bisimulations in a Regular Category
by: Dubut, Jeremy
Published: (2023)

Basic Category Theory
by: Leinster, Tom
Published: (2016)

Univalent Double Categories
by: van der Weide, Niels, et al.
Published: (2023)

A Category-Theoretic Perspective on Approximation Fixpoint Theory
by: Pollaci, Samuele
Published: (2025)

Arboreal Categories and Equi-resource Homomorphism Preservation Theorems
by: Abramsky, Samson, et al.
Published: (2022)

A Category-Theoretic Framework for Dependent Effect Systems
by: Kura, Satoshi, et al.
Published: (2026)

Elgot Categories and Abacus Programs
by: Nester, Chad
Published: (2025)

Classical Distributive Restriction Categories
by: Cockett, Robin, et al.
Published: (2023)

Coinductive Streams in Monoidal Categories
by: Di Lavore, Elena, et al.
Published: (2022)

Case Study: Saturations as Explicit Models in Equational Theories
by: Janota, Mikoláš, et al.
Published: (2026)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
by: Pollaci, Samuele, et al.
Published: (2024)

First-Order Modal Logic via Logical Categories
by: Ghilardi, Silvio, et al.
Published: (2025)

Domains, Information Frames, Rough Sets: An Equivalence of Categories
by: Spreen, Dieter
Published: (2025)

Logical Structure on Inverse Functor Categories
by: Fiore, Marcelo, et al.
Published: (2024)