Function spaces and classifying spaces of algebras over a prop
Yalin · math.AT · 2016-03-08 · 原文
The goal of this paper is to prove that the classifying spaces of categories of algebras governed by a prop can be determined by using function spaces on the category of props. We first consider a function space of props to define the moduli space of algebra structures over this prop on an object of the base category. Then we mainly prove that this moduli space is the homotopy fiber of a forgetful map of classifying spaces, generalizing to the prop setting a theorem of Rezk. The crux of our proof lies in the construction of certain universal diagrams in categories of algebras over a prop. We introduce a general method to carry out such constructions in a functorial way.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
The goal of this paper is to prove that the classifying spaces of categories of algebras governed by a prop can be determined by using function spaces on the category of props.
We first consider a function space of props to define the moduli space of algebra structures over this prop on an object of the base category.
2. 领域脉络
本文类目：math.AT，属于其所在研究脉络的最新进展。
3. 机制拆解
Then we mainly prove that this moduli space is the homotopy fiber of a forgetful map of classifying spaces, generalizing to the prop setting a theorem of Rezk.
The crux of our proof lies in the construction of certain universal diagrams in categories of algebras over a prop.
We introduce a general method to carry out such constructions in a functorial way.
4. 证据与数字
摘要未给出量化结果——留意原文的实验与数据。
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。