Matches in SemOpenAlex for { <https://semopenalex.org/work/W3011595846> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W3011595846 abstract "Tricategories, as the construction for the most general sort of weak 3-category being given by explicit coherence axioms, are a particularly important structure in the study of low-dimensional higher category theory. As such the correct notion of a morphism between tricategories, the Trifunctor, is also an important object of interest. Just as many constructions in mathematics can be realised by using functors between appropriate categories, these constructions can be generalised to the 3-dimensional level by using trifunctors between the appropriate tricategories. Of particular interest are trifunctors into the tricategory of bicategories. Given a mathematical structure laid on top of a base object, it can be useful to transport that structure from the original object to a new object across a suitable sort of equivalence. The collection of trifunctors between two tricategories forms a tricategory of its own. So does the collection of functions from the objects of the source tricategory to the objects of the target tricategory, which form the object level of any trifunctor. Therefore in this case the appropriate notion of equivalence is that of biequivalence, and we would hope to be able to transport the structure of a trifunctor across a collection of biequivalences at the object level. While the transport of structure at lower dimensions is achieved using monadic methods, at the general 3-dimensional level these haven't been developed. This thesis aims to provide a method for transporting the structure of a trifunctor into the tricategory of bicategories across object-indexed biequivalences. We do this by working directly from the definition of trifunctor: by constructing the data needed for the new trifunctor from the data of the original trifunctor and the biequivalences, and then proving that the axioms hold using diagram manipulation techniques." @default.
- W3011595846 created "2020-03-23" @default.
- W3011595846 creator A5027141376 @default.
- W3011595846 date "2020-02-04" @default.
- W3011595846 modified "2023-09-23" @default.
- W3011595846 title "The transportation of trifunctors in the tricategory of bicategories" @default.
- W3011595846 cites W158035142 @default.
- W3011595846 cites W2022585163 @default.
- W3011595846 cites W2151404275 @default.
- W3011595846 doi "https://doi.org/10.25392/leicester.data.11800248.v1" @default.
- W3011595846 hasPublicationYear "2020" @default.
- W3011595846 type Work @default.
- W3011595846 sameAs 3011595846 @default.
- W3011595846 citedByCount "0" @default.
- W3011595846 crossrefType "dissertation" @default.
- W3011595846 hasAuthorship W3011595846A5027141376 @default.
- W3011595846 hasConcept C137212723 @default.
- W3011595846 hasConcept C154945302 @default.
- W3011595846 hasConcept C156772000 @default.
- W3011595846 hasConcept C167729594 @default.
- W3011595846 hasConcept C202444582 @default.
- W3011595846 hasConcept C2524010 @default.
- W3011595846 hasConcept C2780069185 @default.
- W3011595846 hasConcept C2781238097 @default.
- W3011595846 hasConcept C33923547 @default.
- W3011595846 hasConcept C41008148 @default.
- W3011595846 hasConcept C88548561 @default.
- W3011595846 hasConcept C94375191 @default.
- W3011595846 hasConceptScore W3011595846C137212723 @default.
- W3011595846 hasConceptScore W3011595846C154945302 @default.
- W3011595846 hasConceptScore W3011595846C156772000 @default.
- W3011595846 hasConceptScore W3011595846C167729594 @default.
- W3011595846 hasConceptScore W3011595846C202444582 @default.
- W3011595846 hasConceptScore W3011595846C2524010 @default.
- W3011595846 hasConceptScore W3011595846C2780069185 @default.
- W3011595846 hasConceptScore W3011595846C2781238097 @default.
- W3011595846 hasConceptScore W3011595846C33923547 @default.
- W3011595846 hasConceptScore W3011595846C41008148 @default.
- W3011595846 hasConceptScore W3011595846C88548561 @default.
- W3011595846 hasConceptScore W3011595846C94375191 @default.
- W3011595846 hasLocation W30115958461 @default.
- W3011595846 hasOpenAccess W3011595846 @default.
- W3011595846 hasPrimaryLocation W30115958461 @default.
- W3011595846 hasRelatedWork W1488428340 @default.
- W3011595846 hasRelatedWork W1511760902 @default.
- W3011595846 hasRelatedWork W1754209139 @default.
- W3011595846 hasRelatedWork W1823271149 @default.
- W3011595846 hasRelatedWork W184605745 @default.
- W3011595846 hasRelatedWork W2171063527 @default.
- W3011595846 hasRelatedWork W2292818403 @default.
- W3011595846 hasRelatedWork W2501968317 @default.
- W3011595846 hasRelatedWork W2603449541 @default.
- W3011595846 hasRelatedWork W2626163547 @default.
- W3011595846 hasRelatedWork W2909231544 @default.
- W3011595846 hasRelatedWork W2949250036 @default.
- W3011595846 hasRelatedWork W2950786669 @default.
- W3011595846 hasRelatedWork W2950968269 @default.
- W3011595846 hasRelatedWork W2963395258 @default.
- W3011595846 hasRelatedWork W3043764767 @default.
- W3011595846 hasRelatedWork W3094836992 @default.
- W3011595846 hasRelatedWork W3547365 @default.
- W3011595846 hasRelatedWork W94242635 @default.
- W3011595846 hasRelatedWork W125964128 @default.
- W3011595846 isParatext "false" @default.
- W3011595846 isRetracted "false" @default.
- W3011595846 magId "3011595846" @default.
- W3011595846 workType "dissertation" @default.