FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Robust Notions of Contextual Fibrancy

Author: Andreas Nuyts

PapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:Robust Notions of Contextual Fibrancy
Authors:Andreas Nuyts
Proceedings:HoTT/UF Abstracts
Editors: Benedikt Ahrens, Simon Huber and Anders Mörtberg
Keywords:contextual fibrancy, fibrant replacement, fibrancy of the function type, right lifting property
Abstract:

ABSTRACT.

Pages:3
Talk:Jul 08 11:30 (Session 38H)
Paper: