FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Cohesive Covering Theory

Author: Felix Wellen

PapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:Cohesive Covering Theory
Authors:Felix Wellen
Proceedings:HoTT/UF Abstracts
Editors: Benedikt Ahrens, Simon Huber and Anders Mörtberg
Keywords:Synthetic Topology, Real Cohesive Homotopy Type Theory, Covering Theory
Abstract:

ABSTRACT.

Pages:3
Talk:Jul 08 12:00 (Session 38H)
Paper: