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 ct.category-theory
Search options not deleted
user 134241
Enriched categories, topoi, abelian categories, monoidal categories, homological algebra.
4
votes
Accepted
Is there any work related to Hypertype Theory?
1. Where can we find prior work on the subject?
The model of exponential fields seems to be related, but these are defined with an exponential function instead of a commutative operator, and no inver …
- 193
1
vote
1
answer
829
views
Is there any work related to Hypertype Theory? [closed]
Update: Since the question was put on hold, work on this will continue on this notebook.
So long, and thanks for all the fish!
First, let me state that I am not a formally-trained mathematician, …
- 193