Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with reference-request
Search options not deleted
user 115253
This tag is used if a reference is needed in a paper or textbook on a specific result.
5
votes
1
answer
183
views
Models for Higher Inductive Types in Homotopy Type Theory
Ordinary inductive types is initial algebras for free monads. However, HITs are not initial algebras for endofunctors but presented monads.
From nLab, initial algebra of a presentable (infinity,1)-m …
- 97