search

Filters

Clear All
Clear
Clear
Clear
Clear
• OA Publications Mandate (1)
The following results are related to Canada. Are you interested to view more results? Visit OpenAIRE - Explore.

Canada UK Research and Innovation UKRI|EPSRC 2021 2022

• Project . 2021 - 2022

Monoidal bicategories, linear logic and operads

Funder: UKRI Project Code: EP/V002325/1
Funder Contribution: 395,816 GBP
Partners: Macquarie University, Massachusetts Institute of Technology, USA, University of Quebec, University of California System, CASE WESTERN RESERVE UNIVERSITY, University of Leeds, Université Paris Diderot

When we begin to study mathematics, we learn that the operation of multiplication on numbers satisfies some basic rules. One of these rules, known as associativity, says that for any three numbers a, b and c, we get the same result if we multiply a and b and then multiply the result by c or if we multiply a by the result of multiplying b and c. This leads to the abstract algebraic notion of a monoid, which is a set (in this case the set of natural numbers) equipped with a binary operation (in this case multiplication) that is associative and has a unit (in this case the number 1). If we continue to study mathematics, we encounter a new kind of multiplication, no longer on numbers but on sets, which is known as Cartesian product. Given two sets A and B, their Cartesian product is the set A x B whose elements are the ordered pairs (a, b), where a is an element of A and b is an element of B. Pictorially, the Cartesian product of two sets is a grid with coordinates given by the elements of the two sets. This operation satisfies some rules, analogous to those for the multiplication of numbers, but a little more subtle. For example, if we are given three sets A, B and C, then the set A x (B x C) is isomorphic (rather than equal) to the set (A x B) x C. Here, being isomorphic means that we they are essentially the same by means of a one-to-one correspondence between the elements A x (B x C) and those of (A x B) x C. This construction leads to the notion of a monoidal category, which amounts to a collection of objects and maps between them (in this case the collection of all sets and functions between them) equipped with a multiplication (in this case the Cartesian product) that is associative and has a unit (in this case the one-element set) up to isomorphism. Monoidal categories, introduced in the '60s, have been extremely important in several areas of mathematics (including logic, algebra, and topology) and theoretical computer science. In logic and theoretical computer science, they connect to linear logic, in which one keeps track of the resources necessary to prove a statement. This project is about the next step in this sequence of abstract notions of multiplication, which is given by the notion of a monoidal bicategory. In a bicategory, we have not only objects and maps but also 2-maps, which can be thought of as "maps between maps" and allow us to capture how different maps relate to each other. In a monoidal bicategory, we have a way of multiplying their objects, maps and 2-maps, subject to complex axioms. Monoidal bicategories, introduced in the '90s, have potential for applications even greater than that of monoidal categories, as they allow us to keep track of even more information. We seek to realise this potential by advancing the theory of monoidal bicategories. We will prove fundamental theorems about them, develop new connections to linear logic and theoretical computer science and investigate examples that are of interest in algebra and topology. Our work connects to algebra via an important research programme known as "categorification", which is concerned with replacing set-based structures (like monoids) with category-based structures (like monoidal categories) in order to obtain more subtle invariants. Our work links to topology via the notion of an operad, which is a flexible tool used to describe algebraic structures in which axioms do not hold as equalities, but rather up to weak forms of isomorphism. Overall, this project will bring the theory of monoidal bicategories to a new level and promote interdisciplinary research within mathematics and with theoretical computer science.

• Project . 2021 - 2022

Zinc Ion Batteries: Structural ENgineering for Severe Environment (SENSE)

Funder: UKRI Project Code: EP/V027433/1
Funder Contribution: 386,153 GBP
Partners: Bramble Energy, University of Lincoln, NPL, University of Toronto, CAS, HKU

