Gödel coding on fibrations and geminal categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ikeda, Yuto
Format:	Preprint
Published:	2026
Subjects:	Logic Logic in Computer Science Category Theory 03G30 (Primary) 03F40, 03F45, 18D30, 18D40, 18C10 (Secondary) F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2606.01165