Search results

Large groups

group-theory

Status: Open.

#1334 In UniMath/agda-unimath;

· lowasser opened on Feb 18, 2025

Quasigroups

group-theory

Status: Draft (not ready).

UniMath/agda-unimathnumber 1330

#1330 In UniMath/agda-unimath;

· djspacewhale opened on Feb 15, 2025

Target: apartness algebras and their antisubalgebras

commutative-algebra

group-theory

ring-theory

Status: Open.

#1239 In UniMath/agda-unimath;

· djspacewhale opened on Jan 21, 2025

Refactor extensionality of <code>Torsor-Abstract-Group</code>

group-theory

Status: Open.

#902 In UniMath/agda-unimath;

· fredrik-bakke opened on Nov 3, 2023

Monomorphisms in the category of groups

group-theory

Status: Open.

#824 In UniMath/agda-unimath;

· EgbertRijke opened on Oct 9, 2023

Equivalent sets have isomorphic symmetric concrete groups

good first issueGood for newcomersGood for newcomers

group-theory

Status: Open.

#737 In UniMath/agda-unimath;

· fredrik-bakke opened on Sep 10, 2023

Equivalences of concrete groups are isomorphisms of concrete groups

good first issueGood for newcomersGood for newcomers

group-theory

Status: Open.

#736 In UniMath/agda-unimath;

· fredrik-bakke opened on Sep 10, 2023

Formalize asserted connections between postulates in design principles

documentationImprovements or additions to documentationImprovements or additions to documentation

formalization-target

foundation

good first issueGood for newcomersGood for newcomers

group-theory

synthetic-homotopy-theory

Status: Open.

#637 In UniMath/agda-unimath;

· fredrik-bakke opened on Jun 4, 2023

Beyond finite sets

category-theory

cleanup

graph-theory

group-theory

refactoring

trees

univalent-combinatorics

Status: Draft (not ready).

UniMath/agda-unimathnumber 623

#623 In UniMath/agda-unimath;

· EgbertRijke opened on May 15, 2023