Clean energy needs to be stored in an efficient and safe configuration to help improve the environment. Li-ion batteries still dominate the electrochemical energy storage market, however, they have disadvantages of relatively high cost, potential explosion and complicated manufacture. The demands for more sustainable and safer battery technologies are constantly increasing and the utilisation of energy storage devices under severe environments are required to satisfy practical applications. Aqueous battery systems have remarkable potential as next-generation energy storage devices because the cost of raw materials can be reduced, the battery can be fabricated in a more sustainable and facile process and explosive accidents can be avoided. Zn-ion batteries in aqueous/hydrogel electrolyte are favourable candidates due to their relatively low cost and safety advantages. Importantly, Zn-ion batteries can be a ready-to-use technique for all battery companies as they can use the same battery fabrication facilities as Li-ion batteries. However, the specific capacity, energy and power density of current Zn-ion batteries are restricted due to the relatively large hydrated zinc ions and high polarization of bivalent zinc ions. Therefore, the development on the cathodes of Zn-ion batteries have been motivated. Manganese oxide-based materials are favourable due to their suitable structures, abundant and cost-effective properties, environmentally friendly nature and a large working voltage window. But the problems such as limited intercalated channels, poor stability during battery charge/discharge processes, unclarified and complicated mechanism and low electron conductivity of manganese oxide-based cathodes need to be solved, thus the innovation of structures for manganese oxide-based cathodes calls for further exploration. In the SENSE project, manganese-based cathode materials coupled with suitable hydrogel electrolytes for Zn-ion batteries will be designed via multi-level structural engineering to utilise them under harsh conditions, for the purpose of innovating inexpensive and high-performance devices. Through collaborations with both academic and industrial partners, state-of-the-art materials and device characterisation techniques will be used to understand the underlying mechanisms for battery behaviours. After successfully fulfilling SENSE, Zn-ion batteries can exhibit a volumetric energy density of > 650 Wh L-1 and a power density of > 220 W L-1. The energy price of which can be estimated as £50/kWh, lower than that of Li-ion batteries (£126/kWh), and Ni-Fe batteries (£58/kWh). Therefore, SENSE will not only help advance the quality of battery research and innovative efforts in the UK, but also strengthen and stimulate the development of new technologies in the UK battery industry.

search
The following results are related to Canada. Are you interested to view more results? Visit OpenAIRE - Explore.
2 Projects, page 1 of 1
• Project . 2021 - 2022

Monoidal bicategories, linear logic and operads

Funder: UKRI Project Code: EP/V002325/1
Funder Contribution: 395,816 GBP
Partners: Macquarie University, Massachusetts Institute of Technology, USA, University of Quebec, University of California System, CASE WESTERN RESERVE UNIVERSITY, University of Leeds, Université Paris Diderot

When we begin to study mathematics, we learn that the operation of multiplication on numbers satisfies some basic rules. One of these rules, known as associativity, says that for any three numbers a, b and c, we get the same result if we multiply a and b and then multiply the result by c or if we multiply a by the result of multiplying b and c. This leads to the abstract algebraic notion of a monoid, which is a set (in this case the set of natural numbers) equipped with a binary operation (in this case multiplication) that is associative and has a unit (in this case the number 1). If we continue to study mathematics, we encounter a new kind of multiplication, no longer on numbers but on sets, which is known as Cartesian product. Given two sets A and B, their Cartesian product is the set A x B whose elements are the ordered pairs (a, b), where a is an element of A and b is an element of B. Pictorially, the Cartesian product of two sets is a grid with coordinates given by the elements of the two sets. This operation satisfies some rules, analogous to those for the multiplication of numbers, but a little more subtle. For example, if we are given three sets A, B and C, then the set A x (B x C) is isomorphic (rather than equal) to the set (A x B) x C. Here, being isomorphic means that we they are essentially the same by means of a one-to-one correspondence between the elements A x (B x C) and those of (A x B) x C. This construction leads to the notion of a monoidal category, which amounts to a collection of objects and maps between them (in this case the collection of all sets and functions between them) equipped with a multiplication (in this case the Cartesian product) that is associative and has a unit (in this case the one-element set) up to isomorphism. Monoidal categories, introduced in the '60s, have been extremely important in several areas of mathematics (including logic, algebra, and topology) and theoretical computer science. In logic and theoretical computer science, they connect to linear logic, in which one keeps track of the resources necessary to prove a statement. This project is about the next step in this sequence of abstract notions of multiplication, which is given by the notion of a monoidal bicategory. In a bicategory, we have not only objects and maps but also 2-maps, which can be thought of as "maps between maps" and allow us to capture how different maps relate to each other. In a monoidal bicategory, we have a way of multiplying their objects, maps and 2-maps, subject to complex axioms. Monoidal bicategories, introduced in the '90s, have potential for applications even greater than that of monoidal categories, as they allow us to keep track of even more information. We seek to realise this potential by advancing the theory of monoidal bicategories. We will prove fundamental theorems about them, develop new connections to linear logic and theoretical computer science and investigate examples that are of interest in algebra and topology. Our work connects to algebra via an important research programme known as "categorification", which is concerned with replacing set-based structures (like monoids) with category-based structures (like monoidal categories) in order to obtain more subtle invariants. Our work links to topology via the notion of an operad, which is a flexible tool used to describe algebraic structures in which axioms do not hold as equalities, but rather up to weak forms of isomorphism. Overall, this project will bring the theory of monoidal bicategories to a new level and promote interdisciplinary research within mathematics and with theoretical computer science.

