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 higher-category-theory
Search options not deleted
user 1306
For questions involving one or more categorical dimensions, or involving homotopy coherent categorical structures.
11
votes
Higher categories in logic
To elaborate on Peter Arndt's answer a bit: indeed, considering terms as 1-cells and rewriting rules as 2-cells, you can indeed obtain a rather productive higher categorical view on various constructi …
- 16.9k
6
votes
Who introduced the notion of 2-categories?
Following the comment of varkor, I re-opened Catégories structurées of Charles Ehresmann (published 1963), and I believe that Section 4 "Catégories doubles" and Section 5 "Catégories $n$-uples" give t …
- 16.9k
2
votes
What is a Homotopy between $L_\infty$-algebra morphisms II
First of all, you might want to look at the MO question How to define the equivalence of Maurer-Cartan elements in an $L_\infty$-algebra?, since of course this is effectively what you need (morphisms …
- 16.9k