Cover Image

From Copying to Corelations via Ancestry Partitions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Santacana, Andreu Ballus
Format:	Preprint
Published:	2025
Subjects:	Category Theory Logic in Computer Science 18M05, 18M35, 18M85, 18N60, 18F10, 03G30 F.4.1; F.3.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On a fibrational construction for optics, lenses, and Dialectica categories
by: Capucci, Matteo, et al.
Published: (2024)

Layered Monoidal Theories II: Fibrational Semantics
by: Lobski, Leo, et al.
Published: (2026)

Monoidal bicategories, differential linear logic, and analytic functors
by: Fiore, M., et al.
Published: (2024)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

Gödel coding on fibrations and geminal categories
by: Ikeda, Yuto
Published: (2026)

From Torsors to Topoi: An Introduction with a View Toward $Σ$-Protocols in Cryptography
by: Inoué, Takao
Published: (2026)

Integration of a categorical operad
by: Trnka, Dominik
Published: (2025)

A semisimple subcategory of Khovanov's Heisenberg category
by: Miller, Sam K.
Published: (2025)

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Cells, convexity and contractibility in general categories
by: Das, Suddhasattwa
Published: (2026)

Multicategorical Semantics for Untyped Effects
by: Grunfeld, Ariel, et al.
Published: (2026)

Unbiased multicategory theory
by: Pisani, Claudio
Published: (2024)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Poset-enriched pretoposes and compact ordered spaces
by: Marquès, Jérémie, et al.
Published: (2025)

Categorical traces and a relative Lefschetz-Verdier formula
by: Lu, Qing, et al.
Published: (2020)

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

6-Functor Formalisms and Smooth Representations
by: Heyer, Claudius, et al.
Published: (2024)

CaTT contexts are finite computads
by: Benjamin, Thibaut, et al.
Published: (2024)

The free bifibration on a functor
by: Clarke, Bryce, et al.
Published: (2025)

Logic and Concepts in the 2-category of Topoi
by: Di Liberti, Ivan, et al.
Published: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
by: Awodey, S., et al.
Published: (2021)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Generalised ultracategories and conceptual completeness of geometric logic
by: Hamad, Ali
Published: (2025)

Topoi with enough points
by: Di Liberti, Ivan, et al.
Published: (2024)

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
by: Lobski, Leo, et al.
Published: (2026)

2-classifiers via dense generators and Hofmann-Streicher universe in stacks
by: Mesiti, Luca
Published: (2024)

Dynamical systems as enriched functors
by: Das, Suddhasattwa, et al.
Published: (2025)

From categorized neural architectures to subexponential proof theory
by: Ovalle, Carlos Ramírez
Published: (2026)

Lectures on Condensed Mathematics
by: Scholze, Peter
Published: (2026)

Segal conditions for generalized operads
by: Hackney, Philip
Published: (2022)

Categories of graphs for operadic structures
by: Hackney, Philip
Published: (2021)

Free Doubly-Infinitary Distributive Categories are Cartesian Closed
by: Nunes, Fernando Lucatelli, et al.
Published: (2024)

Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers
by: Langlois-Rémillard, Alexis, et al.
Published: (2026)

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

Layered Monoidal Theories
by: Lobski, Leo
Published: (2025)

Symmetry shifting for monoidal bicategories
by: Stenzel, Raffael
Published: (2026)