Topological Types of Algebraic Stacks

Autor: Chang-Yeon Cho

Publikováno v: International Mathematics Research Notices. 2021:7799-7849

The main goal of this paper is to set a foundation for homotopy theory of algebraic stacks under model category theory and to show how it can be applied in various contexts. It not only generalizes the étale homotopy theory to algebraic stacks but a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a9b45b0aabe6de68b7c59aaa29339a18
https://doi.org/10.1093/imrn/rnz065

Equivariant algebraic K-theory of G-rings

Autor: Mona Merling

Publikováno v: Mathematische Zeitschrift. 285:1205-1248

A group action on the input ring or category induces an action on the algebraic $K$-theory spectrum. However, a shortcoming of this naive approach to equivariant algebraic $K$-theory is, for example, that the map of spectra with $G$-action induced by

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eff1c39616a7d766854921cd3e4f02b5
https://doi.org/10.1007/s00209-016-1745-3

Basic Algebraic Structures

Autor: Bernd Steinbach, Christian Posthoff

Publikováno v: Logic Functions and Equations ISBN: 9783030024192
Logic Functions and Equations ISBN: 9781441952615
Logic Functions and Equations ISBN: 9783030889449

In this section we start our considerations with the basic concepts of binary algebraic structures. We introduce the necessary mathematical concepts which will be used in the following chapters.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07ae9bcf8c19df9e7ac56e6f58185206
https://doi.org/10.1007/978-3-030-02420-8_1

Homotopy type theory

Autor: Steve Awodey, Robert Harper

Publikováno v: ACM SIGLOG News. 2:37-44

Homotopy type theory is a recently-developed unification of previously disparate frameworks, which can serve to advance the project of formalizing and mechanizing mathematics. One framework is based on a computational conception of the type of a cons

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::829402252b78b5417101bf60c8d98cb7
https://doi.org/10.1145/2728816.2728825

Boolean Universal Algebras

Autor: Alden F. Pixley

Publikováno v: Logic and algebra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::094f5d0925daeb09470ba31944e5c01f
https://doi.org/10.1201/9780203748671-11