• Project . 2021 - 2022

Zinc Ion Batteries: Structural ENgineering for Severe Environment (SENSE)

Funder: UKRI Project Code: EP/V027433/1
Funder Contribution: 386,153 GBP
Partners: Bramble Energy, University of Lincoln, NPL, University of Toronto, CAS, HKU

Clean energy needs to be stored in an efficient and safe configuration to help improve the environment. Li-ion batteries still dominate the electrochemical energy storage market, however, they have disadvantages of relatively high cost, potential explosion and complicated manufacture. The demands for more sustainable and safer battery technologies are constantly increasing and the utilisation of energy storage devices under severe environments are required to satisfy practical applications. Aqueous battery systems have remarkable potential as next-generation energy storage devices because the cost of raw materials can be reduced, the battery can be fabricated in a more sustainable and facile process and explosive accidents can be avoided. Zn-ion batteries in aqueous/hydrogel electrolyte are favourable candidates due to their relatively low cost and safety advantages. Importantly, Zn-ion batteries can be a ready-to-use technique for all battery companies as they can use the same battery fabrication facilities as Li-ion batteries. However, the specific capacity, energy and power density of current Zn-ion batteries are restricted due to the relatively large hydrated zinc ions and high polarization of bivalent zinc ions. Therefore, the development on the cathodes of Zn-ion batteries have been motivated. Manganese oxide-based materials are favourable due to their suitable structures, abundant and cost-effective properties, environmentally friendly nature and a large working voltage window. But the problems such as limited intercalated channels, poor stability during battery charge/discharge processes, unclarified and complicated mechanism and low electron conductivity of manganese oxide-based cathodes need to be solved, thus the innovation of structures for manganese oxide-based cathodes calls for further exploration. In the SENSE project, manganese-based cathode materials coupled with suitable hydrogel electrolytes for Zn-ion batteries will be designed via multi-level structural engineering to utilise them under harsh conditions, for the purpose of innovating inexpensive and high-performance devices. Through collaborations with both academic and industrial partners, state-of-the-art materials and device characterisation techniques will be used to understand the underlying mechanisms for battery behaviours. After successfully fulfilling SENSE, Zn-ion batteries can exhibit a volumetric energy density of > 650 Wh L-1 and a power density of > 220 W L-1. The energy price of which can be estimated as £50/kWh, lower than that of Li-ion batteries (£126/kWh), and Ni-Fe batteries (£58/kWh). Therefore, SENSE will not only help advance the quality of battery research and innovative efforts in the UK, but also strengthen and stimulate the development of new technologies in the UK battery industry.