What should a generic object be?
From MaRDI portal
Publication:6174093
DOI10.1017/s0960129523000117arXiv2210.04202OpenAlexW4366990317MaRDI QIDQ6174093
Publication date: 13 July 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2210.04202
polymorphismfibrationscategory theorygeneric objectsuniversescategorical logictripos theoryfibered category theory
Cites Work
- Realizability. An introduction to its categorical side
- A small complete category
- Categorical logic and type theory
- Developing theories of types and computability via realizability
- The simplicial model of univalent foundations (after Voevodsky)
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group)
- Displayed Categories
- First steps in synthetic guarded domain theory: step-indexing in the topos of trees
- The Discrete Objects in the Effective Topos
- Fibered categories and the foundations of naive category theory
- Tripos theory
- Cosmoi of Internal Categories
- A General Framework for Relational Parametricity
- On the unicity of the theory of higher categories
- Universal properties for universal types in bifibrational parametricity
- Homotopy Type Theory: Univalent Foundations of Mathematics
- The univalence axiom for elegant Reedy presheaves
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: What should a generic object be?