A 2-Categorical Analysis of the Tripos-to-Topos Construction

59 pages

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00698461
Author Frey, Jonas
Maintainer CCSD
Last Updated May 18, 2026, 11:47 (UTC)
Created May 18, 2026, 11:47 (UTC)
Identifier hal-00698461
Language en
contributor Preuves, Programmes et Systèmes (PPS) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)
creator Frey, Jonas
date 2011-04-14T00:00:00
harvest_object_id 1f21a36b-f7a1-4eb5-bdd5-db9493bf57f8
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2024-04-16T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1104.2776
set_spec type:UNDEFINED