Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Spencer Breiner (Fed)


Category Theory

Spencer Breiner, Eswaran Subrahmanian, Ram Sriram
Category theory (CT) is a branch of mathematics concerned with the representation and composition of structured relationships. Recent interest in systems

Deconstructing UML, Part 1: Modeling Classes with Categories

Sarala Padi, Spencer J. Breiner, Eswaran Subrahmanian, Ram D. Sriram
In this paper we analyze elements of the Unified Modeling Language (UML), specifically the class diagram, and propose an simplified alternative language based

Symmetric Monoidal Categories with Attributes

Spencer Breiner, John S. Nolan
When designing plans in engineering, it is often necessary to consider attributes associated to objects, e.g. the location of a robot. Our aim in this paper is
Created May 31, 2018, Updated December 8, 2022