Matches in SemOpenAlex for { <https://semopenalex.org/work/W3149471344> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3149471344 abstract "We generalize the correspondence between theories and monads with arities of arXiv:1101.3064 to $infty$-categories. Additionally, we introduce the notion of complete theories that is unique to the $infty$-categorical case and provide a completion construction for a certain class of theories. Along the way we also develop the necessary technical material related to the flagged bicategory of correspondences and lax functor in the $infty$-categorical context." @default.
- W3149471344 created "2021-04-13" @default.
- W3149471344 creator A5059189520 @default.
- W3149471344 date "2021-04-01" @default.
- W3149471344 modified "2023-09-27" @default.
- W3149471344 title "Completeness for monads and theories." @default.
- W3149471344 cites W109519284 @default.
- W3149471344 cites W1498879885 @default.
- W3149471344 cites W1680171265 @default.
- W3149471344 cites W1781196722 @default.
- W3149471344 cites W1784600267 @default.
- W3149471344 cites W1981049756 @default.
- W3149471344 cites W2056223372 @default.
- W3149471344 cites W2107674601 @default.
- W3149471344 cites W2107762852 @default.
- W3149471344 cites W2149565588 @default.
- W3149471344 cites W275721105 @default.
- W3149471344 cites W2781049966 @default.
- W3149471344 cites W3033257126 @default.
- W3149471344 cites W3037719417 @default.
- W3149471344 cites W3106228943 @default.
- W3149471344 cites W3112613286 @default.
- W3149471344 cites W3123945518 @default.
- W3149471344 cites W3163908121 @default.
- W3149471344 hasPublicationYear "2021" @default.
- W3149471344 type Work @default.
- W3149471344 sameAs 3149471344 @default.
- W3149471344 citedByCount "2" @default.
- W3149471344 countsByYear W31494713442021 @default.
- W3149471344 crossrefType "posted-content" @default.
- W3149471344 hasAuthorship W3149471344A5059189520 @default.
- W3149471344 hasConcept C105795698 @default.
- W3149471344 hasConcept C134306372 @default.
- W3149471344 hasConcept C136119220 @default.
- W3149471344 hasConcept C154945302 @default.
- W3149471344 hasConcept C156772000 @default.
- W3149471344 hasConcept C166957645 @default.
- W3149471344 hasConcept C17231256 @default.
- W3149471344 hasConcept C199343813 @default.
- W3149471344 hasConcept C202444582 @default.
- W3149471344 hasConcept C2777212361 @default.
- W3149471344 hasConcept C2777686260 @default.
- W3149471344 hasConcept C2779343474 @default.
- W3149471344 hasConcept C33923547 @default.
- W3149471344 hasConcept C41008148 @default.
- W3149471344 hasConcept C5274069 @default.
- W3149471344 hasConcept C71924100 @default.
- W3149471344 hasConcept C95457728 @default.
- W3149471344 hasConceptScore W3149471344C105795698 @default.
- W3149471344 hasConceptScore W3149471344C134306372 @default.
- W3149471344 hasConceptScore W3149471344C136119220 @default.
- W3149471344 hasConceptScore W3149471344C154945302 @default.
- W3149471344 hasConceptScore W3149471344C156772000 @default.
- W3149471344 hasConceptScore W3149471344C166957645 @default.
- W3149471344 hasConceptScore W3149471344C17231256 @default.
- W3149471344 hasConceptScore W3149471344C199343813 @default.
- W3149471344 hasConceptScore W3149471344C202444582 @default.
- W3149471344 hasConceptScore W3149471344C2777212361 @default.
- W3149471344 hasConceptScore W3149471344C2777686260 @default.
- W3149471344 hasConceptScore W3149471344C2779343474 @default.
- W3149471344 hasConceptScore W3149471344C33923547 @default.
- W3149471344 hasConceptScore W3149471344C41008148 @default.
- W3149471344 hasConceptScore W3149471344C5274069 @default.
- W3149471344 hasConceptScore W3149471344C71924100 @default.
- W3149471344 hasConceptScore W3149471344C95457728 @default.
- W3149471344 hasLocation W31494713441 @default.
- W3149471344 hasOpenAccess W3149471344 @default.
- W3149471344 hasPrimaryLocation W31494713441 @default.
- W3149471344 hasRelatedWork W1522025572 @default.
- W3149471344 hasRelatedWork W1633323365 @default.
- W3149471344 hasRelatedWork W1681490497 @default.
- W3149471344 hasRelatedWork W2149565588 @default.
- W3149471344 hasRelatedWork W2169251399 @default.
- W3149471344 hasRelatedWork W2462303056 @default.
- W3149471344 hasRelatedWork W2485037488 @default.
- W3149471344 hasRelatedWork W2742869180 @default.
- W3149471344 hasRelatedWork W2769537581 @default.
- W3149471344 hasRelatedWork W2787278275 @default.
- W3149471344 hasRelatedWork W2801660850 @default.
- W3149471344 hasRelatedWork W2921241419 @default.
- W3149471344 hasRelatedWork W2936310910 @default.
- W3149471344 hasRelatedWork W2951097142 @default.
- W3149471344 hasRelatedWork W2963208182 @default.
- W3149471344 hasRelatedWork W3090620039 @default.
- W3149471344 hasRelatedWork W3094836992 @default.
- W3149471344 hasRelatedWork W3109282652 @default.
- W3149471344 hasRelatedWork W3116189532 @default.
- W3149471344 hasRelatedWork W3211550090 @default.
- W3149471344 isParatext "false" @default.
- W3149471344 isRetracted "false" @default.
- W3149471344 magId "3149471344" @default.
- W3149471344 workType "article" @default.